Automating commonsense reasoning using the event calculus

Communications of the ACM

Volumn 52, Issue 1, 2009, Pages 113-117

  Mueller, Erik T ^a  

^a IBM T J WATSON RESEARCH CENTER   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

BUSINESS SYSTEMS; COMMON SENSE KNOWLEDGE; COMMON-SENSE REASONINGS; EVENT CALCULUS; FUNCTION OF TIME; NATURAL LANGUAGE UNDERSTANDING; PROBABILITY THEORIES; REASONER; SATISFIABILITY;

PROGRAMMING THEORY;

CALCULATIONS;

EID: 58849102736     PISSN: 00010782     EISSN: 15577317     Source Type: Journal    
DOI: 10.1145/1435417.1435443     Document Type: Article

References (12)

1. Cicekli, N. K. and Yildirim, Y. formalizing workflows using the event calculus. M. T. Ibrahim, J. Küng, and N. Revell, Eds. Database and Expert Systems Applications. Lecture Notes in Computer Science, Springer, Berlin, 2000, 222-231.
2. Lieberrnan, H., Liu, H., Singh, P., and Barry, B. Beating common sense into interactive applications. AI Magazine 25, 4 (2004) 63-76.
3. McCarthy. J. Programs with common sense. Mechanisation of Thought Processes: Proceedings of a Symposium held at the National Physical Laboratory on 24th, 25th, 26th and 27th November 1958, Her Majesty's Stationery Office, London, 1959, 75-91.
4. Miller, R. and Shanahan, M. Some alternative formulations of the event calculus. A. C. Kakas and F. Sadri, Eds. Computational Logic: Logic Programming and Beyond: Essays in Honour of Robert A, Kowalski, Part II, Lecture Notes in Computer Science, Springer, Berlin, 2002, 452-490.
5. Minsky, M. The Emotion Machine: Commonsense Thinking, Artificial Intelligence, and the Future of the Human Mind. Simon & Schuster, NY, 2006.
6. Mueller, E. T. Event calculus reasoning through satisfiability. Journal of Logic ana Computation 14, 5 (2004), 703 730.
7. Mueller, E. T. Understanding script based stories using commonsense reasoning. Cognitive Svstems Research 5, 4(2004), 307-340.
8. Mueller, E. T. Commonsense Reasoning. Morgan Kaufmann, San Francisco, C.A, 2006.
9. Shanahan, M. Solving the frame Problem. MIT Press, Cambridge, MA, 1997.
10. Shanahan, M. Perception as abduction; Turning sensor data into meaningful representation. Cognitive Science 29 (2005), 103-134.
11. van Lambalgen, M. and Hamrn, F. The Proper Treatment of Events. Blackwell, Maiden, MA, 2005.
12. Yolum, P. and Singh, M. P. Reasoning about commitments in the event calculus: An approach for specifying and executing protocols. Annals of Mathematics and Artificial Intelligence 421-3 (2004), 227-253.