This edited volume of articles provides a state of the art description of research logic based in logic based approaches to reasoning with incomplete information that include partial, modal, and nonmonotonic logics. The collection contains two parts: foundations and case studies. The foundations section provides a general overview of partiality and resouce-limited inference, and an integration of partial and modal logics.
The case studiessection provides specific studies of issues raised in the foundations section. Several of the case studies integrate modal and partial modal logics with nonmonotonic logics. Both theoretical and practical aspects of such integration are considered. Knowledge representation issues such as default reasoning, theories of action and change, reason maintenance, awareness, and automation of nonmonotonic reasoning are covered.
is an associate professor of Computer Science, Linköping University.
- Part I Foundations
- 1 How Different is Partial Logic?
- 2 Sequent Formalizations of Three-Valued Logic
- 3 Modalities for Reasoning about Knowledge and Uncertanties
- 4 Fundamentals of Partial Modal Logic
- Part II Case Studies
- 5 A Study in Modal Embeddings of NML3
- 6 A Modal-based Approach to Predicative Casual Reasoning
- 7 Partial Semantics for Truth Maintenance
- 8 Combining Partial and Classical Semantics. A Hybrid Approach to Belief and Awareness
- 9 Autoepistemic Logic as a Basis for Automating Nonmonotonic Reasoning
- Name Index
- Subject Index