Proceedings:
Book One
Volume
Issue:
Proceedings of the AAAI Conference on Artificial Intelligence, 12
Track:
Student Abstracts
Downloads:
Abstract:
Contexts were first suggested in McCarthy’s Turing Award Paper, (McCarthy 1987), as a possible solution to the problem of generality in AI. McCarthy’s concern with the existing AI systems has been that they can reason only about some particular, predetermined task. When faced with slightly different circumstances they need to be completely rewritten. In other words, AI systems lack generality. Cyc (Guha and Lenat 1990), a large common-sense knowledge-base currently being developed at MCC, is one example of where contexts have already been put to use in attempt to solve the problem of generality. Because of the complexity of the problem of generality, it has been speculated that any reasoning system which would be able to solve this problem would itself be computationally unacceptable. The purpose of this paper is to show that propositional contextual reasoning is decidable.
AAAI
Proceedings of the AAAI Conference on Artificial Intelligence, 12