|
|
|||
|
||||
OverviewThis volume deals with approaches to handling contradictory information. These include approaches for actual contradiction - both A and not-A can be proven from the information - and approaches for potential contradiction - where the information may contain arguments for A and arguments for not-A, but the system suppresses the contradiction by, for example, preferring some arguments over others. Approaches covered include paraconsistent logics, modal logics, default logics, conditional logics, defeasible logics and paraconsistent semantics for logic programming. The volume is of interest to students, researchers and practitioners in artificial intelligence, software engineering, logic, language and philosophy. This volume is the first handbook to give a comprehensive coverage of handling contradictory information. Full Product DetailsAuthor: Dov M. Gabbay , Philippe SmetsPublisher: Springer Imprint: Springer Edition: Softcover reprint of the original 1st ed. 1998 Volume: 2 Dimensions: Width: 15.50cm , Height: 1.80cm , Length: 23.50cm Weight: 0.528kg ISBN: 9789048150632ISBN 10: 9048150639 Pages: 333 Publication Date: 08 December 2010 Audience: Professional and scholarly , Professional & Vocational Format: Paperback Publisher's Status: Active Availability: Out of stock The supplier is temporarily out of stock of this item. It will be ordered for you on backorder and shipped when it becomes available. Table of Contentsto 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.ReviewsAuthor InformationTab Content 6Author Website:Countries AvailableAll regions |
||||