Wyniki wyszukiwania:

This book explains how the logic of theory change employs formal models in the investigation of changes in belief states and databases. The topics covered include equivalent characterizations of AGM operations, extended representations of the belief states, change operators not included in the original framework, iterated change, applications of the model, its connections with other formal frameworks, and criticism of the model.

This book constitutes the proceedings of the 14th European Conference on Logics in Artificial Intelligence, JELIA 2014, held in Funchal, Madeira, Portugal, in September 2014. The 35 full papers and 14 short papers included in this volume were carefully reviewed and selected from 121 submissions. They are organized in topical sections named: description logics; automated reasoning; logics for uncertain reasoning; non-classical logics; answer-set programming; belief revision; dealing with inconsistency in ASP and DL; reason about actions and causality; system descriptions; short system...

Trends in Belief Revision and Argumentation Dynamics contains a collection of original essays on diverse aspects where these two areas of research converge. The essays are the result of the synergistic interactions that took place during the 2012 Workshop on Belief Revision and Argumentation in Funchal, Madeira. The Island of Madeira provided a stimulating environment for the presentation of research results and the subsequent lively discussions held. The dynamic exchange of ideas contributed to refining the approaches and to discovering new insights that undoubtedly will positively affect...