2002 | OriginalPaper | Buchkapitel
Specifying the Merging of Desires into Goals in the Context of Beliefs
verfasst von : Mehdi Dastani, Leendert van der Torre
Erschienen in: EurAsia-ICT 2002: Information and Communication Technology
Verlag: Springer Berlin Heidelberg
Enthalten in: Professional Book Archive
Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.
Wählen Sie Textabschnitte aus um mit Künstlicher Intelligenz passenden Patente zu finden. powered by
Markieren Sie Textabschnitte, um KI-gestützt weitere passende Inhalte zu finden. powered by
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.