Conditionals in nonmonotonic reasoning and belief revision : considering conditionals as agents

>> Google Books

所蔵情報QRコード

Conditionals in nonmonotonic reasoning and belief revision : considering conditionals as agents / Gabriele Kern-Isberner

資料種別:: 図書
出版情報:: Berlin : Springer, c2001
形態:: x, 190 p. ; 24 cm
シリーズ名:: Lecture notes in computer science ; 2087 . Lecture notes in artificial intelligence <BA00009279>
著者名:: Kern-Isberner, Gabriele, 1956- <DA13203146>
ISBN:: 9783540423676 [3540423672]
書誌ID:: BA53059548

子書誌情報

フルテキスト

所蔵情報

他の版・巻

書誌詳細

注記:

Bibliography: p. [175]-185
Includes index

主題:

Conditionals (Logic); Nonmonotonic reasoning

言語:

英語

目次情報:

Introduction / 1：

Ã¶Believe It or NotÃ¶ - The Handling of Uncertain Knowledge / 1.1：

Overview / 1.2：

Basic Definitions and Notations / 1.3：

Propositional and Conditional Expressions / 1.3.1：

Probabilistic Logics / 1.3.2：

Belief Revision and Nonmonotonic Reasoning - State of the Art / 2：

Nonmonotonic Reasoning / 2.1：

Belief Revision / 2.2：

Nonmonotonic Reasoning and Belief Revision - Two Sides of the Same Coin? / 2.3：

Iterated Revision, Epistemic States, and Conditionals / 2.4：

Probabilistic Reasoning - The ME-Approach / 2.5：

Conditionals / 3：

Conditionals and Epistemic States / 3.1：

Conditional Valuation Functions / 3.2：

Conditional Valuation Functions and Beliefs / 3.3：

A Dynamic View on Conditionals / 3.4：

Conditional Structures / 3.5：

Conditional Indifference / 3.6：

Revising Epistemic States by Conditional Beliefs / 4：

Postulates for Revising by Conditional Beliefs / 4.1：

Representation Theorems / 4.2：

Conditional Valuation Functions and Revision / 4.3：

A Revision Operator for Ordinal Conditional Functions / 4.4：

The Principle of Conditional Preservation / 4.5：

C-Revisions and C-Representations / 4.6：

Characterizing the Principle of Minimum Cross-Entropy / 5：

Conditional Preservation / 5.1：

The Functional Concept / 5.2：

Logical Coherence / 5.3：

Representation Invariance / 5.4：

Uniqueness and the Main Theorem / 5.5：

Reasoning at Optimum Entropy / 6：

Probabilistic Consequence and Probabilistic Inference / 6.1：

Basic Properties of the ME-Inference Operation / 6.2：

ME-Logic and Conditionals / 6.3：

ME-Deduction Rules / 6.4：

Chaining Rules / 6.4.1：

Cautious Monotonicity and Cautious Cut / 6.4.2：

Conjoining Literals in Antecedent and Consequent / 6.4.3：

Reasoning by Cases / 6.4.4：

Belief Revision and Nonmonotonic Reasoning - Revisited / 7：

Universal Inference Operations / 7.1：

Simultaneous and Successive Revision / 7.2：

Separating Background from Evidential Knowledge / 7.3：

Revising Epistemic States by Sets of Conditionals / 7.4：

Revision versus Updating / 7.5：

Focusing in a Probabilistic Framework / 7.6：

Knowledge Discovery by Following Conditional Structures / 8：

Probabilistic Knowledge Discovery / 8.1：

Discovering Conditional Structures / 8.2：

Examples - ME-Knowledge Discovery / 8.3：

Open Problems and Concluding Remarks / 8.4：

Algorithms and Implementations / 9：

ME-Reasoning with Probabilistic Conditionals / 9.1：

Possibilistic Belief Revision / 9.2：

Conclusion / 10：

Proofs

Bibliography

Index

Introduction / 1：

Ã¶Believe It or NotÃ¶ - The Handling of Uncertain Knowledge / 1.1：

Overview / 1.2：

Basic Definitions and Notations / 1.3：

Propositional and Conditional Expressions / 1.3.1：

Probabilistic Logics / 1.3.2：

続きを見る

ブックレビュー

類似資料:

1 電子ブック Conditionals in Nonmonotonic Reasoning and Belief Revision : Considering Conditionals as Agents Kern-Isberner, Gabriele., SpringerLink (Online service) Springer Berlin Heidelberg	7 電子ブック Conditionals, Information, and Inference WCII 2002, Kern-Isberner, Gabriele, Kulmann, Friedhelm, Rödder, Wilhelm, R?ªdder, Wilhelm, RÃ¶dder, Wilhelm SpringerLink Books - AutoHoldings, Springer Berlin / Heidelberg
2 電子ブック Conditionals in Nonmonotonic Reasoning and Belief Revision Kern-Isberner, Gabriele SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg	8 図書 Conditionals Woods, M. J. (Michael J.), Wiggins, David, Edgington, Dorothy Clarendon Press, Oxford University Press
3 図書 Nonmonotonic reasoning Antoniou, G. (Grigoris), Williams, Mary-Anne MIT Press	9 電子ブック Conditionals, Information, and Inference : International Workshop, WCII 2002, Hagen, Germany, May 13-15, 2002, Revised Selected Papers Kern-Isberner, Gabriele., Rödder, Wilhelm., Kulmann, Friedhelm., SpringerLink (Online service) Springer Berlin Heidelberg
4 図書 A logical theory of nonmonotonic inference and belief change (: [pbk.]) Bochman, Alexander Springer	10 電子ブック Symbolic and Quantitative Approaches to Reasoning with Uncertainty Kern-Isberner, Ognjanović, Zoran SpringerLink Books - AutoHoldings, Springer International Publishing
5 図書 Conditionals, information, and inference : International Workshop, WCII 2002 Hagen, Germany, May 13-15, 2002 : revised selected papers Kern-Isberner, Gabriele, 1956-, Rödder, Wilhelm, Kulmann, Friedhelm Springer	11 図書 The logic of conditionals : an application of probability to deductive logic Adams, Ernest Wilcox, 1926- D. Reidel Pub. Co.
6 電子ブック Conditionals, Information, and Inference WCII 2002, Kern-Isberner, Gabriele, Kulmann, Friedhelm, R?dder, Wilhelm, R?��dder, Wilhelm Springer eBooks Computer Science, Springer Berlin / Heidelberg	12 図書 Nonmonotonic logics : basic concepts, results, and techniques Schlechta, Karl Springer