Planning Experiments in the DALI Logic Programming Language

机译：使用DALI Logic编程语言进行计划实验

获取原文

获取原文并翻译 | 示例

页面导航

摘要
著录项
相似文献
相关主题

摘要

We discuss some features of the new logic programming language DALI for agents and multi-agent systems, also in connection to the issues raised in [12]. We focus in particular on the treatment of proactivity, which is based on the novel mechanism of the internal events and goals. As a case-study, we discuss the design and implementation of an agent capable to perform simple forms of planning. We demonstrate how it is possible in DALI to perform STRIPS-like planning without implementing a meta-interpreter. In fact a DALI agent, which is capable of complex proactive behavior, can build step-by-step her plan by proactively checking for goals and possible actions.

机译：我们还讨论了针对代理和多代理系统的新逻辑编程语言DALI的某些功能，也与[12]中提出的问题有关。我们特别关注基于内部事件和目标的新颖机制的积极治疗。作为案例研究，我们讨论能够执行简单计划形式的代理的设计和实现。我们演示了如何在DALI中执行类似STRIPS的计划而无需实现元解释器。实际上，具有复杂主动行为的DALI代理可以通过主动检查目标和可能采取的措施来逐步建立自己的计划。

著录项

来源
《International Workshop on Computational Logic in Multi-Agent Systems(CLIMA IV); 20040106-07; Fort Lauderdale,FL(US)》|2004年|P.89-107|共19页
会议地点 Fort LauderdaleFL(US)
作者
Stefania Costantini; Arianna Tocchio;
展开▼
作者单位

Universita degli Studi di L'Aquila, Dipartimento di Informatica, Via Vetoio, Loc. Coppito, I-67010 L'Aquila -Italy;

展开▼
会议组织
原文格式 PDF
正文语种 eng
中图分类人工智能理论;数理逻辑、数学基础;
关键词

相似文献

外文文献
中文文献
专利

1. On Benchmarking Constraint Logic Programming Platforms. Response to Fernandez and Hill's "A Comparative Study of Eight Constraint Programming Languages over the Boolean and Finite Domains" [J] . MARK WALLACE, JOACHIM SCHIMPF, KISH SHEN, Constraints . 2004,第1期

机译：关于基准约束逻辑编程平台。回应费尔南德斯和希尔的“布尔和有限域上的八种约束编程语言的比较研究”
2. Design and Implementation of a Concurrent Logic Programming Language with Linear Logic Constraints [J] . Thierry Martinez LIPIcs : Leibniz International Proceedings in Informatics . 2010,第1期

机译：具有线性逻辑约束的并行逻辑编程语言的设计与实现
3. Design and Implementation of a Concurrent Logic Programming Language with Linear Logic Constraints [J] . Thierry Martinez LIPIcs : Leibniz International Proceedings in Informatics . 2010,第2期

机译：具有线性逻辑约束的并行逻辑编程语言的设计与实现
4. Planning Experiments in the DALI Logic Programming Language [C] . Stefania Costantini, Arianna Tocchio International Workshop on Computational Logic in Multi-Agent Systems . 2004

机译：DALI逻辑编程语言的规划实验
5. Natural language and mixed modality task presentations in the human-computer interaction using programmable logic controllers. [D] . Wright, John Robert, Jr. 1998

机译：使用可编程逻辑控制器在人机交互中的自然语言和混合模式任务演示。
6. Development of a Program Logic Model and Evaluation Plan for a Participatory Ergonomics Intervention in Construction [O] . Lisa Jaegers, Ann Marie Dale, Nancy Weaver, -1

机译：参与式人体工程学干预建设的程序逻辑模型和评估计划的开发
7. Planning Experiments in the DALI Logic Programming Language [O] . Stefania Costantini, Arianna Tocchio 2007

机译：使用DALI Logic编程语言进行计划实验
8. Amalgamation of Functional and Logic Programming Languages [R] . Lock, H. C. R. 1989

机译：功能和逻辑编程语言的融合

Planning Experiments in the DALI Logic Programming Language

摘要

著录项

相似文献

相关主题

期刊订阅