Title
A knowledge representation perspective : logics for paraconsistent reasoning A knowledge representation perspective : logics for paraconsistent reasoning
Author
Faculty/Department
Faculty of Sciences. Mathematics and Computer Science
Publication type
article
Publication
New York ,
Subject
Computer. Automation
Source (journal)
International journal of intelligent systems. - New York
Volume/pages
9(1994) :1 , p. 153-168
ISSN
0884-8173
ISI
A1994MN57600009
Carrier
E
Target language
English (eng)
Full text (Publishers DOI)
Abstract
Paraconsistent logics are examined as an approach to knowledge representation devoted to the formalization of reasoning in the presence of contradictions. The adequacy of paraconsistent logics in such a perspective is described both on a general level and on a more specific level: discussion involves representative examples as well as special features (in the form of logical principles) of some significant paraconsistent logics. There is also a comparison of the paraconsistent logics approach with two alternative approaches, namely belief revision and non-monotonic logics. (C) 1994 John Wiley and Sons, Inc.
E-info
http://gateway.webofknowledge.com/gateway/Gateway.cgi?GWVersion=2&SrcApp=PARTNER_APP&SrcAuth=LinksAMR&KeyUT=WOS:A1994MN57600009&DestLinkType=RelatedRecords&DestApp=ALL_WOS&UsrCustomerID=ef845e08c439e550330acc77c7d2d848
http://gateway.webofknowledge.com/gateway/Gateway.cgi?GWVersion=2&SrcApp=PARTNER_APP&SrcAuth=LinksAMR&KeyUT=WOS:A1994MN57600009&DestLinkType=FullRecord&DestApp=ALL_WOS&UsrCustomerID=ef845e08c439e550330acc77c7d2d848
http://gateway.webofknowledge.com/gateway/Gateway.cgi?GWVersion=2&SrcApp=PARTNER_APP&SrcAuth=LinksAMR&KeyUT=WOS:A1994MN57600009&DestLinkType=CitingArticles&DestApp=ALL_WOS&UsrCustomerID=ef845e08c439e550330acc77c7d2d848