Defaults as generalized quantifiers

被引：26
|
作者：
Schlechta, K [1 ]
机构：
[1] UNIV AIX MARSEILLE 1,URA CNRS 1787,LAB INFORMAT MARSEILLE,F-13331 MARSEILLE 3,FRANCE
来源：
JOURNAL OF LOGIC AND COMPUTATION | 1995年 / 5卷 / 04期
关键词：
defaults; non-monotonic reasoning; generalized quantifiers;
D O I：
10.1093/logcom/5.4.473
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
We interpret (open normal) defaults as generalized first-order logic-quantifiers, and give a semantics and a corresponding sound and complete axiom system Nested and negated defaults are admissible and have a clear meaning. Moreover, the logic provides a notion of consistency for default theories, which is used for a theory revision approach in an order-sorted language.
引用
收藏
页码：473 / 494
页数：22
相关论文
共 50 条
12345