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.
Patrick Doherty is an associate professor of Computer Science, Linköping University.
- Contributors
- Preface
- Part I Foundations
- 1 How Different is Partial Logic?
Tore Langholme
- 2 Sequent Formalizations of Three-Valued Logic
Douglas Busch
- 3 Modalities for Reasoning about Knowledge and Uncertanties
Wiebe van der Hoekand John-Jules Meyer
- 4 Fundamentals of Partial Modal Logic
Jan Jaspars and Elias Thijsse
- Part II Case Studies
- 5 A Study in Modal Embeddings of NML3
Patrick Doherty and Witold Lukaszewicz
- 6 A Modal-based Approach to Predicative Casual Reasoning
John Bell
- 7 Partial Semantics for Truth Maintenance
Cees Witteveen
- 8 Combining Partial and Classical Semantics. A Hybrid Approach to Belief and Awareness
Elias Thijsse
- 9 Autoepistemic Logic as a Basis for Automating Nonmonotonic Reasoning
Ilkka Niemelä
- Name Index
- Subject Index
3/20/96