Revision, Acceptability and Context: Theoretical and Algorithmic Aspects (Cognitive Technologies) - Image 1

£108.78

Springer Revision, Acceptability and Context: Theoretical and Algorithmic Aspects (Cognitive Technologies)

Name: Revision, Acceptability and Context: Theoretical and Algorithmic Aspects (Cognitive Technologies)
Brand: Springer
Price: 112.59 GBP
Availability: InStock

AI & Machine Learning

Price History & Forecast

Last 73 days • 73 data points (No recent data available)

Historical

Generating forecast...

Price Distribution

Price distribution over 73 days • 2 price levels

Days at Price

Current Price

Price Analysis

Most common price: £113 (62 days, 84.9%)

Price range: £109 - £113

Price levels: 2 different prices over 73 days

Description

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.

Product Specifications

Brand: Springer
Format: hardcover
ASIN: 3642141587
Category: Books > Subjects > Computing & Internet > Computer Science > AI & Machine Learning
Domain: Amazon UK
Release Date: 08 August 2010
Listed Since: 08 June 2010

Barcode

No barcode data available

Springer Revision, Acceptability and Context: Theoretical and Algorithmic Aspects (Cognitive Technologies)

Price History & Forecast

Price Distribution

Price Analysis

Description

Product Specifications

Barcode

Similar Products You Might Like

Representation Theorems in Computer Science: A Treatment in Logic Engineering

R-CALCULUS: A Logic of Belief Revision (Perspectives in Formal Induction, Revision and Evolution)

Three Views of Logic: Mathematics, Philosophy, and Computer Science

Automated Reasoning and Common Sense: Higher Order Aspirations with First Order Logic

Subjective Logic: A Formalism for Reasoning Under Uncertainty (Artificial Intelligence: Foundations, Theory, and Algorithms)

Subjective Logic: A Formalism for Reasoning Under Uncertainty (Artificial Intelligence: Foundations, Theory, and Algorithms)

Handbook of Practical Logic and Automated Reasoning

The Logical Legacy of Nikolai Vasiliev and Modern Logic: 387 (Synthese Library, 387)

Decidability of Logical Theories and Their Combination (Studies in Universal Logic)

Logic for Computer Science and Artificial Intelligence

Management of Knowledge Imperfection in Building Intelligent Systems: 227 (Studies in Fuzziness and Soft Computing, 227)

Dual Tableaux: Foundations, Methodology, Case Studies: 33 (Trends in Logic, 33)

Automated Reasoning: 10th International Joint Conference, IJCAR 2020, Paris, France, July 1–4, 2020, Proceedings, Part II: 12167 (Lecture Notes in Computer Science, 12167)

Applied Logic: How, What and Why: Logical Approaches to Natural Language: 247 (Synthese Library, 247)

Reasoning: Studies of Human Inference and its Foundations

J. Michael Dunn on Information Based Logics: 8 (Outstanding Contributions to Logic, 8)

Computational Logic and Human Thinking: How to Be Artificially Intelligent

Rules and Reasoning: 6th International Joint Conference on Rules and Reasoning, RuleML+RR 2022, Berlin, Germany, September 26–28, 2022, Proceedings: 13752 (Lecture Notes in Computer Science, 13752)

The Elements of Formal Logic: 12 (Routledge Library Editions: Logic)

Logical Studies of Paraconsistent Reasoning in Science and Mathematics: 45 (Trends in Logic, 45)

The Collected Works of Larry Wos: Applying Automated Reasoning to Puzzles, Problems, and Open Questions Vol 1

An Introduction to Non-Classical Logic: From If to Is (Cambridge Introductions to Philosophy)

Optimization Methods for Logical Inference: 34 (Wiley Series in Discrete Mathematics and Optimization)

For the Sake of the Argument: Ramsey Test Conditionals, Inductive Inference and Nonmonotonic Reasoning