Computation of the semantics of autoepistemic belief theories

被引：0
|
作者：
Brass, Stefan [1 ]
Jürgen, Dix [2 ]
Przymusinski, Teodor C. [3 ]
机构：
[1] School of Information Sciences, University of Pittsburgh, Pittsburgh, PA 15260, United States
[2] Department of Computer Science, University of Maryland, A.V. Williams Build, College Park, MD 20752-3255, United States
[3] Department of Computer Science, University of California, Riverside, CA 92521, United States
来源：
Artificial Intelligence | 1999年 / 112卷 / 01期
基金：
美国国家科学基金会;
关键词：
Computational linguistics - Database systems - Formal logic - Iterative methods - Theorem proving;
D O I：
暂无
中图分类号：
学科分类号：
摘要：
Autoepistemic logic of beliefs, AEB, is a non-monotomic knowledge representation framework. Theories in AEB are called autoepistemic belief theories. Every belief theory T is shown to have at least static expansion T¯ which is computed by iterating a natural monotonic belief closure operator ΨT starting from T. This way, the least static expansion T¯ of any belief theory provides its natural non-monotonic semantics which is called the static semantics.
引用
收藏
页码：233 / 250
相关论文
共 50 条
  • [21] Distance semantics for Belief Revision
    Schlechta, K
    Lehmann, D
    Magidor, M
    THEORETICAL ASPECTS OF RATIONALITY AND KNOWLEDGE, 1996, : 137 - 145
  • [22] RECURSIVE SEMANTICS FOR KNOWLEDGE AND BELIEF
    TENNANT, N
    MONIST, 1977, 60 (03): : 419 - 430
  • [23] Distance semantics for belief revision
    Lehmann, D
    Magidor, M
    Schlechta, K
    JOURNAL OF SYMBOLIC LOGIC, 2001, 66 (01) : 295 - 317
  • [24] SUCCESS SEMANTICS AND PARTIAL BELIEF
    Tang, Weng Hong
    JOURNAL OF PHILOSOPHICAL RESEARCH, 2014, 39 : 17 - 22
  • [25] A Grim Semantics For Logics of Belief
    Christopher Steinsvold
    Journal of Philosophical Logic, 2008, 37 : 45 - 56
  • [26] PROBABILISTIC SEMANTICS, IDENTITY AND BELIEF
    SEAGER, W
    CANADIAN JOURNAL OF PHILOSOPHY, 1983, 13 (03) : 353 - 364
  • [27] A unifying semantics for belief change
    Booth, R
    Chopra, S
    Meyer, T
    Ghose, A
    ECAI 2004: 16TH EUROPEAN CONFERENCE ON ARTIFICIAL INTELLIGENCE, PROCEEDINGS, 2004, 110 : 793 - 797
  • [28] Semantics of probabilistic belief logic
    2000, Sci Press (37):
  • [29] Tacit belief, semantics and grammar
    Johnson, K
    LINGUISTICS AND PHILOSOPHY, 2004, 27 (01) : 57 - 91
  • [30] A Probabilistic Semantics for Belief Logic
    He, Jiaqi
    Liu, Hu
    NOTRE DAME JOURNAL OF FORMAL LOGIC, 2021, 62 (04) : 643 - 659
12345