Using Common Sense Invariants in Belief Management for Autonomous Agents
Pages 49 - 59
Abstract
To design a truly autonomous robot it is necessary that the robot is able to handle unexpected action outcomes. One way to deal with these outcomes is to perform a diagnosis on the history of performed actions. Basically there are two ways to trigger such a diagnosis. One way to trigger it is a direct contradiction between a sensor reading and its expected value. Another way is to use background knowledge if an alternative action outcome does not lead to a direct contradiction. In order to avoid the necessity to hand-code this knowledge we propose to reuse a existing common sense knowledge base. In this paper we present an approach for reusing existing common sense knowledge in a belief management approach for autonomous agents.
References
[1]
Gspandl, S., Pill, I., Reip, M., Steinbauer, G., Ferrein, A.: Belief Management for High-Level Robot Programs. In: The 22nd International Joint Conference on Artificial Intelligence IJCAI, Barcelona, Spain, pp. 900---905 2011
[2]
Giacomo, G.D., Lespérance, Y., Levesque, H.J., Sardina, S.: IndiGolog: A High-Level Programming Language for Embedded Reasoning Agents. In: Multi-Agent Programming: Languages, Tools and Applications, pp. 31---72. Springer 2009
[3]
McCarthy, J.: Situations, Actions and Causal Laws. Technical report, Stanford University 1963
[4]
Reiter, R.: Knowledge in Action. Logical Foundations for Specifying and Implementing Dynamical Systems. MIT Press 2001
[5]
De Giacomo, G., Levesque, H.J.: An incremental interpreter for high-level programs with sensing. In: Logical Foundations for Cognitive Agents, pp. 86---102. Springer 1999
[6]
Ferrein, A.: Robot Controllers for Highly Dynamic Environments with Real-time Constraints. PhD thesis, Knowledge-based Systems Group, RWTH Aachen University, Aachen Germany 2008
[7]
Meseguer, J.: General logics. Technical report, DTIC Document 1989
[8]
Arenas, M., Botoeva, E., Calvanese, D., Ryzhikov, V.: Exchanging OWL 2 QL Knowledge Bases. In: The 23rd International Joint Conference on Artificial Intelligence, pp. 703---710 2013
[9]
Ramachandran, D., Reagan, P., Goolsbey, K.: First-orderized researchcyc: Expressivity and efficiency in a common-sense ontology. In: AAAI Workshop on Contexts and Ontologies: Theory, Practice and Applications 2005
[10]
Nilsson, N.J.: Teleo-reactive programs for agent control. Journal of Artificial Intelligence Research 11, 139---158 1994
[11]
Williams, M.A.: Anytime belief revision. In: The 15th International Joint Conference on Artificial Intelligence IJCAI, pp. 74---81 1997
[12]
Prade, D.D.H.: Possibilistic logic, preferential models, non-monotonicity and related issues. In: Proc. of IJCAI, vol. 91, pp. 419---424 1991
[13]
Jin, Y., Thielscher, M.: Representing beliefs in the fluent calculus. In: The 16th European Conference on Artificial Intelligence ECAI
[14]
Cerioli, M., Meseguer, J.: May i borrow your logic? In: Borzyszkowski, A.M., Sokolowski, S. eds. MFCS 1993. LNCS, vol. 711, pp. 342---351. Springer, Heidelberg 1993
[15]
Roos, N., Witteveen, C.: Diagnosis of plans and agents. In: Pĕchouă ek, M., Petta, P., Varga, L.Z. eds. CEEMAS 2005. LNCS LNAI, vol. 3690, pp. 357---366. Springer, Heidelberg 2005
[16]
de Jonge, F., Roos, N., Witteveen, C.: Diagnosis of multi-agent plan execution. In: Fischer, K., Timm, I.J., André, E., Zhong, N. eds. MATES 2006. LNCS LNAI, vol. 4196, pp. 86---97. Springer, Heidelberg 2006
[17]
Borst, P., Akkermans, J., Pos, A., Top, J.: The physsys ontology for physical systems. In: 9th International Workshop on Qualitative Reasoning QR, pp. 11---21 1995
Recommendations
A Belief Revision Approach for Argumentation-Based Negotiation Agents
Abstract Negotiation is an interaction that happens in multi-agent systems when agents have conflicting objectives and must look for an acceptable agreement. A typical negotiating situation involves two agents that cannot reach their goals by themselves ...
Common Belief with the Logic of Individual Belief
AbstractThe logic of common belief does not always reflect that of individual beliefs. In particular, even when the individual belief operators satisfy the KD45 logic, the common belief operator may fail to satisfy axiom 5. That is, it can happen that ...
Reasoning about fuzzy belief and common belief: with emphasis on incomparable beliefs
IJCAI'11: Proceedings of the Twenty-Second international joint conference on Artificial Intelligence - Volume Volume TwoWe formalize reasoning about fuzzy belief and fuzzy common belief, especially incomparable beliefs, in multi-agent systems by using a logical system based on Fitting's many-valued modal logic, where incomparable beliefs mean beliefs whose degrees are ...
Comments
Information & Contributors
Information
Published In
June 2014
520 pages
ISBN:9783319074542
Publisher
Springer-Verlag
Berlin, Heidelberg
Publication History
Published: 03 June 2014
Qualifiers
- Article
Contributors
Other Metrics
Bibliometrics & Citations
Bibliometrics
Article Metrics
- 0Total Citations
- 0Total Downloads
- Downloads (Last 12 months)0
- Downloads (Last 6 weeks)0
Reflects downloads up to 03 Mar 2025