Semantics of Belief Change Operators for Intelligent Agents: Iteration, Postulates, and Realizability
Saved in:
| Title: | Semantics of Belief Change Operators for Intelligent Agents: Iteration, Postulates, and Realizability |
|---|---|
| Description: | One of the core problems in artificial intelligence is the modelling of human reasoning and intelligent behaviour. The representation of knowledge, and reasoning about it, are of crucial importance in achieving this. This book, Semantics of Belief Change Operators for Intelligent Agents: Iteration, Postulates, and Realizability, addresses a number of significant research questions in belief change theory from a semantic point of view; in particular, the connection between different types of belief changes and plausibility relations over possible worlds is investigated. This connection is characterized for revision over general classical logics, showing which relations are capturing AGM revision. In addition, those classical logics for which the correspondence between AGM revision and total preorders holds are precisely characterized. AGM revision in the Darwiche-Pearl framework for belief change over arbitrary sets of epistemic states is considered, demonstrating, especially, that for some sets of epistemic states, no AGM revision operator exists. A characterization of those sets of epistemic states for which AGM revision operators exist is presented. The expressive class of dynamic limited revision operators is introduced to provide revision operators for more sets of epistemic states. Specifications for the acceptance behaviour of various belief-change operators are examined, and those realizable by dynamic-limited revision operators are described. The iteration of AGM contraction in the Darwiche-Pearl framework is explored in detail, several known and novel iteration postulates for contraction are identified, and the relationships among these various postulates are determined. With a convincing presentation of ideas, the book refines and advances existing proposals of belief change, develops novel concepts and approaches, rigorously defines the concepts introduced, and formally proves all technical claims, propositions and theorems, significantly advancing the state-of-the-art in this field. |
| Authors: | Kai Sauerwald |
| Resource Type: | eBook. |
| Subjects: | Artificial intelligence, Human-computer interaction, Intelligent agents (Computer software) |
| Categories: | COMPUTERS / Artificial Intelligence / General |
| Database: | eBook Collection (EBSCOhost) |
| FullText | Links: – Type: ebook-pdf Text: Availability: 0 |
|---|---|
| Header | DbId: nlebk DbLabel: eBook Collection (EBSCOhost) An: 3480773 RelevancyScore: 1110 AccessLevel: 6 PubType: eBook PubTypeId: ebook PreciseRelevancyScore: 1109.74133300781 |
| IllustrationInfo | |
| ImageInfo | – Size: thumb Target: https://rps2images.ebscohost.com/rpsweb/othumb?id=NL$3480773$PDF&s=r – Size: medium Target: https://rps2images.ebscohost.com/rpsweb/othumb?id=NL$3480773$PDF&s=d |
| Items | – Name: Title Label: Title Group: Ti Data: Semantics of Belief Change Operators for Intelligent Agents: Iteration, Postulates, and Realizability – Name: Abstract Label: Description Group: Ab Data: One of the core problems in artificial intelligence is the modelling of human reasoning and intelligent behaviour. The representation of knowledge, and reasoning about it, are of crucial importance in achieving this. This book, Semantics of Belief Change Operators for Intelligent Agents: Iteration, Postulates, and Realizability, addresses a number of significant research questions in belief change theory from a semantic point of view; in particular, the connection between different types of belief changes and plausibility relations over possible worlds is investigated. This connection is characterized for revision over general classical logics, showing which relations are capturing AGM revision. In addition, those classical logics for which the correspondence between AGM revision and total preorders holds are precisely characterized. AGM revision in the Darwiche-Pearl framework for belief change over arbitrary sets of epistemic states is considered, demonstrating, especially, that for some sets of epistemic states, no AGM revision operator exists. A characterization of those sets of epistemic states for which AGM revision operators exist is presented. The expressive class of dynamic limited revision operators is introduced to provide revision operators for more sets of epistemic states. Specifications for the acceptance behaviour of various belief-change operators are examined, and those realizable by dynamic-limited revision operators are described. The iteration of AGM contraction in the Darwiche-Pearl framework is explored in detail, several known and novel iteration postulates for contraction are identified, and the relationships among these various postulates are determined. With a convincing presentation of ideas, the book refines and advances existing proposals of belief change, develops novel concepts and approaches, rigorously defines the concepts introduced, and formally proves all technical claims, propositions and theorems, significantly advancing the state-of-the-art in this field. – Name: Author Label: Authors Group: Au Data: <searchLink fieldCode="AR" term="%22Kai+Sauerwald%22">Kai Sauerwald</searchLink> – Name: TypePub Label: Resource Type Group: TypPub Data: eBook. – Name: Subject Label: Subjects Group: Su Data: <searchLink fieldCode="DE" term="%22Artificial+intelligence%22">Artificial intelligence</searchLink><br /><searchLink fieldCode="DE" term="%22Human-computer+interaction%22">Human-computer interaction</searchLink><br /><searchLink fieldCode="DE" term="%22Intelligent+agents+%28Computer+software%29%22">Intelligent agents (Computer software)</searchLink> – Name: SubjectBISAC Label: Categories Group: Su Data: <searchLink fieldCode="ZK" term="%22COMPUTERS+%2F+Artificial+Intelligence+%2F+General%22">COMPUTERS / Artificial Intelligence / General</searchLink> |
| PLink | https://search.ebscohost.com/login.aspx?direct=true&site=eds-live&db=nlebk&AN=3480773 |
| RecordInfo | BibRecord: BibEntity: Classifications: – Code: 006.30285436 Scheme: ddc Type: prePub Languages: – Code: eng Text: English Subjects: – SubjectFull: Artificial intelligence Type: general – SubjectFull: Human-computer interaction Type: general – SubjectFull: Intelligent agents (Computer software) Type: general Titles: – TitleFull: Semantics of Belief Change Operators for Intelligent Agents: Iteration, Postulates, and Realizability Type: main BibRelationships: HasContributorRelationships: – PersonEntity: Name: NameFull: Kai Sauerwald – PersonEntity: Name: NameFull: Kai Sauerwald IsPartOfRelationships: – BibEntity: Dates: – D: 01 M: 01 Type: published Y: 2022 – D: 15 M: 12 Type: profile Y: 2022 Identifiers: – Type: isbn-print Value: 9781643683249 – Type: isbn-electronic Value: 9781643683256 Numbering: – Type: volume Value: 00352 Titles: – TitleFull: Semantics of Belief Change Operators for Intelligent Agents: Iteration, Postulates, and Realizability Type: main |
| ResultId | 1 |
