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 条
  • [31] SYNTACTICAL AND SEMANTICAL PROPERTIES OF GENERALIZED QUANTIFIERS
    YASUHARA, M
    JOURNAL OF SYMBOLIC LOGIC, 1966, 31 (04) : 617 - +
  • [32] An Implementation of a Query Language with Generalized Quantifiers
    Badia, Antonio
    Debes, Brandon
    Cao, Bin
    Conceptual Modeling - ER 2008, Proceedings, 2008, 5231 : 547 - 548
  • [33] Modular logic programming and generalized quantifiers
    Eiter, T
    Gottlob, G
    Veith, H
    LOGIC PROGRAMMING AND NONMONOTONIC REASONING, 1997, 1265 : 289 - 308
  • [34] Independent Set Readings and Generalized Quantifiers
    Robaldo, Livio
    JOURNAL OF PHILOSOPHICAL LOGIC, 2010, 39 (01) : 23 - 58
  • [35] REGULAR LANGUAGES DEFINED WITH GENERALIZED QUANTIFIERS
    STRAUBING, H
    THERIEN, D
    THOMAS, W
    LECTURE NOTES IN COMPUTER SCIENCE, 1988, 317 : 561 - 575
  • [36] Independent Set Readings and Generalized Quantifiers
    Livio Robaldo
    Journal of Philosophical Logic, 2010, 39 : 23 - 58
  • [37] Frontal and parietal contribution to generalized quantifiers
    McMillan, CT
    Clark, R
    Moore, P
    DeVita, C
    Grossman, M
    JOURNAL OF COGNITIVE NEUROSCIENCE, 2002, : 108 - 108
  • [38] Generalized Quantifiers and Fisrt order logic
    Frigerio, Aldo
    EPISTEMOLOGIA, 2007, 30 (02): : 211 - 233
  • [39] On the relation between fuzzy and generalized quantifiers
    Dolores Ruiz, M.
    Sanchez, Daniel
    Delgado, Miguel
    FUZZY SETS AND SYSTEMS, 2016, 294 : 125 - 135
  • [40] On Modeling of Generalized Syllogisms with Intermediate Quantifiers
    Murinova, Petra
    FUZZY TECHNIQUES: THEORY AND APPLICATIONS, 2019, 1000 : 394 - 405
12345