|
![]() |
|||
|
||||
OverviewReasoning 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. Full Product DetailsAuthor: Remo Pareschi , Bertram FronhöferPublisher: Springer Imprint: Springer Edition: Softcover reprint of hardcover 1st ed. 1999 Volume: 12 Dimensions: Width: 15.50cm , Height: 1.50cm , Length: 23.50cm Weight: 0.462kg ISBN: 9789048151592ISBN 10: 9048151597 Pages: 283 Publication Date: 15 December 2010 Audience: Professional and scholarly , Professional & Vocational Format: Paperback Publisher's Status: Active Availability: Out of stock ![]() The supplier is temporarily out of stock of this item. It will be ordered for you on backorder and shipped when it becomes available. Table of ContentsAction and Change in Rewriting Logic.- Heterogeneous Systems for Modeling Dynamic Worlds.- Reasoning about Actual and Hypothetical Occurrences of Concurrent and Non-Deterministic Actions.- Compromise Update and Revision: A Position Paper.- A Compromise Revision Model for Reconciling Updates.- Knowledge Base Merging by Majority.- Object Evolution in Object Databases.- Making Knowledge-Based Systems more Manageable: A Hybrid Integration Approach to Knowledge about Actions and their Legality.ReviewsAuthor InformationTab Content 6Author Website:Countries AvailableAll regions |