Sciweavers

IJCAI
1993

A Computational Model of Tractable Reasoning - Taking Inspiration from Cognition

13 years 5 months ago
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.
Lokendra Shastri
Added 02 Nov 2010
Updated 02 Nov 2010
Type Conference
Year 1993
Where IJCAI
Authors Lokendra Shastri
Comments (0)