Partiality, Modality and Nonmonotonicity

Partiality, Modality and Nonmonotonicity

by Patrick Doherty
Partiality, Modality and Nonmonotonicity

Partiality, Modality and Nonmonotonicity

by Patrick Doherty

eBook

$16.00 

Available on Compatible NOOK Devices and the free NOOK Apps.
WANT A NOOK?  Explore Now

Related collections and offers

LEND ME® See Details

Overview

This edited volume of articles provides a state-of-the-art description of research in logic-based approaches to knowledge representation which combines 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, multi-valued logics, use of modal logic to model partiality and resource-limited inference, and an integration of partial and modal logics. The case studies section 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.

Product Details

ISBN-13: 9781684000067
Publisher: CSLI
Publication date: 01/15/2017
Series: Studies in Logic, Language, and Information
Sold by: Barnes & Noble
Format: eBook
Pages: 300
File size: 6 MB

Table of Contents

Contributors
Preface
Part I: Foundations
1. How Different is Partial Logic?
[I]Tore Langholm[I]
2. Sequent Formalizations of Three-Valued Logic
[I]Douglas Busch[I]
3. Modalities for Reasoning about Knowledge and Uncertainties
[I]Wiebe van der Hoek and John-Jules Meyer[I]
4. Fundamentals of Partial Modal Logic
[I]Jan Jaspars and Elias Thijsse[I]
Part II: Case Studies
5. A Study in Modal Embeddings of NML3
[I]Patrick Doherty and Witold Lukaszewicz[I]
6. A Model-based Approach to Predictive Causal Reasoning
[I]John Bell[I]
7. Partial Semantics for Truth Maintenance
[I]Cees Witteveen[I]
8. Combining Partial and Classical Semantics. A Hybrid Approach to Belief and Awareness
[I]Elias Thijsse[I]
9. Autoepistemic Logic as a Basis for Automating Nonmonotonic Reasoning
[I]Ilkka Niemelä[I]
Name Index
Subject Index
From the B&N Reads Blog

Customer Reviews