Revision, Acceptability and Context
Theoretical and Algorithmic Aspects
An important aspect in the formalisation of common-sense reasoning is the construction of a model of what an agent believes the world to be like to help in her reasoning process. This model is often incomplete or inaccurate, but new information can be used to refine it. The study of techniques that achieve this in a rational way is the task of the discipline of belief revision, with which this book is concerned.There are three key elements to the book's approach. Firstly, the methodology of logic by translation. A specific instance of this is the idea of revision by translation. Revision for a foreign logic is done via its translation into a…
Mehr
CHF 194.50
Preise inkl. MwSt. und Versandkosten (Portofrei ab CHF 40.00)
Versandkostenfrei
Produktdetails
Weitere Autoren: Rodrigues, Odinaldo T. / Russo, Alessandra
- ISBN: 978-3-642-14159-1
- EAN: 9783642141591
- Produktnummer: 13937349
- Verlag: Springer-Verlag GmbH
- Sprache: Englisch
- Erscheinungsjahr: 2010
- Seitenangabe: 386 S.
- Plattform: PDF
- Masse: 3'349 KB
- Auflage: 2010
- Abbildungen: 45 schwarz-weiße Abbildungen, Bibliographie
100 weitere Werke von Dov M. Gabbay:
Handbook of the Logic of Argument and Inference
Theoretical and Algorithmic Aspects
Theoretical and Algorithmic Aspects
Ebook (PDF Format)
CHF 152.20
Handbook of Defeasible Reasoning and Uncertainty Management Systems
Theoretical and Algorithmic Aspects
Theoretical and Algorithmic Aspects
Ebook (PDF Format)
CHF 259.50
The Rise of Modern Logic: from Leibniz to Frege
Theoretical and Algorithmic Aspects
Theoretical and Algorithmic Aspects
Ebook (EPUB Format)
CHF 283.80
Quantified Representation of Uncertainty and Imprecision
Theoretical and Algorithmic Aspects
Theoretical and Algorithmic Aspects
Ebook (PDF Format)
CHF 330.50
Neural-Symbolic Cognitive Reasoning
Theoretical and Algorithmic Aspects
Theoretical and Algorithmic Aspects
Ebook (PDF Format)
CHF 82.50
The Many Valued and Nonmonotonic Turn in Logic
Theoretical and Algorithmic Aspects
Theoretical and Algorithmic Aspects
Ebook (EPUB Format)
CHF 283.80
Handbook of Temporal Reasoning in Artificial Intelligence
Theoretical and Algorithmic Aspects
Theoretical and Algorithmic Aspects
Ebook (EPUB Format)
CHF 258.00
Logic and the Modalities in the Twentieth Century
Theoretical and Algorithmic Aspects
Theoretical and Algorithmic Aspects
Ebook (PDF Format)
CHF 283.80
Semantical Investigations in Heyting's Intuitionistic Logic
Theoretical and Algorithmic Aspects
Theoretical and Algorithmic Aspects
Ebook (PDF Format)
CHF 200.50
A Practical Logic of Cognitive Systems
Theoretical and Algorithmic Aspects
Theoretical and Algorithmic Aspects
Ebook (EPUB Format)
CHF 225.75
Bewertungen
Anmelden