A Computational Model of Tractable Reasoning - Taking Inspiration from Cognition

Polynomial time complexity is the usual ‘threshold’ for distinguishing the tractable from the intractable and it may seem reasonable to adopt this notion of tractability in the context of knowledge representation and reasoning. It is argued that doing so may be inappropriate in the context of common sense reasoning underlying language understanding. A more stringent criteria of tractability is proposed. A result about reasoning that is tractable in this stronger sense is outlined. Some unusual properties of tractable reasoning emerge when the formal specification is grounded in a neurally plausible architecture.

• Type: Conference
• Year: 1993
• Where: IJCAI
• Authors: Lokendra Shastri
• Keywords: Common Sense Reasoning, IJCAI 1993, IJCAI 2007, Polynomial Time Complexity, Reasoning