Publisher's Synopsis
Based on the proceedings of the 1st International Workshop on Non-Monotonic Reasoning and Partial Semantics, held at the Free University of Amsterdam, this book emphasizes partial and multiple-valued approaches to non-monotonic logic, and shows how major problems can be overcome using these methods.;It distinguishes between facts and default assumptions via explicit default operators; explains how information states change when (new) sentences are being uttered - "update semantics"; proposes a simple modal framework in which non-monotonic reasoning is captured in a monotonic - albeit dynamic - setting; looks at computational aspects of belief revision and uses skeptical (three-valued) semantics for non-monotonic truth maintenance; discusses a meta-level approach to non-monotonic reasoning which is based on partial logic and in which object-and meta-level are carefully distinguished, and adds a negation operator (to represent explicit negative information) to logic programming, enabling the reader to distinguish between exact and inexact predicates, which provide a capability of reasoning with empirical domains.
