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 条
  • [41] NEW AXIOMATIZATIONS FOR LOGICS WITH GENERALIZED QUANTIFIERS
    HARNIK, V
    MAKKAI, M
    ISRAEL JOURNAL OF MATHEMATICS, 1979, 32 (2-3) : 257 - 281
  • [42] Generalized quantifiers in formal concept analysis
    Cornejo, M. Eugenia
    Diaz-Moreno, Juan Carlos
    Medina, Jesus
    JOURNAL OF COMPUTATIONAL AND APPLIED MATHEMATICS, 2022, 404
  • [43] Logical Inferences with Comparatives and Generalized Quantifiers
    Haruta, Izumi
    Mineshima, Koji
    Bekki, Daisuke
    58TH ANNUAL MEETING OF THE ASSOCIATION FOR COMPUTATIONAL LINGUISTICS (ACL 2020): STUDENT RESEARCH WORKSHOP, 2020, : 263 - 270
  • [44] GENERALIZED QUANTIFIERS AND NATURAL-LANGUAGE
    BARWISE, J
    COOPER, R
    LINGUISTICS AND PHILOSOPHY, 1981, 4 (02) : 159 - 219
  • [45] Temporal prepositions and temporal generalized quantifiers
    Pratt, I
    Francez, N
    LINGUISTICS AND PHILOSOPHY, 2001, 24 (02) : 187 - 222
  • [46] Temporal Prepositions and Temporal Generalized Quantifiers
    Ian Pratt
    Nissim Francez
    Linguistics and Philosophy, 2001, 24 : 187 - 222
  • [47] DECIDABILITY OF THEORIES IN LOGICS WITH GENERALIZED QUANTIFIERS
    HERRE, H
    WOLTER, H
    ZEITSCHRIFT FUR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK, 1975, 21 (03): : 229 - 246
  • [48] Definability of second order generalized quantifiers
    Kontinen, Juha
    ARCHIVE FOR MATHEMATICAL LOGIC, 2010, 49 (03): : 379 - 398
  • [49] Immediate consequences operator on generalized quantifiers
    Medina, Jesus
    Torne-Zambrano, Jose Antonio
    FUZZY SETS AND SYSTEMS, 2023, 456 : 72 - 91
  • [50] Generalized quantifiers in declarative and interrogative sentences
    Bernardi, Raffaella
    Moot, Richard
    LOGIC JOURNAL OF THE IGPL, 2003, 11 (04) : 419 - 434
12345