Some Results on Default Logic

被引：0

作者：

张明义

机构：

来源：

Journal of Computer Science and Technology | 1994年 / 03期

关键词：

Default theory; extension; compatible subset of defaults; auto-compatible default theory;

D O I：

暂无

中图分类号：

TP18 [人工智能理论];

学科分类号：

081104 ; 0812 ; 0835 ; 1405 ;

摘要：

In the previous paper, some important properties of extensions of general default theories were given. In order to further explore default logic, a characterization of extensions is presented. And a class of defaults, so-called Auto-compatible Default Theory, is also iotroduced. All these essentially develop the theories of Reiter and his followers.

引用

页码：267 / 274

页数：8