Default geasoning, Nonmonotonic Logics, and the Frame Problem

Proceedings of the National Conference on Artificial Intelligence

Volumn 1, Issue , 1986, Pages 328-333

  Hanks, Steve ^a   McDermott, Drew ^a  

^a YALE UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER CIRCUITS;

DEDUCTIVE REASONING; DEFAULT REASONING; FIRST ORDER LOGIC; FORMAL SYSTEMS; FRAME PROBLEMS; INFERENCE MECHANISM; NONMONOTONIC; NONMONOTONIC LOGIC; PRACTICAL PROBLEMS; TECHNICAL PROPERTIES;

FORMAL LOGIC;

EID: 85043071779     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (15)

1. Charniak, Eugene "Motivation Analysis, Abductive Unification, and Non-Monotonic Equality", Cognitive Science, to appear.
2. Davis, Martin, "The Mathematics of Non-Monotonic Reasoning", Artificial Intelligence, vol. 13 (1980), pp. 73-80.
3. Etherington, David W., "Formalizing Non-Monotonic Reasoning Systems", Computer Science Technical Report No. 83-1, University of British Columbia.
4. Etherington, David W. and Raymond Reiter, "On Inheritance Hierarchies with Exceptions", Proceedings AAAI-83, pp. 104-108.
5. Hanks, Steven and Drew McDermott, "Temporal Reasoning and Default Logics", Computer Science Research Report No. 430, Yale University, October 1985.
6. Joshi, Aravind, Bonnie Webber and Ralph Weischedel, "Default Reasoning in Interaction", Proceedings of the Non-Monotonic Reasoning Workshop, AAAI, October 1984, pp. 151-164.
7. Lifschitz, Vladimir "Pointwise Circumscription", unpublished, draft of March 11, 1986.
8. McCarthy, John, "Circumscription-A Form of Non-Monotonic Reasoning", Artificial Intelligence, vol. 13 (1980), pp. 27-39.
9. McCarthy, John, "Applications of Circumscription to Formalizing Common Sense Knowledge", Proceedings of the Non-Monotonic Reasoning Workshop, AAAI, October 1984, pp. 295-324.
10. McCarthy, John, and P. J. Hayes, "Some Philosophical Problems from the Standpoint of Artificial Intelligence", in: B. Meltzer and D. Michie (eds.), Machine Intelligence 4, Edinburgh University Press, 1969, pp. 463-502.
11. McDermott, Drew V., "A Temporal Logic for Reasoning About Processes and Plans", Cognitive Science, vol. 6 (1982), pp. 101-155.
12. McDermott, Drew V. and Jon Doyle, "Non-Monotonic Logic I", Artificial Intelligence, vol. 13 (1980), pp. 41-72.
13. Perlis, Donald, and Jack Minker, "Completeness Results for Circumscription", Computer Science Technical Report TR-1517, University of Maryland.
14. Reiter, Raymond, "A Logic for Default Reasoning", Artificial Intelligence, vol. 13 (1980), pp. 81-132.
15. Shoham, Yoav, "Time and Causation from the Standpoint of Aritificial Intelligence", Computer Science Research Report, Yale University, forthcoming (1986).