A production rule-based framework for causal and epistemic reasoning

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 7438 LNCS, Issue , 2012, Pages 120-135

  Patkos, Theodore ^a   Chibani, Abdelghani ^a   Plexousakis, Dimitris ^b   Amirat, Yacine ^a  

^a UNIVERSITÉ PARIS EST CRÉTEIL   (France)

^b INSTITUTE OF COMPUTER SCIENCE   (Greece)

Author keywords

[No Author keywords available]

Indexed keywords

ACTION THEORY; DECLARATIVE SEMANTICS; DYNAMIC DOMAINS; EVENT CALCULUS; HIGH-LEVEL STRUCTURE; INCOMPLETE KNOWLEDGE; LOGIC THEORY; PRACTICAL IMPLEMENTATION; PRODUCTION SYSTEM; RULE BASED; RULE BASED REASONING; RUNTIMES;

ARTIFICIAL INTELLIGENCE; KNOWLEDGE REPRESENTATION; LOGIC PROGRAMMING; SEMANTICS; WORLD WIDE WEB;

COMPUTER PROGRAMMING LANGUAGES;

EID: 84866672418     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-32689-9_10     Document Type: Conference Paper

References (19)

1. Levesque, H., Reiter, R.: High-level Robotic Control: Beyond Planning. A Position Paper. In: AIII 1998 Spring Symposium: Integrating Robotics Research: Taking the Next Big Leap (1998)
2. Van Harmelen, F., Lifschitz, V., Porter, B.: Handbook of Knowledge Representation. Elsevier Science, San Diego (2007)
3. Scherl, R.B., Levesque, H.J.: Knowledge, action, and the frame problem. Artificial Intelligence 144(1-2), 1-39 (2003)
4. Thielscher, M.: Representing the Knowledge of a Robot. In: KR 2000: Principles of Knowledge Representation and Reasoning, pp. 109-120 (2000)
5. Lobo, J., Mendez, G., Taylor, S.R.: Knowledge and the action description language A. Theory and Practice of Logic Programming 1(2), 129-184 (2001)
6. Patkos, T., Plexousakis, D.: Reasoning with Knowledge, Action and Time in Dynamic and Uncertain Domains. In: Proceedings of the 21st International Joint Conference on Artifical Intelligence, IJCAI 2009, pp. 885-890 (2009)
7. Chesani, F., Mello, P., Montali, M., Torroni, P.: A logic-based, reactive calculus of events. Fundamenta Informaticae 105, 135-161 (2010)
8. Kowalski, R., Sergot, M.: A Logic-based Calculus of Events. New Generation Computing 4(1), 67-95 (1986)
9. Mueller, E.: Commonsense Reasoning, 1st edn. Morgan Kaufmann (2006)
10. Patkos, T., Plexousakis, D.: Efficient epistemic reasoning in partially observable dynamic domains using hidden causal dependencies. In: NRAC 2011 - 9th International Workshop on Non-Monotonic Reasoning, Action and Change, pp. 55-62 (2011)
11. Chittaro, L., Montanari, A.: Efficient Temporal Reasoning in the Cached Event Calculus. Computational Intelligence 12, 359-382 (1996)
12. Dimopoulos, Y., Kakas, A.C., Michael, L.: Reasoning About Actions and Change in Answer Set Programming. In: Lifschitz, V., Niemelä, I. (eds.) LPNMR 2004. LNCS (LNAI), vol. 2923, pp. 61-73. Springer, Heidelberg (2004)
13. Riboni, D., Bettini, C.: Owl 2 modeling and reasoning with complex human activities. Pervasive and Mobile Computing 7, 379-395 (2011)
14. Chen, L., Nugent, C., Mulvenna, M., Finlay, D., Hong, X., Poland, M.: A Logical Framework for Behaviour Reasoning and Assistance in a Smart Home. International Journal of Assistive Robotics and Mechatronics 9 (2008)
15. Sadri, F.: Intention recognition with event calculus graphs. In: Web Intelligence and Intelligent Agent Technology, pp. 386-391 (2010)
16. Kunze, L., Dolha, M.E., Beetz, M.: Logic programming with simulation-based temporal projection for everyday robot object manipulation. In: IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS 2011), pp. 3172-3178 (2011)
17. Patkos, T., Plexousakis, D.: Epistemic reasoning for ambient intelligence. In: 3rd International Conference on Agents and Artificial Intelligence (ICAART), pp. 242-248 (2011)
18. Kowalski, R., Sadri, F.: An Agent Language with Destructive Assignment and Model-Theoretic Semantics. In: Dix, J., Leite, J., Governatori, G., Jamroga, W. (eds.) CLIMA XI. LNCS, vol. 6245, pp. 200-218. Springer, Heidelberg (2010)
19. Shanahan, M.: The ramification problem in the event calculus. In: 16th International Joint Conference on Artificial Intelligence (IJCAI), pp. 140-146 (1999)