|
|
|||
|
||||
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 should be of interest to students, researchers and practitioners in artificial intelligence, software engineering, logic, language and philosophy. Full Product DetailsAuthor: Dov M. Gabbay , Philippe SmetsPublisher: Kluwer Academic Publishers Imprint: Kluwer Academic Publishers Edition: 1998 ed. Volume: 2 Dimensions: Width: 15.60cm , Height: 2.00cm , Length: 23.40cm Weight: 1.470kg ISBN: 9780792351610ISBN 10: 0792351614 Pages: 333 Publication Date: 31 October 1998 Audience: Professional and scholarly , General/trade , Professional & Vocational Format: Hardback Publisher's Status: Active Availability: In Print This item will be ordered in for you from one of our suppliers. Upon receipt, we will promptly dispatch it out to you. For in store availability, please contact us. 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 |
||||