DROPS

Document

Dynamic Interactions Between Goals and Beliefs

Authors: Steven Shapiro and Gerhard Brewka

Published in: Dagstuhl Seminar Proceedings, Volume 7351, Formal Models of Belief Change in Rational Agents (2007)

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.

Cite as

Steven Shapiro and Gerhard Brewka. Dynamic Interactions Between Goals and Beliefs. In Formal Models of Belief Change in Rational Agents. Dagstuhl Seminar Proceedings, Volume 7351, pp. 1-9, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2007)

Copy BibTex To Clipboard

@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/entities/document/10.4230/DagSemProc.07351.10},
  URN =		{urn:nbn:de:0030-drops-11995},
  doi =		{10.4230/DagSemProc.07351.10},
  annote =	{Keywords: Goal Change, Belief Change, Situation Calculus}
}

Document

DOI: 10.4230/DagSemProc.05321.7

Belief Change with Noisy Sensing and Introspection

Authors: Steven Shapiro

Published in: Dagstuhl Seminar Proceedings, Volume 5321, Belief Change in Rational Agents: Perspectives from Artificial Intelligence, Philosophy, and Economics (2005)

Abstract

In this paper, we generalize the framework of Shapiro et al. [2000], where belief change due to sensing was combined with belief introspection in the situation calculus. In that framework, sensing was assumed to be infallible and the plausibilities of alternate situations (i.e., possible worlds) were fixed in the initial state, never to be updated. Here, we relax both assumptions. That is, we model noisy sensors whose readings may stray from reality and may return different values in subsequent readings. We also allow the plausibilities of situations to change over time, bringing the framework more in line with traditional models of belief change. We give some properties of our axiomatization and show that it does not suffer from the problems with combining sensing, introspection, and plausibility update described in Shapiro et al. [2000].

Cite as

Steven Shapiro. Belief Change with Noisy Sensing and Introspection. In Belief Change in Rational Agents: Perspectives from Artificial Intelligence, Philosophy, and Economics. Dagstuhl Seminar Proceedings, Volume 5321, pp. 1-6, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2006)

Copy BibTex To Clipboard

@InProceedings{shapiro:DagSemProc.05321.7,
  author =	{Shapiro, Steven},
  title =	{{Belief Change with Noisy Sensing and Introspection}},
  booktitle =	{Belief Change in Rational Agents: Perspectives from Artificial Intelligence, Philosophy, and Economics},
  pages =	{1--6},
  series =	{Dagstuhl Seminar Proceedings (DagSemProc)},
  ISSN =	{1862-4405},
  year =	{2006},
  volume =	{5321},
  editor =	{James Delgrande and Jerome Lang and Hans Rott and Jean-Marc Tallon},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.05321.7},
  URN =		{urn:nbn:de:0030-drops-4632},
  doi =		{10.4230/DagSemProc.05321.7},
  annote =	{Keywords: Belief change, noisy sensing, theories of action, situation calculus.}
}

Search Results

Documents authored by Shapiro, Steven

Dynamic Interactions Between Goals and Beliefs

Abstract

Cite as

Belief Change with Noisy Sensing and Introspection

Abstract

Cite as

Thanks for your feedback!

Could not send message