|
|
|
|
| LEADER |
02776nmm a2200301 u 4500 |
| 001 |
EB000686738 |
| 003 |
EBX01000000000000000539820 |
| 005 |
00000000000000.0 |
| 007 |
cr||||||||||||||||||||| |
| 008 |
140122 ||| eng |
| 020 |
|
|
|a 9783662045602
|
| 100 |
1 |
|
|a Bochman, Alexander
|
| 245 |
0 |
0 |
|a A Logical Theory of Nonmonotonic Inference and Belief Change
|h Elektronische Ressource
|c by Alexander Bochman
|
| 250 |
|
|
|a 1st ed. 2001
|
| 260 |
|
|
|a Berlin, Heidelberg
|b Springer Berlin Heidelberg
|c 2001, 2001
|
| 300 |
|
|
|a XII, 436 p
|b online resource
|
| 505 |
0 |
|
|a 1 Introduction -- 2 Consequence Relations -- 3 Epistemic States -- 4 Similarity and Decomposition -- 5 Epistemic Entrenchment -- 6 The Basic Inference Relation -- 7 Skeptical Inference Relations -- 8 Defeasible Entailment -- 9 Credulous Nonmonotonic Inference -- 10 Contraction Inference -- 11 Belief Change and Its Problems -- 12 Contractions of Epistemic States -- 13 Merge and Expansion -- 14 Compound and Derived Changes -- References
|
| 653 |
|
|
|a Artificial Intelligence
|
| 653 |
|
|
|a Formal Languages and Automata Theory
|
| 653 |
|
|
|a Machine theory
|
| 653 |
|
|
|a Artificial intelligence
|
| 041 |
0 |
7 |
|a eng
|2 ISO 639-2
|
| 989 |
|
|
|b SBA
|a Springer Book Archives -2004
|
| 490 |
0 |
|
|a Artificial Intelligence
|
| 028 |
5 |
0 |
|a 10.1007/978-3-662-04560-2
|
| 856 |
4 |
0 |
|u https://doi.org/10.1007/978-3-662-04560-2?nosfx=y
|x Verlag
|3 Volltext
|
| 082 |
0 |
|
|a 006.3
|
| 520 |
|
|
|a The main subject and objective of this book are logical foundations of non monotonic reasoning. This bears a presumption that there is such a thing as a general theory of non monotonic reasoning, as opposed to a bunch of systems for such a reasoning existing in the literature. It also presumes that this kind of reasoning can be analyzed by logical tools (broadly understood), just as any other kind of reasoning. In order to achieve our goal, we will provide a common logical basis and semantic representation in which different kinds of non monotonic reasoning can be interpreted and studied. The suggested framework will subsume ba sic forms of nonmonotonic inference, including not only the usual skeptical one, but also various forms of credulous (brave) and defeasible reasoning, as well as some new kinds such as contraction inference relations that express relative independence of pieces of data. In addition, the same framework will serve as a basis for a general theory of belief change which, among other things, will allow us to unify the main approaches to belief change existing in the literature, as well as to provide a constructive view of the semantic representation used. This book is a monograph rather than a textbook, with all its advantages (mainly for the author) and shortcomings (for the reader)
|