Interactive natural language explanations of Cyc inferences

AAAI Fall Symposium - Technical Report

Volumn FS-05-04, Issue , 2005, Pages 10-20

  Baxter, David ^a   Shepard, Blake ^a   Siegel, Nick ^a   Gottesman, Benjamin ^a   Schneider, Dave ^a  

^a CYCORP INC   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

LOGICAL REASONING SYSTEM; NATURAL LANGUAGE;

ARTIFICIAL INTELLIGENCE; FORMAL LOGIC; KNOWLEDGE BASED SYSTEMS;

FORMAL LANGUAGES;

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

References (7)

1. Barker, Ken, et al. 2002. A Question-Answering System for AP Chemistry: Assessing KR&R Technologies. Proceedings of the Ninth International Conference on the Principles of Knowledge Representation and Reasoning (KR 2004). Whistler, 488-497.
2. Fiedler, Armin 1999. Using a Cognitive Architecture to Plan Dialogs for the Adaptive Explanation of Proofs. In T. Dean, ed., Proceedings of the Sixteenth International Joint Conference on Artificial Intelligence, 358-363. Morgan Kaufmann, San Francisco, CA.
3. Friedland, N S., et al. 2004. Project Halo: Towards a Digital Aristotle. AI Magazine 25(4): 29-47.
4. Lenat, D. B. and Guha, R.V. 1990. Building Large Knowledge-Based Systems: Representation and Inference in the Cyc Project. Addison-Wesley.
5. Lenat, D. 1995. Steps to Sharing Knowledge. In Toward Very Large Knowledge Bases, ed. N.J.I. Mars. IOS Press.
6. Masters, J. and Güngördü, Z. 2003. Semantic Knowledge Source Integration: A Progress Report. Proceedings of the International Conference on Integration of Knowledge Intensive Multi-Agent Systems (KIMAS '03), 562-566. Piscataway, N.J.: IEEE Press.
7. Paul, G. 1993. Approaches to Abductive Reasoning: An Overview. Artificial Intelligence Review 7:109-152.