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 ...
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 ...
Parallel belief revision: Revising by sets of formulas
The area of belief revision studies how a rational agent may incorporate new information about a domain into its belief corpus. An agent is characterised by a belief state K, and receives a new item of information @a which is to be included among its ...
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 23 Dec 2024