Skip to main content
SpringerLink
Log in
Book cover
  • Book
  • © 2010

Revision, Acceptability and Context

Theoretical and Algorithmic Aspects

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)

Sections

Buy it now

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

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

Table of contents (9 chapters)

  1. Front Matter

    Pages i-x
    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
    PDF
Back to top

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.
Back to top

Keywords

Back to top

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

Back to top

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

Back to top

Publish with us

Policies and ethics

Back to top
Access via your institution

Buy it now

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

Search

Navigation