INCONSISTENCIES HANDLING - NONMONOTONIC AND PARACONSISTENT REASONING

被引：0

作者：

SEFRANEK, J ^{[1
]}

机构：

[1] COMENIUS UNIV, FAC MATH & PHYS, INST COMP SCI, CS-84243 BRATISLAVA, CZECHOSLOVAKIA

来源：

LECTURE NOTES IN ARTIFICIAL INTELLIGENCE | 1991年 / 535卷

关键词：

D O I：

暂无

中图分类号：

TP18 [人工智能理论];

学科分类号：

081104 ; 0812 ; 0835 ; 1405 ;

摘要：

A characterization of non-monotonic reasoning is given. Not-sound inference operator using, consistency maintaining and belief revision as key features of non-monotonic reasoning are discussed. A problem of inconsistencies handling leads to another approach interesting in our context, it is based on paraconsistent inference.

引用

页码：214 / 219

页数：6