Reasoning is an integral part of intelligent systems in fields like databases, logic programming, robotics, knowledge engineering, human/computer interfaces, programming environments, etc. In reality any such system has to cope with a changing world and its dynamics. Hence it is of great importance that reasoning must account for coping with change in order to be truly useful in practice. The book comprises several contributions to current ways of approaching this problem. On the one hand it surveys and synthesizes recent research work, while on the other hand new research results are included. Among the topics treated are logics for reasoning about actions and planning, belief revision and the reconciliation of logically conflicting inputs, resolving of conflicts by merging of knowledge and issues in the evolution in object-oriented databases. The book is aimed at the researcher and advanced student active in this field.
FREE Two-Day Shipping for Students. Learn more |
Book Description
Special Offers and Product Promotions
- Buy $50 in qualifying physical textbooks, get $5 in Amazon MP3 Credit. Here's how (restrictions apply)
Product Details
Would you like to update product info or give feedback on images?
|
Customer Reviews
|
There are no customer reviews yet.
|
|||
|
Video reviews
|
Inside This Book
(learn more)
First Sentence:
After making precise what we mean and do not mean by "the frame problem" and discussing some recent approaches, we summarize the main features of the solution offered by rewriting logic. Read the first page Key Phrases - Statistically Improbable Phrases (SIPs): (learn more)
population predicate, retracted sentences, compromise revision, rewriting logic, unique answer set, most specific classes, entailment systems, new policy holders, declarative units, labelled databases, revised base, compromise consequences, knowledge merging, revision postulates, rewrite theory, structural axioms, conservative map, horn logic, revision function, direct membership, rewrite theories, disjunctive logic programs, compromise case, object migration, predicate classes Key Phrases - Capitalized Phrases (CAPs): (learn more)
Computer Science, Bankruptcy Office, Swiss Life, State State, International Conference, Kluwer Academic Publishers, Cambridge University Press, Labelled Deductive Systems, Jon Barwise, Debt Collection Office, Department of Computing, Imperial College, Lecture Notes, Prop Prop, The Robot's Dilemma, Indiana University, Making Inconsistency Respectable, New Generation Computing, Oxford University Press, Patrick Hayes, Principles of Database Systems, Ablex Publishing Corp, Computational Intelligence, Edinburgh University Press, Let Merge New!
Books on Related Topics | Concordance | Text Stats Browse Sample Pages:
Front Cover | Table of Contents | First Pages | Back Cover | Surprise Me!
After making precise what we mean and do not mean by "the frame problem" and discussing some recent approaches, we summarize the main features of the solution offered by rewriting logic. Read the first page Key Phrases - Statistically Improbable Phrases (SIPs): (learn more)
population predicate, retracted sentences, compromise revision, rewriting logic, unique answer set, most specific classes, entailment systems, new policy holders, declarative units, labelled databases, revised base, compromise consequences, knowledge merging, revision postulates, rewrite theory, structural axioms, conservative map, horn logic, revision function, direct membership, rewrite theories, disjunctive logic programs, compromise case, object migration, predicate classes Key Phrases - Capitalized Phrases (CAPs): (learn more)
Computer Science, Bankruptcy Office, Swiss Life, State State, International Conference, Kluwer Academic Publishers, Cambridge University Press, Labelled Deductive Systems, Jon Barwise, Debt Collection Office, Department of Computing, Imperial College, Lecture Notes, Prop Prop, The Robot's Dilemma, Indiana University, Making Inconsistency Respectable, New Generation Computing, Oxford University Press, Patrick Hayes, Principles of Database Systems, Ablex Publishing Corp, Computational Intelligence, Edinburgh University Press, Let Merge New!
Books on Related Topics | Concordance | Text Stats Browse Sample Pages:
Front Cover | Table of Contents | First Pages | Back Cover | Surprise Me!
Citations (learn more)
This book cites 45
books:
See all 45 books this book cites
6
books
cite this book:
See all 6 books citing this book
- Machine Intelligence by B. Meltzer on page 52, page 108, and Back Matter
- Artificl Intell Instructrs Manual Tx by Author Unknown on page 51, page 53, and page 72
- Reasoning About Knowledge by Ronald Fagin on page 192, and page 217
- Reasoning and Revision in Hybrid Representation Systems (Lecture Notes in Computer Science) by Bernhard Nebel on page 193, and Back Matter
- Knowledge Representation (Special Issues of Artificial Intelligence) by Ronald J. Brachman on page 51, and page 218
See all 45 books this book cites
- Symbolic and Quantitative Approaches to Reasoning with Uncertainty: 7th European Conference, ECSQARU 2003, Aalborg, Denmark, July 2-5, 2003. ... / Lecture Notes in Artificial Intelligence) by Thomas D. Nielsen on page 500
- Handbook of Philosophical Logic: Volume 9 by Dov M. Gabbay on page 85
- Database Integrity: Challenges and Solutions by Laura C. Rivero on page 201
- Effective Databases for Text & Document Management by Shirley Becker on page 359
- Computational Logic (NATO ASI Series / Computer and Systems Sciences) by Ulrich Berger on page 395
See all 6 books citing this book
Books on Related Topics
(learn more)
|
Tag this product(What's this?)Think of a tag as a keyword or label you consider is strongly related to this product.
Tags will help all customers organize and find favorite items. |
Sell a Digital Version of This Book in the Kindle Store
If you are a publisher or author and hold the digital rights to a book, you can sell a digital version of it in our Kindle Store.
Learn more
Customer Discussions
|
This product's forum
Active discussions in related forums
Search Customer Discussions
|
Related forums
|
Listmania!
So You'd Like to...
Look for Similar Items by Category
- Books > Business & Investing > Industries & Professions > MIS
- Books > Computers & Technology > Business & Culture > Manager's Guides to Computing
- Books > Computers & Technology > Computer Science > Artificial Intelligence
- Books > Computers & Technology > Computer Science > Information Theory
- Books > Computers & Technology > Computer Science > Software Engineering > Information Systems
- Books > New & Used Textbooks > Business & Finance
- Books > New & Used Textbooks > Computer Science > Artificial Intelligence
- Books > New & Used Textbooks > Humanities > Philosophy > Logic
- Books > Politics & Social Sciences > Philosophy
