Actions as prolog programs

被引:0
|
作者
Tolentino, MV
Santos, PE
daSilva, FSC
Rillo, M
机构
关键词
D O I
暂无
中图分类号
TP18 [人工智能理论];
学科分类号
081104 ; 0812 ; 0835 ; 1405 ;
摘要
As an extention of the TRASYS approach to reasoning about actions, this work presents a new step in the direction to the transposition of the gap between action formalisms and their real execution inside planning environments. We try to clarify some points of the former paper by presenting a re-structured overview ofthe Transaction Logic formalism and proposing some modifications to the action model which will allow the use of non-atomic formulae in the world model. Aiming an efficient method for executing action specifications, we present how could these specifications be rendered into a PROLOG program.
引用
收藏
页码:178 / 183
页数:6
相关论文
共 50 条
  • [1] Improving prolog programs: Refactoring for prolog
    Serebrenik, Alexander
    Schrijvers, Tom
    Demoen, Bart
    [J]. THEORY AND PRACTICE OF LOGIC PROGRAMMING, 2008, 8 (02) : 201 - 215
  • [2] Improving Prolog programs: Refactoring for prolog
    Schrijvers, T
    Serebrenik, A
    [J]. LOGIC PROGRAMMING, PROCEEDINGS, 2004, 3132 : 58 - 72
  • [3] PROFILING PROLOG PROGRAMS
    DEBRAY, SK
    [J]. SOFTWARE-PRACTICE & EXPERIENCE, 1988, 18 (09): : 821 - 839
  • [4] THE PERFORMANCE OF PARALLEL PROLOG PROGRAMS
    FAGIN, BS
    DESPAIN, AM
    [J]. IEEE TRANSACTIONS ON COMPUTERS, 1990, 39 (12) : 1434 - 1445
  • [5] EFFICIENT INTERPRETATION OF PROLOG PROGRAMS
    BARKLUND, J
    [J]. SIGPLAN NOTICES, 1987, 22 (07): : 132 - 137
  • [6] Compressing probabilistic Prolog programs
    De Raedt, L.
    Kersting, K.
    Kimmig, A.
    Revoredo, K.
    Toivonen, H.
    [J]. MACHINE LEARNING, 2008, 70 (2-3) : 151 - 168
  • [7] Compressing probabilistic Prolog programs
    L. De Raedt
    K. Kersting
    A. Kimmig
    K. Revoredo
    H. Toivonen
    [J]. Machine Learning, 2008, 70 : 151 - 168
  • [8] Translating relational programs into Prolog
    Dwyer, B
    [J]. RELATIONAL METHODS FOR COMPUTER SCIENCE APPLICATIONS, 2001, 65 : 15 - 35
  • [9] Abstract interpretation of Prolog programs
    Spoto, F
    Levi, G
    [J]. ALGEBRAIC METHODOLOGY AND SOFTWARE TECHNOLOGY, 1999, 1548 : 455 - 470
  • [10] The multipath architecture for prolog programs
    Tubella, J
    Gonzalez, A
    Elias, E
    [J]. COMPUTER JOURNAL, 1996, 39 (09): : 780 - 792