• 主题
高级搜索  >
历史搜索 清空历史
首页> 外文会议>8th International Workshop on Intelligent Agents VIII: Agent Theories, Architectures, and Languages ATAL 2001, Aug 1-3, 2001, Seattle, WA, USA >MINεRVA- A Dynamic Logic Programming Agent Architecture
【24h】

MINεRVA- A Dynamic Logic Programming Agent Architecture

机译：MINεRVA-动态逻辑编程代理架构

获取原文
获取原文并翻译 | 示例
页面导航
  • 摘要
  • 著录项
  • 相似文献
  • 相关主题

摘要

The agent paradigm, commonly implemented by means of imperative languages mainly for reasons of efficiency, has recently increased its influence in the research and development of computational logic based systems. Since efficiency is not always the crucial issue, but clear specification and correctness is, Logic Programming and Non-monotonic Reasoning have been brought back into the spotlight. To this accrues the recent significant improvements in the efficiency of Logic Programming implementations for Non-monotonic Reasoning. This paper presents an overall description of MINεRVA, an agent architecture and system designed with the intention of providing a common agent framework based on the unique strengths of Logic Programming, to allow for the combination of several non-monotonic knowledge representation and reasoning mechanisms developed in recent years. In [10], the semantics of the multi-dimensional structure and combination of the evolving societal knowledge of agents in described and discussed in detail.
机译：通常主要出于效率的考虑，通常通过命令式语言来实现的主体范例已在基于计算逻辑的系统的研究和开发中增加了其影响力。由于效率并非始终是关键问题，而是明确的规范和正确性，因此逻辑编程和非单调推理已重新成为人们的关注焦点。为此，最近对非单调推理的逻辑编程实现的效率有了重大改进。本文对MINεRVA进行了总体描述，它是一种代理架构和系统，旨在基于逻辑编程的独特优势提供一个通用的代理框架，以允许将几种非单调知识表示和推理机制结合起来。最近几年。在[10]中，详细描述和讨论了多维结构的语义以及代理人不断发展的社会知识的组合。

著录项

相似文献

  • 外文文献
  • 中文文献
  • 专利
获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

  • 客服微信

  • 服务号