Tasuta kohaletoimetamine tellimustele üle 29 €
  • check 10+ miljonit raamatut
  • check Uued tooted iga päev
  • check Meid usaldab üle 1 miljoni kliendi
  • check Hea hind ja allahindlused
  • check Tarne üle kogu Euroopa

Revision, Acceptability and Context: Theoretical and Algorithmic Aspects - Odinaldo T. Rodrigues,Dov M. Gabbay,Alessandra Russo

inglise keel
2012-10-13
166,31 € 277,18 €

-40% koodiga BOOKS

Meie tarnija laos

Saadetis 12-18 tööpäeva jooksul

30-päevane tagastamisõigus

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 conce ... Täielik kirjeldus

Võib-olla meeldib sulle ka

Kirjeldus

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 well-known logic, usually classic logic. Secondly, the technique of meta-level/object-level movement, where we bring some operation defined at the meta-level of a logic into its object level. In this book, we bring the operation of deletion to the object level. Finally, through Labelled Deductive Systems, we use the context of the revision to finetune its operation and illustrate the idea through the presentation of various algorithms. The book is suitable for researchers and postgraduates in the areas of artificial intelligence, database theory, and logic.

Lisateave

Autor Odinaldo T. Rodrigues, Dov M. Gabbay, Alessandra Russo
Kirjastaja Springer Berlin Heidelberg
Series Cognitive Technologies
Väljalaskeaasta 2012
Kaanetüüp Pehme kaanega
EAN 9783642264306
Kirjuta oma arvustus
Te vaatate: Revision, Acceptability and Context: Theoretical and Algorithmic Aspects
Teie hinnang:

Goodreads'i arvustused

166,31 € 277,18 €