REVISION, ACCEPTABILITY AND CONTEXT: THEORETICAL AND ALGORITHMIC ASPECTS (Cognitive Technologies)

Book Details

• Author: Dov M. Gabbay

• Publisher: Springer

• Binding: Hardcover

• Number of Pages: 386

• Release Date: 08-08-2010

• ISBN: 9783642141584

• Package Dimensions: 9.2 x 6.1 x 1.0 inches

• Languages: English

About The Book
"Belief Revision: A Logical Perspective" delves into the formalization of common-sense reasoning and focuses on the discipline of belief revision, which helps agents refine their model of the world in a rational manner. This is crucial for handling incomplete or inaccurate models and updating them as new information becomes available.

The book introduces three key concepts central to belief revision:

1. Logic by Translation: This methodology revises beliefs by translating them into well-understood logical systems, usually classic logic, to manage inconsistencies and revisions.

2. Meta-Level/Object-Level Movement: The book explores how operations that are defined at a meta-level can be effectively brought into the object level, enhancing the process of revision.

3. Labelled Deductive Systems: These systems are used to fine-tune revisions, with algorithms demonstrating the practical applications of the theory.

The book is designed for researchers, graduate students, and professionals in fields such as artificial intelligence, database theory, and logic. It provides a systematic and logical framework for belief revision, using formal methodologies and algorithmic techniques to refine an agent's understanding and reasoning process.