Reasoning about change and persistence: A solution to the Frame Problem

被引：4
|
作者：
Pollock, JL
机构：
来源：
NOUS | 1997年 / 31卷 / 02期
关键词：
D O I：
10.1111/0029-4624.00040
中图分类号：
B [哲学、宗教];
学科分类号：
01 ; 0101 ;
摘要：
[No abstract available]
引用
收藏
页码：143 / 169
页数：27
相关论文
共 50 条
  • [21] Reasoning about Java']Java programs with aliasing and frame conditions
    Marché, C
    Paulin-Mohring, C
    [J]. THEOREM PROVING IN HIGHER ORDER LOGICS, PROCEEDINGS, 2005, 3603 : 179 - 194
  • [22] Prototypical Reasoning About Species and the Species Problem
    Amitani Y.
    [J]. Biological Theory, 2015, 10 (4) : 289 - 300
  • [23] Reasoning about unpredicted change and explicit time
    de Saint-Cyr, FD
    Lang, J
    [J]. QUALITATIVE AND QUANTITATIVE PRACTICAL REASONING, 1997, 1244 : 223 - 236
  • [24] Reasoning About the State Change of Authorization Policies
    Bai, Yun
    Caprin, Edward
    Zhang, Yan
    [J]. CURRENT APPROACHES IN APPLIED ARTIFICIAL INTELLIGENCE, 2015, 9101 : 109 - 119
  • [25] An argumentation framework for reasoning about actions and change
    Kakas, A
    Miller, R
    Toni, F
    [J]. LOGIC PROGRAMMING AND NONMONOTONIC REASONING, 1999, 1730 : 78 - 91
  • [26] THE DUALITY OF THE FRAME PROBLEM: ABOUT INTERPRETATIONS AND RESOLUTIONS
    Ines Silenzi, Maria
    [J]. TOPICOS-REVISTA DE FILOSOFIA, 2014, (47): : 89 - 112
  • [27] NEARSUCCESS AND SOLUTION PERSISTENCE IN INDIVIDUAL PROBLEM SOLVING
    BURKE, RJ
    [J]. JOURNAL OF GENERAL PSYCHOLOGY, 1970, 82 (02): : 133 - &
  • [28] On the Use of Heuristics As a Possible Solution of the Frame Problem
    Ines Silenzi, Maria
    Moro, Rodrigo
    [J]. CRITICA-REVISTA HISPANOAMERICANA DE FILOSOFIA, 2015, 47 (140): : 65 - 91
  • [29] REASONING ABOUT ACTION .2. THE QUALIFICATION PROBLEM
    GINSBERG, ML
    SMITH, DE
    [J]. ARTIFICIAL INTELLIGENCE, 1988, 35 (03) : 311 - 342
  • [30] Reasoning About Strategies: On the Model-Checking Problem
    Mogavero, Fabio
    Murano, Aniello
    Perelli, Giuseppe
    Vardi, Moshe Y.
    [J]. ACM TRANSACTIONS ON COMPUTATIONAL LOGIC, 2014, 15 (04)
12345