Reasoning with Actual and Potential Contradictions

This document was uploaded by one of our users. The uploader already confirmed that they had the permission to publish it. If you are author/publisher or own the copyright of this documents, please report to us by using this DMCA report form.

Simply click on the Download Book button.

Yes, Book downloads on Ebookily are 100% Free.

Sometimes the book is free on Amazon As well, so go ahead and hit "Search on Amazon"

We are happy to present the second volume of the Handbook of Defeasible Reasoning and Uncertainty Management Systems. Uncertainty pervades the real world and must therefore be addressed by every system that attempts to represent reality. The representation of un­ certainty is a major concern of philosophers, logicians, artificial intelligence researchers and computer sciencists, psychologists, statisticians, economists and engineers. The present Handbook volumes provide frontline coverage of this area. This Handbook was produced in the style of previous handbook series like the Handbook of Philosophical Logic, the Handbook of Logic in Computer Science, the Handbook of Logic in Artificial Intelligence and Logic Programming, and can be seen as a companion to them in covering the wide applications of logic and reasoning. We hope it will answer the needs for adequate representations of uncertainty. This Handbook series grew out of the ESPRIT Basic Research Project DRUMS II, where the acronym is made out of the Handbook series title. This project was financially supported by the European Union and regroups 20 major European research teams working in the general domain of uncer­ tainty. As a fringe benefit of the DRUMS project, the research community was able to create this Handbook series, relying on the DRUMS partici­ pants as the core of the authors for the Handbook together with external international experts.

Author(s): Philippe Besnard, Anthony Hunter (auth.), Philippe Besnard, Anthony Hunter (eds.)
Series: Handbook of Defeasible Reasoning and Uncertainty Management Systems 2
Edition: 1
Publisher: Springer Netherlands
Year: 1998

Language: English
Pages: 333
Tags: Logic; Artificial Intelligence (incl. Robotics); Mathematical Logic and Foundations

Front Matter....Pages i-vii
Introduction to Actual and Potential Contradictions....Pages 1-9
Paraconsistent Logics....Pages 11-36
Modal Logics for Representing Incoherent Knowledge....Pages 37-75
The Family of Default Logics....Pages 77-133
Conditional Logics for Defeasible Reasoning....Pages 135-173
Defeasible Logics....Pages 175-210
Necessary Conditions for Negation-Operators (with Particular Applications to Paraconsistent Negation)....Pages 211-239
A Survey of Paraconsistent Semantics for Logic Programs....Pages 241-320
Back Matter....Pages 321-333