---
title: "A Computational Model of Tractable Reasoning - Taking Inspiration from Cognition"
authors:
  - "Lokendra Shastri"
doi: ""
url: "https://ijcai.org/proceedings/1993/29"
pdf: "https://ijcai.org/proceedings/1993/0029.pdf"
venue: "Proceedings of the Thirteenth International Joint Conference on Artificial Intelligence"
year: 1993
pages: "202-206"
track: "Cognitive Modeling"
keywords:
---

# A Computational Model of Tractable Reasoning - Taking Inspiration from Cognition

Lokendra Shastri

*Proceedings of the Thirteenth International Joint Conference on Artificial Intelligence*, pages 202-206.

## Abstract

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.