Abstract
Rao and Georgeff’s BDIctl logic is a popular specification and verification language for cognitive agent systems, in which desires and goals are unified into a single motivational attitude. In this paper desires and goals are distinguished to specify the merging of desires into goals, an important process in several agent systems such as Broersen et al.’s BOID system. We therefore introduce a BDGIctl logic. Moreover, we distinguish the merging of conflicting motivational attitudes such as desires into goals from the merging of conflicting informational attitudes such as knowledge bases or belief sources into beliefs, for which we use recent results in variants of belief revision known as semi-revision, fusion or merging. In particular, whereas belief merging is a generalization of revision, desire merging is a generalization of a kind of contraction known as (severe) withdrawal.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
R. Booth. Social contraction and belief negotiation. In Proceedings of the Eighth International Conference on Principles of Knowledge Representation and Reasoning (KR2002), pages 375–384. Morgan Kaufmann, 2002.
J. Broersen, M. Dastani, and L. van der Torre. Realistic desires. Journal of Applied Non-Classical Logics, To appear.
B. Chellas. Modal Logic: An Introduction. Cambridge University Press, 1980.
S. Konieczny and R. Pino Pérez. Merging with integrity constraints. In Proceedings of the Fifth European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU’99), volume 1638 of LNCS, pages 135–144, 1999. Extended version: S. Konieczny and R. Pino Pérez. Merging information under constraints: a qualitative framework. Journal of Logic and Computation, to appear.
S. Konieczny and R. Pino Pérez. On the frontier between arbitration and majority. In Proceedings of the Eigth International Conference on Principles of Knowledge Representation and Reasoning (KR’02), 2002.
S. Kraus, K. Sycara, and A. Evenchik. Reaching agreements through argumentation; a logical model and implementation. Articial Intelligence, 104:1–69, 1998.
J. Lang, L. van der Torre, and E. Weydert. Two types of conflicts between desires (and how to resolve them). In Proceedings of GTDT2001, AAAI Spring Symposium, 2001.
T. Meyer. On the semantics of combination operations. Journal of Applied Non-Classical Logics, 11(1–2):59–84, 2001.
A. Rao and M. Georgeff. The semantics of intention maintenance for rational agents. In Proceedings of the Fourteenth International Joint Conference on Artificial Intelligence (IJCAI-95), pages 704–710, 1995.
A.S. Rao and M.P. Georgeff. Decision procedures for BDI logics. Journal of Logic and Computation, 8(3):293–342, 1998.
H. Rott and M. Pagnucco. Severe withdrawal (and recovery). Journal of Philosophical Logic, 28:501–547, 1999.
K. Schild. On the relationship between BDI logics and standard logics of concurrency. Autonomous Agents and Multi agent Systems, 3(3):259–283, 2000.
Wooldridge M. J. and Jennings N. R. Software Engineering with Agents: Pitfalls and Pratfalls. IEEE Internet Computing, 3(3):20–27, May/June 1999.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2002 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Dastani, M., van der Torre, L. (2002). Specifying the Merging of Desires into Goals in the Context of Beliefs. In: Shafazand, H., Tjoa, A.M. (eds) EurAsia-ICT 2002: Information and Communication Technology. EurAsia-ICT 2002. Lecture Notes in Computer Science, vol 2510. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-36087-5_95
Download citation
DOI: https://doi.org/10.1007/3-540-36087-5_95
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-00028-0
Online ISBN: 978-3-540-36087-2
eBook Packages: Springer Book Archive