书目名称 | Dynamic Worlds | 副标题 | From the Frame Probl | 编辑 | Remo Pareschi,Bertram Fronhöfer | 视频video | | 丛书名称 | Applied Logic Series | 图书封面 |  | 描述 | Reasoning is an integral part of intelligent systems in fieldslike databases, logic programming, robotics, knowledge engineering,human/computer interfaces, programming environments, etc. In realityany such system has to cope with a changing world and its dynamics.Hence it is of great importance that reasoning must account for copingwith change in order to be truly useful in practice. .The book comprises several contributions to current ways ofapproaching this problem. On the one hand it surveys and synthesizesrecent research work, while on the other hand new research results areincluded. Among the topics treated are logics for reasoning aboutactions and planning, belief revision and the reconciliation oflogically conflicting inputs, resolving of conflicts by merging ofknowledge and issues in the evolution in object-oriented databases..The book is aimed at the researcher and advanced student active inthis field. | 出版日期 | Book 1999 | 关键词 | intelligent systems; knowledge base; knowledge engineering; knowledge management; logic; programming; robo | 版次 | 1 | doi | https://doi.org/10.1007/978-94-017-1317-7 | isbn_softcover | 978-90-481-5159-2 | isbn_ebook | 978-94-017-1317-7Series ISSN 1386-2790 | issn_series | 1386-2790 | copyright | Springer Science+Business Media Dordrecht 1999 |
The information of publication is updating
|
|