From Knowledge-based Programs to Graded Belief-based Programs, Part I: On-line Reasoning*

被引：0
|
作者：
Noël Laverny
Jérôme Lang
机构：
[1] Université Paul Sabatier,IRIT
来源：
Synthese | 2005年 / 147卷
关键词：
Physical Action; Execution Time; Action Policy; Companion Paper; Belief State;
D O I：
暂无
中图分类号：
学科分类号：
摘要：
Knowledge-based programs (KBPs) are a powerful notion for expressing action policies in which branching conditions refer to implicit knowledge and call for a deliberation task at execution time. However, branching conditions in KBPs cannot refer to possibly erroneous beliefs or to graded belief, such as
引用
收藏
页码：277 / 321
页数：44
相关论文
共 50 条
  • [1] 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
  • [2] 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
  • [3] From knowledge-based programs to graded belief-based programs, part II: off-line reasoning
    Laverny, Noel
    Lang, Jerome
    [J]. 19TH INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE (IJCAI-05), 2005, : 497 - 502
  • [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