Skip to main content
SpringerLink
Log in
Book cover

Revision, Acceptability and Context

Theoretical and Algorithmic Aspects

  • Book
  • © 2010

Overview

Authors:
  1. Dov M. Gabbay

    1. Dept. Computer Science, King's College London, London, United Kingdom

    View author publications

    You can also search for this author in PubMed   Google Scholar

  2. Odinaldo T. Rodrigues

    1. Dept. Computer Science, King's College London, London, United Kingdom

    View author publications

    You can also search for this author in PubMed   Google Scholar

  3. Alessandra Russo

    1. Dept. Computing, Imperial College London, London, United Kingdom

    View author publications

    You can also search for this author in PubMed   Google Scholar

  • 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 algorithms
  • Includes supplementary material: sn.pub/extras

Part of the book series: Cognitive Technologies (COGTECH)

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 129.00
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 169.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info
Hardcover Book USD 169.99
Price excludes VAT (USA)
  • Durable hardcover edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (9 chapters)

  1. Front Matter

    Pages i-x
    Download chapter PDF

  2. Background and Overview

    • Dov M. Gabbay, Odinaldo T. Rodrigues, Alessandra Russo
    Pages 1-12

  3. Introducing Revision Theory

    • Dov M. Gabbay, Odinaldo T. Rodrigues, Alessandra Russo
    Pages 13-54

  4. Stepwise Revision Operations

    • Dov M. Gabbay, Odinaldo T. Rodrigues, Alessandra Russo
    Pages 55-103

  5. Iterating Revision

    • Dov M. Gabbay, Odinaldo T. Rodrigues, Alessandra Russo
    Pages 105-137

  6. Structured Revision: Non-linear Methods for Information Change

    • Dov M. Gabbay, Odinaldo T. Rodrigues, Alessandra Russo
    Pages 139-176

  7. Algorithmic Context Revision

    • Dov M. Gabbay, Odinaldo T. Rodrigues, Alessandra Russo
    Pages 177-222

  8. Revision by Translation

    • Dov M. Gabbay, Odinaldo T. Rodrigues, Alessandra Russo
    Pages 223-270

  9. Object-Level Deletion

    • Dov M. Gabbay, Odinaldo T. Rodrigues, Alessandra Russo
    Pages 271-358

  10. Conclusions and Discussions

    • Dov M. Gabbay, Odinaldo T. Rodrigues, Alessandra Russo
    Pages 359-375

  11. Back Matter

    Pages 377-385
    Download chapter PDF
Back to top

Keywords

About this book

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.

Authors and Affiliations

  • Dept. Computer Science, King's College London, London, United Kingdom

    Dov M. Gabbay, Odinaldo T. Rodrigues

  • Dept. Computing, Imperial College London, London, United Kingdom

    Alessandra Russo

Bibliographic Information

  • Book Title: Revision, Acceptability and Context

  • Book Subtitle: Theoretical and Algorithmic Aspects

  • Authors: Dov M. Gabbay, Odinaldo T. Rodrigues, Alessandra Russo

  • Series Title: Cognitive Technologies

  • DOI: https://doi.org/10.1007/978-3-642-14159-1

  • Publisher: Springer Berlin, Heidelberg

  • eBook Packages: Computer Science, Computer Science (R0)

  • Copyright Information: Springer-Verlag Berlin Heidelberg 2010

  • Hardcover ISBN: 978-3-642-14158-4Published: 08 August 2010

  • Softcover ISBN: 978-3-642-26430-6Published: 13 October 2012

  • eBook ISBN: 978-3-642-14159-1Published: 03 August 2010

  • Series ISSN: 1611-2482

  • Series E-ISSN: 2197-6635

  • Edition Number: 1

  • Number of Pages: X, 386

  • Number of Illustrations: 45 b/w illustrations

  • Topics: Artificial Intelligence, Database Management

Publish with us

Policies and ethics

Back to top

Search

Navigation