From knowledge-based programs to graded belief-based programs, part II: off-line reasoning

被引：0
|
作者：
Laverny, Noel [1 ]
Lang, Jerome [1 ]
机构：
[1] Univ Toulouse 3, IRIT, F-31062 Toulouse, France
来源：
19TH INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE (IJCAI-05) | 2005年
关键词：
D O I：
暂无
中图分类号：
TP18 [人工智能理论];
学科分类号：
081104 ; 0812 ; 0835 ; 1405 ;
摘要：
Belief-based programs generalize knowledge-based programs [Fagin et al., 1995] by allowing for incorrect beliefs, unreliable observations, and branching conditions that refer to implicit graded beliefs, such as in "while my belief about the direction to the railway station is not strong enough do ask someone". We show how to reason off-line about the possible executions of a belief-based program, which calls for introducing second-order uncertainty in the model.
引用
收藏
页码：497 / 502
页数：6
相关论文
共 50 条
  • [1] From knowledge-based programs to graded belief-based programs - Part 1: On-line reasoning
    Laverny, N
    Lang, J
    [J]. ECAI 2004: 16TH EUROPEAN CONFERENCE ON ARTIFICIAL INTELLIGENCE, PROCEEDINGS, 2004, 110 : 368 - 372
  • [2] From knowledge-based programs to graded belief-based programs, part I: On-line reasoning
    Laverny, N
    Lang, J
    [J]. SYNTHESE, 2005, 147 (02) : 277 - 321
  • [3] From Knowledge-based Programs to Graded Belief-based Programs, Part I: On-line Reasoning*
    Noël Laverny
    Jérôme Lang
    [J]. Synthese, 2005, 147 : 277 - 321
  • [4] Knowledge-based programs
    Ronald Fagin
    Joseph Y. Halpern
    Yoram Moses
    Moshe Y. Vardi
    [J]. Distributed Computing, 1997, 10 : 199 - 225
  • [5] Knowledge-based programs
    Fagin, R
    Halpern, JY
    Moses, Y
    Vardi, MY
    [J]. DISTRIBUTED COMPUTING, 1997, 10 (04) : 199 - 225
  • [6] KNOWLEDGE-BASED APPROACH FOR IMPROVEMENT OF CNC PART PROGRAMS
    LAZARO, AD
    ZHANG, J
    KENDALL, LA
    [J]. JOURNAL OF MANUFACTURING SYSTEMS, 1994, 13 (01) : 20 - 30
  • [7] Interpreting Knowledge-based Programs
    Knapp, Alexander
    Muehlberger, Heribert
    Reus, Bernhard
    [J]. PROGRAMMING LANGUAGES AND SYSTEMS, ESOP 2023, 2023, 13990 : 253 - 280
  • [8] Interpreting Knowledge-based Programs
    Knapp, Alexander
    Mühlberger, Heribert
    Reus, Bernhard
    [J]. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2023, 13990 LNCS : 253 - 280
  • [9] Probabilistic Knowledge-Based Programs
    Lang, Jerome
    Zanuttini, Bruno
    [J]. PROCEEDINGS OF THE TWENTY-FOURTH INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE (IJCAI), 2015, : 1594 - 1600
  • [10] Implementing knowledge-based programs
    Vardi, MY
    [J]. THEORETICAL ASPECTS OF RATIONALITY AND KNOWLEDGE, 1996, : 15 - 30
12345