CSLI Publications logo
new books
catalog
series
knuth books
contact
for authors
order
search
CSLI Publications
Facebook CSLI Publications RSS feed
CSLI Publications Newsletter Signup Button
 
Partiality, Modality and Nonmonotonicity cover

Partiality, Modality and Nonmonotonicity

edited by Patrick Doherty

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.

Contents

  • 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

ISBN (Paperback): 1575860309 (9781575860305)
ISBN (Cloth): 1575860317 (9781575860312)
ISBN (Electronic): 1684000068 (9781684000067)
Subject: Logic; Modality; Commonsense Reasoning

Add to Cart
View Cart

Check Out

Distributed by the
University of
Chicago Press

pubs @ csli.stanford.edu