• Media type: E-Book; Thesis
  • Title: Belief change in reasoning agents : axiomatizations, semantics and computations
  • Contributor: Jin, Yi [Author]
  • Published: 2007
  • Extent: Online-Ressource
  • Language: English
  • Identifier:
  • RVK notation: ST 304 : Automatisches Programmieren, Deduction and theorem proving, Wissensrepräsentation
  • Keywords: Künstliche Intelligenz > Wissensrepräsentation > Agent > Wissensrevision > Axiomatische Semantik
  • Origination:
  • University thesis: Dresden, Techn. Univ., Fak. Informatik, Diss., 2007
  • Footnote:
  • Description: The capability of changing beliefs upon new information in a rational and efficient way is crucial for an intelligent agent. Belief change therefore is one of the central research fields in Artificial Intelligence (AI) for over two decades. In the AI literature, two different kinds of belief change operations have been intensively investigated: belief update, which deal with situations where the new information describes changes of the world; and belief revision, which assumes the world is static. As another important research area in AI, reasoning about actions mainly studies the problem of representing and reasoning about effects of actions. These two research fields are closely related and apply a common underlying principle, that is, an agent should change its beliefs (knowledge) as little as possible whenever an adjustment is necessary...
  • Access State: Open Access