| Title |
|
|
|
A knowledge representation perspective : logics for paraconsistent reasoning
|
|
| Author |
|
|
|
|
|
| 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. | |
|
| Language |
|
|
|
English
|
|
| Source (journal) |
|
|
|
International journal of intelligent systems. - New York |
|
| Publication |
|
|
|
New York : 1994
|
|
| ISSN |
|
|
|
0884-8173
|
|
| Volume/pages |
|
|
|
9:1(1994), p. 153-168
|
|
| ISI |
|
|
|
A1994MN57600009
|
|
| Full text (Publisher's DOI) |
|
|
| |
|