书目名称 | The Logic of Theory Change |
副标题 | Workshop, Konstanz, |
编辑 | André Fuhrmann,Michael Morreau |
视频video | |
丛书名称 | Lecture Notes in Computer Science |
图书封面 |  |
描述 | The logic of theory change, or the theory of belief revision, is a growing area of research in artificial intelligence. The papers in this volume, mostly arising from a workshop held in Konstanz in October 1989, chart out the current state of research in this area and indicate the directions of future research. Connections to other areas of AI research are emphasized throughout the book. All the contributions are original research papers and most of them are self-contained, so that the collection will be of interest not only to researchers but also to all those who seek an introduction to the state of the art in this area. The fourteen contributions are organized into five sections: - Foundations - Models of theory change - The Ramsey test for conditionals - Theory change and nonmonotonic reasoning - Reformulations and extensions. |
出版日期 | Conference proceedings 1991 |
关键词 | Argumentation; Belief; Datenbank; Extension; Knowledge representation; Logik; Nichtmonotone Logik; Non-mono |
版次 | 1 |
doi | https://doi.org/10.1007/BFb0018413 |
isbn_softcover | 978-3-540-53567-6 |
isbn_ebook | 978-3-540-46817-2Series ISSN 0302-9743 Series E-ISSN 1611-3349 |
issn_series | 0302-9743 |
copyright | Springer-Verlag Berlin Heidelberg 1991 |