Programming Cognitive Agents in Defeasible Logic

机译：用可行逻辑对认知主体进行编程

获取原文

获取原文并翻译 | 示例

页面导航

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

摘要

Defeasible Logic is extended to programming languages for cognitive agents with preferences and actions for planning. We define rule-based agent theories that contain preferences and actions, together with inference procedures. We discuss patterns of agent types in this setting. Finally, we illustrate the language by an example of an agent reasoning about web-services.

机译：“不可行逻辑”已扩展到具有偏好和计划行动的认知主体的编程语言。我们定义了基于规则的代理理论，其中包含偏好和操作以及推理过程。我们将讨论此设置中的业务代表类型模式。最后，我们通过一个代理对Web服务进行推理的示例来说明该语言。

著录项

来源
《International Conference on Logic for Programming, Artificial Intelligence, and Reasoning(LPAR 2005); 20051202-06; Montego Bay(JM)》|2005年|P.621-636|共16页
会议地点 Montego Bay(JM)
作者
Mehdi Dastani; Guido Governatori; Antonino Rotolo; Leendert van der Torre;
展开▼
作者单位

Intelligent Systems Group, Utrecht University;

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

相似文献

外文文献
中文文献
专利

1. Inter definability of defeasible logic and logic programming under the well-founded semantics [J] . FREDERICK MAIER Theory and Practice of Logic Programming . 2013,第PTa1期

机译：完善的语义下可废逻辑和逻辑程序之间的可定义性
2. Inconsistent Ontology Handling by Translating Description Logics into Defeasible Logic Programming [J] . Sergio Alejandro Gómez, Carlos Iván Ches?evar, Guillermo Ricardo Simari Inteligencia Artificial : Ibero-American Journal of Artificial Intelligence . 2007,第35期

机译：通过将描述逻辑转换为不可行的逻辑编程来进行不一致的本体处理
3. Embedding defeasible logic into logic programming [J] . GRIGORIS ANTONIOU, DAVID BILLINGTON, GUIDO GOVERNATORI, Theory and Practice of Logic Programming . 2006,第Pt6期

机译：将可废止的逻辑嵌入到逻辑编程中
4. Contextual deliberation of cognitive agents in defeasible logic [C] . M. Dastani, G. Governatori, A. Rotolo, International joint conference on Autonomous agents and multiagent systems . 2007

机译：可行逻辑中认知主体的上下文思考
5. Model-checking of distributed autonomous agents using logic programming. [D] . Pokorny, Louis Robert. 2005

机译：使用逻辑编程对分布式自治代理进行模型检查。
6. Extending the capabilities of diagnostic decision support programs through links to bibliographic searching: addition of canned MeSH logic to the Quick Medical Reference (QMR) program for use with Grateful Med. [O] . R. A. Miller, L. Jamnback, N. B. Giuse, 1991

机译：通过链接到书目搜索来扩展诊断决策支持程序的功能：在快速医学参考（QMR）程序中添加罐装MeSH逻辑以与Grateful Med一起使用。
7. Programming Cognitive Agents in Defeasible Logic [O] . Dastani M., Governatori G., Rotolo A., 2005

机译：用可行逻辑对认知主体进行编程
8. Epistemic Logic for Defeasible Reasoning Using a Meta-Level Architecture Metaphor [R] . Meyer, J. J. C., van der Hoek, W. 1993

机译：使用元级别架构隐喻的可行性推理的认知逻辑

Programming Cognitive Agents in Defeasible Logic

摘要

著录项

相似文献

相关主题

期刊订阅