Reasoning with Actual and Potential Contradictions

Dov M. Gabbay, Philippe Smets (Herausgeber)

Buch | Softcover

333 Seiten

2010 | Softcover reprint of the original 1st ed. 1998
Springer (Verlag)
978-90-481-5063-2 (ISBN)

Artikel merken

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.

to Actual and Potential Contradictions.- Paraconsistent Logics.- Modal Logics for Representing Incoherent Knowledge.- The Family of Default Logics.- Conditional Logics for Defeasible Reasoning.- Defeasible Logics.- Necessary Conditions for Negation-Operators (with Particular Applications to Paraconsistent Negation).- A Survey of Paraconsistent Semantics for Logic Programs.- Table of Contents to Volume 1.- Table of Contents to Volume 3.

Erscheint lt. Verlag	8.12.2010
Reihe/Serie	Handbook of Defeasible Reasoning and Uncertainty Management Systems ; 2
Zusatzinfo	VII, 333 p.
Verlagsort	Dordrecht
Sprache	englisch
Maße	155 x 235 mm
Themenwelt	Geisteswissenschaften ► Philosophie ► Allgemeines / Lexika
	Geisteswissenschaften ► Philosophie ► Logik
	Informatik ► Theorie / Studium ► Künstliche Intelligenz / Robotik
	Mathematik / Informatik ► Mathematik ► Allgemeines / Lexika
	Mathematik / Informatik ► Mathematik ► Logik / Mengenlehre
ISBN-10	90-481-5063-9 / 9048150639
ISBN-13	978-90-481-5063-2 / 9789048150632
Zustand	Neuware