Comirit: Commonsense reasoning by integrating simulation and logic

Frontiers in Artificial Intelligence and Applications

Volumn 171, Issue 1, 2008, Pages 200-211

  Johnston, Benjamin ^a   Williams, Mary Anne ^a  

^a UNIVERSITY OF TECHNOLOGY SYDNEY   (Australia)

Author keywords

Commonsense reasoning; simulation; tableaux methods

Indexed keywords

COMPUTER CIRCUITS; FORMAL LANGUAGES; FORMAL LOGIC;

COMMONSENSE REASONING; COMPUTER SIMULATION MODELING; HYBRID ARCHITECTURES; LOGICAL FORMALISM; PERFORMANCE; QUANTITATIVE MODELS; REAL-WORLD; REASONING SYSTEM; SIMULATION; TABLEAUX METHODS;

MACHINERY;

EID: 77955213273     PISSN: 09226389     EISSN: 18798314     Source Type: Book Series    
DOI: None     Document Type: Conference Paper

References (11)

1. Morgenstern, L. & Miller, R. 2006, The Commonsense Problem Page, viewed 10 May 2006 http://www-formal.stanford.edu/leora/commonsense/.
2. Barker, K., Chaudhri, V., Chaw, S., Clark, P., Fan, J., Israel, D., Mishra, S., Porter, B., Romero, P., Tecuci, D. & Yeh, P., 2004, 'A question-answering system for AP chemistry: assessing KR&R technolo-gies', KR2004.
3. Lenat, D.B., Guha, R.V., Pittman, K., Pratt, D. & Shepherd, M. 1990, 'Cyc-toward Programs with Common-Sense', Communications of the ACM, vol. 33, no. 8, pp. 30-49.
4. Bryson, J. 2003, 'The behaviour-oriented design of modular agent intelligence' in Agent Technologies, Infrastructures, Tools and Applications for e-Services, LNCS 2592/2003.
5. Goertzel, B. Heljakka, A., Bugaj, S. & Pennachin, M. 2006, 'Exploring android developmental psychol-ogy in a simulation world', Proc. of ICCCS-2006.
6. Johnston, B. & Williams, M-A. 2007, 'A generic framework for approximate simulation in common-sense reasoning systems', 8th Int. Sym. on Logical Formalizations of Commonsense Reasoning.
7. Horrocks, I. & Sattler, U. 2001, 'Ontology reasoning in the SHOQ(D) description logic', IJCAI 2001.
8. Gardin, F. & Meltzer, B. 1989, 'Analogical representations of naive physics', Artificial Intelligence, vol. 38, no. 2, pp. 139-159.
9. Hoyes, K. 2007, '3D simulation: the key to AT in Goertzel, B. & Pennachin, C. (eds) Artificial General Intelligence, Springer, Berlin.
10. Morgenstern, L. 2001, 'Mid-sized axiomatizations of common-sense problems: a case study in egg-cracking', Studia Logica, vol. 67, no. 3, pp. 333-384.
11. D'Agostino, M., Gabbay, D., Hahnle, R. & Posegga J. (eds) 1999, Handbook of Tableau Methods, Kluwer, Netherlands.