Non-monotonic Reasoning and Partial Semantics

Wiebe Hoek, Wiebe van der Hoek

Ellis Horwood, 1992 - Computers - 238 pages

Stressing partial and multiple-valued approaches to non-monotonic logic, this volume demonstrates how major problems can be overcome. It proposes a simple modal framework in which non-monotonic reasoning is captured in a dynamic setting.

Contents

• Distinguishing Between Facts: 1
• Default Reasoning and Dynamic Interpretation: 21
• A Modal Logic for Nonmonotonic Reasoning: 37
• Reasoning with Partial Models: 79
• BMSa MetaLevel Approach to Nonmonotonic: 107
• Nonmonotonicity and Partiality: 157
• Vivid Reasoning with Negative Information: 181
• Skeptical Belief Revision is Tractable: 207
• Index: 235

Bibliographic information

• Title: Non-monotonic Reasoning and Partial Semantics; Ellis Horwood series in artificial intelligence; Ellis Horwood series in workshops
• Editors: Wiebe Hoek, Wiebe van der Hoek
• Publisher: Ellis Horwood, 1992
• Original from: the University of Michigan
• Digitized: Nov 15, 2007
• ISBN: 0136251463, 9780136251460
• Length: 238 pages
• Subjects: Computers / Artificial Intelligence / General; Mathematics / Logic; Philosophy / General; Philosophy / Language