Belief Revision in Non-Classical Logics

Häftad, Engelska, 2012

Del i serien SpringerBriefs in Computer Science

538 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.

Beskrivning

however, classical belief revision is not well suited for logics such as Description Logics.Belief Revision in Non-Classical Logics presents a framework which can be applied to a wide class of logics that include – besides most Description Logics such as the ones behind OWL – Horn Logic and Intuitionistic logic, amongst others.

Produktinformation

Utgivningsdatum:2012-08-22
Mått:155 x 235 x 9 mm
Vikt:222 g
Format:Häftad
Språk:Engelska
Serie:SpringerBriefs in Computer Science
Antal sidor:120
Upplaga:2013
Förlag:Springer London Ltd
ISBN:9781447141853

Utforska kategorier

Systemvetenskap och AI inom Data och IT
Matematikens grunder inom Naturvetenskap och teknik
Artificiell intelligens inom Data och IT

Recensioner i media

From the reviews: "The book is truly self-contained, and the reader will appreciate that the proofs of all results, including the most well-known ones, are given in detail. The proposed generalisation of belief contraction and belief revision to classes of logics defined by properties of their consequence relations is a valuable addition to the field, with natural concepts and significant results." (Eric Martin, Zentralblatt MATH, Vol. 1256, 2013)

Innehållsförteckning

Preface.- Introduction.- Consequence.- Logics.- Classical Belief Revision.- AGM Contraction in Non-Classical Logics.- AGM Revision in Logics without Negation.- Base Revision in Logics without Negation.- Algorithms for Belief Bases.- Conclusion.- Index.