- ホーム
- > 洋書
- > 英文書
- > Computer / General
Full Description
This book explains how the logic of theory change employs formal models in the investigation of changes in belief states and databases. The topics covered include equivalent characterizations of AGM operations, extended representations of the belief states, change operators not included in the original framework, iterated change, applications of the model, its connections with other formal frameworks, and criticism of the model.
Contents
Motivation.- History.- The AGM Model.- Belief Sets.- Equivalent Characterizations.- Safe and Kernel Contraction.- Criticism of the Model.- Belief Bases.- Iterated Change.- Multiple Change.- Extended Representations of Belief States.- Alternative Operators of Change.- Multiagent Belief Change.- Applications and Connections.- Implementations.- Conclusions.- References.
-
- 電子書籍
- 変態紳士と私、そして執着幼なじみ【タテ…
-
- 電子書籍
- 人形の家【タテヨミ】第2話 picco…
-
- 電子書籍
- オオカミ夫が追ってくる【タテヨミ】第2…
-
- 電子書籍
- 本当にあった女の人生ドラマ Vol.8…
-
- 電子書籍
- 【分冊版】異世界帰りのパラディンは、最…