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 条
  • [21] Generalized quantifiers and conceptual graphs
    Cao, TH
    CONCEPTUAL STRUCTURES: BROADENING THE BASE, PROCEEDINGS, 2001, 2120 : 87 - 100
  • [22] The hierarchy theorem for generalized quantifiers
    Hella, L
    Luosto, K
    Vaananen, J
    JOURNAL OF SYMBOLIC LOGIC, 1996, 61 (03) : 802 - 817
  • [23] On probabilistic elimination of generalized quantifiers
    Kaila, R
    RANDOM STRUCTURES & ALGORITHMS, 2001, 19 (01) : 1 - 36
  • [24] GENERALIZED QUANTIFIERS AND CARDINAL SUMS
    LIPNER, LD
    NOTICES OF THE AMERICAN MATHEMATICAL SOCIETY, 1970, 17 (01): : 296 - &
  • [25] Scope Dominance with Generalized Quantifiers
    Ben-Avi, Gilad
    Winter, Yoad
    LANGUAGES: FROM FORMAL TO NATURAL: ESSAYS DEDICATED TO NISSIM FRANCEZ ON THE OCCASION OF HIS 65TH BIRTHDAY, 2009, 5533 : 36 - +
  • [26] Constructive Generalized Quantifiers Revisited
    Tanaka, Ribeka
    Nakano, Yuki
    Bekki, Daisuke
    NEW FRONTIERS IN ARTIFICIAL INTELLIGENCE (JSAI-ISAI 2013), 2014, 8417 : 115 - 124
  • [27] QUESTIONS, COMMANDS, AND GENERALIZED QUANTIFIERS
    BROWN, MA
    JOURNAL OF SYMBOLIC LOGIC, 1986, 51 (03) : 836 - 837
  • [28] On vectorizations of unary generalized quantifiers
    Luosto, Kerkko
    ARCHIVE FOR MATHEMATICAL LOGIC, 2012, 51 (3-4): : 241 - 255
  • [29] A Double Team Semantics for Generalized Quantifiers
    Antti Kuusisto
    Journal of Logic, Language and Information, 2015, 24 : 149 - 191
  • [30] REGULAR LANGUAGES DEFINED WITH GENERALIZED QUANTIFIERS
    STRAUBING, H
    THERIEN, D
    THOMAS, W
    INFORMATION AND COMPUTATION, 1995, 118 (02) : 289 - 301
12345