This book is suitable for researchers and postgraduates in the areas of artificial intelligence, database theory, and logic. The authors illustrate the idea through the presentation of various algorithms and offer the most-up-to-date book on this topic.
Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.
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 use
Les informations fournies dans la section « A propos du livre » peuvent faire référence à une autre édition de ce titre.
Vendeur : Norbert Kretschmann, Bad Aibling, Allemagne
Gebundene Ausgabe. Etat : Wie neu. 396 Seiten; 2010. Buchdeckel oben leicht bestossen. Innenteil tadellos - u n g e l e s e n - keine Risse, Knicke, Anmerkungen. ! Altersbedingt minimal nachgedunkelt! KEIN Mängelexemplar! Versand aus München V1184 Sprache: Deutsch Gewicht in Gramm: 758. N° de réf. du vendeur 57011
Quantité disponible : 1 disponible(s)
Vendeur : Brook Bookstore On Demand, Napoli, NA, Italie
Etat : new. Questo è un articolo print on demand. N° de réf. du vendeur 1454b42c78dbc686acf9fd09081ca3f6
Quantité disponible : Plus de 20 disponibles
Vendeur : BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Allemagne
Buch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -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. 396 pp. Englisch. N° de réf. du vendeur 9783642141584
Quantité disponible : 2 disponible(s)
Vendeur : moluna, Greven, Allemagne
Gebunden. Etat : New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. This is the most-up-to-date book on this topic The book is suitable for researchers and postgraduates in the areas of artificial intelligence, database theory, and logic The authors illustrate the idea through the presentation of various algorithmsAn im. N° de réf. du vendeur 5050418
Quantité disponible : Plus de 20 disponibles
Vendeur : preigu, Osnabrück, Allemagne
Buch. Etat : Neu. Revision, Acceptability and Context | Theoretical and Algorithmic Aspects | Dov M. Gabbay (u. a.) | Buch | Cognitive Technologies | x | Englisch | 2010 | Springer | EAN 9783642141584 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu Print on Demand. N° de réf. du vendeur 101075818
Quantité disponible : 5 disponible(s)
Vendeur : Books Puddle, New York, NY, Etats-Unis
Etat : New. pp. 396. N° de réf. du vendeur 262071903
Quantité disponible : 4 disponible(s)
Vendeur : buchversandmimpf2000, Emtmannsberg, BAYE, Allemagne
Buch. Etat : Neu. This item is printed on demand - Print on Demand Titel. Neuware -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.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 396 pp. Englisch. N° de réf. du vendeur 9783642141584
Quantité disponible : 1 disponible(s)
Vendeur : AHA-BUCH GmbH, Einbeck, Allemagne
Buch. Etat : Neu. Druck auf Anfrage Neuware - Printed after ordering - 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. N° de réf. du vendeur 9783642141584
Quantité disponible : 1 disponible(s)
Vendeur : Majestic Books, Hounslow, Royaume-Uni
Etat : New. Print on Demand pp. 396 Illus. N° de réf. du vendeur 6824576
Quantité disponible : 4 disponible(s)
Vendeur : Biblios, Frankfurt am main, HESSE, Allemagne
Etat : New. PRINT ON DEMAND pp. 396. N° de réf. du vendeur 182071893
Quantité disponible : 4 disponible(s)