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 条
  • [21] Knowledge-based automatic performance analysis of parallel programs
    Espinosa, A
    Margalef, T
    Luque, E
    [J]. PARALLEL COMPUTING: FUNDAMENTALS, APPLICATIONS AND NEW DIRECTIONS, 1998, 12 : 697 - 700
  • [22] A Method for Generating Knowledge-Based Programs as Conditional Plans
    Niyogi, Rajdeep
    Jain, Vihan
    [J]. FOUNDATIONS OF INTELLIGENT SYSTEMS (ISKE 2013), 2014, 277 : 635 - 646
  • [23] KNOWLEDGE-BASED SOFTWARE TURNS SPECIFICATIONS INTO EFFICIENT PROGRAMS
    ROCKMORE, AJ
    [J]. ELECTRONIC DESIGN, 1985, 33 (17) : 105 - &
  • [24] Knowledge-Based Programs as Plans - The Complexity of Plan Verification
    Lang, Jerome
    Zanuttini, Bruno
    [J]. 20TH EUROPEAN CONFERENCE ON ARTIFICIAL INTELLIGENCE (ECAI 2012), 2012, 242 : 504 - +
  • [25] Knowledge-Based Programs with Defaults in a Modal Situation Calculus
    Classen, Jens
    Neuss, Malte
    [J]. ECAI 2016: 22ND EUROPEAN CONFERENCE ON ARTIFICIAL INTELLIGENCE, 2016, 285 : 1309 - 1317
  • [26] A knowledge-based performance tuning tool for parallel programs
    Li, KC
    Zhang, K
    [J]. 1996 IEEE SECOND INTERNATIONAL CONFERENCE ON ALGORITHMS & ARCHITECTURES FOR PARALLEL PROCESSING, ICA3PP'96, PROCEEDINGS OF, 1996, : 287 - 294
  • [27] A KNOWLEDGE-BASED APPROACH TO SUPPORTING THE USE OF SIMULATION PROGRAMS
    GOODYEAR, P
    [J]. COMPUTERS & EDUCATION, 1991, 16 (01) : 99 - 103
  • [28] Knowledge-Based Approach in Research Projects and Programs Evaluation
    Bodea, Constanta-Nicoleta
    Ciobotar, Narcisa
    Bodea, Vasile
    [J]. ORGANIZATIONAL, BUSINESS, AND TECHNOLOGICAL ASPECTS OF THE KNOWLEDGE SOCIETY PT II, 2010, 112 : 326 - 335
  • [29] Knowledge-based engineering (Part I): Overview
    Lou, Z.-L.
    Zhao, Z.
    Peng, Y.-H.
    Ruan, X.-Y.
    [J]. 2001, Northwestern Polytechnical University (20):
  • [30] Knowledge-based system for selection of an AGV and a workcentre for transport of a part in on-line scheduling of FMS
    Kodali, R
    [J]. PRODUCTION PLANNING & CONTROL, 1997, 8 (02) : 114 - 122
12345