License: Creative Commons Attribution 4.0 International license (CC BY 4.0)
When quoting this document, please refer to the following
DOI: 10.4230/DagSemProc.07351.10
URN: urn:nbn:de:0030-drops-11995
URL: http://dagstuhl.sunsite.rwth-aachen.de/volltexte/2007/1199/
Go to the corresponding Portal

Shapiro, Steven ; Brewka, Gerhard

Dynamic Interactions Between Goals and Beliefs

pdf-format:
07351.ShapiroSteven.Paper.1199.pdf (0.2 MB)

Abstract

Shapiro et al. [2005], presented a framework for representing goal change in the situation calculus. In that framework, agents adopt a goal when requested to do so (by some agent reqr), and they remain committed to the goal unless the request is cancelled by reqr. A common assumption in the agent theory literature, is that achievement goals that are believed to be impossible to achieve should be dropped. In this paper, we incorporate this assumption into Shapiro et al.'s framework, however we go a step further. If an agent believes a goal is impossible to achieve, it is dropped. However, if the agent later believes that it was mistaken about the impossibility of achieving the goal, the agent might readopt the goal. In addition, we consider an agent's goals as a whole when making them compatible with their beliefs, rather than considering them individually.

BibTeX - Entry

@InProceedings{shapiro_et_al:DagSemProc.07351.10,
  author =	{Shapiro, Steven and Brewka, Gerhard},
  title =	{{Dynamic Interactions Between Goals and Beliefs}},
  booktitle =	{Formal Models of Belief Change in Rational Agents},
  pages =	{1--9},
  series =	{Dagstuhl Seminar Proceedings (DagSemProc)},
  ISSN =	{1862-4405},
  year =	{2007},
  volume =	{7351},
  editor =	{Giacomo Bonanno and James Delgrande and J\'{e}r\^{o}me Lang and Hans Rott},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/opus/volltexte/2007/1199},
  URN =		{urn:nbn:de:0030-drops-11995},
  doi =		{10.4230/DagSemProc.07351.10},
  annote =	{Keywords: Goal Change, Belief Change, Situation Calculus}
}

Keywords: Goal Change, Belief Change, Situation Calculus
Collection: 07351 - Formal Models of Belief Change in Rational Agents
Issue Date: 2007
Date of publication: 20.11.2007

DROPS-Home | Fulltext Search | Imprint | Privacy Published by LZI