- 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. Google ScholarDigital Library
- Lieberman, H., Liu, H., Singh, P., and Barry, B. Beating common sense into interactive applications. AI Magazine 25, 4 (2004), 63--76.Google Scholar
- 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.Google Scholar
- 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. Google ScholarDigital Library
- Minsky, M. The Emotion Machine: Commonsense Thinking, Artificial Intelligence, and the Future of the Human Mind. Simon & Schuster, NY, 2006. Google ScholarDigital Library
- Mueller, E. T. Event calculus reasoning through satisfiability. Journal of Logic and Computation 14, 5 (2004), 703--730. Google ScholarDigital Library
- Mueller, E. T. Understanding script-based stories using commonsense reasoning. Cognitive Systems Research 5, 4 (2004), 307--340. Google ScholarDigital Library
- Mueller, E. T. Commonsense Reasoning. Morgan Kaufmann, San Francisco, CA, 2006. Google ScholarDigital Library
- Shanahan, M. Solving the Frame Problem. MIT Press, Cambridge, MA, 1997.Google Scholar
- Shanahan, M. Perception as abduction: Turning sensor data into meaningful representation. Cognitive Science 29 (2005), 103--134.Google ScholarCross Ref
- van Lambalgen, M. and Hamm, F. The Proper Treatment of Events. Blackwell, Malden, MA, 2005.Google ScholarCross Ref
- 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 42 1--3 (2004). 227--253. Google ScholarDigital Library
Index Terms
- Automating commonsense reasoning using the event calculus
Recommendations
Event Calculus Reasoning Through Satisfiability
We present an implemented method for encoding reasoning problems of a discrete version of the classical logic event calculus in propositional conjunctive normal form, enabling the problems to be solved efficiently by off-the-shelf complete ...
Axiomatization of Credulous Reasoning in Default Logics using Sequent Calculus
SYNASC '08: Proceedings of the 2008 10th International Symposium on Symbolic and Numeric Algorithms for Scientific ComputingThe family of default logics formalize the default reasoning using nonmonotonic inference rules called defaults. In this paper we propose a uniform abstract characterization of credulous default inference associated to all versions (classical, justified,...
The event calculus and consistency maintenance
IEA/AIE '90: Proceedings of the 3rd international conference on Industrial and engineering applications of artificial intelligence and expert systems - Volume 2The relationship between nonmonotonic formalisms and the problem of temporal projection has long been recognized, though not well understood. The straightforward application of various nonmonotonic formalisms (circumscription, default logic, etc.) has ...
Comments