• 主题
高级搜索  >
历史搜索 清空历史
首页> 外文期刊>Annals of Mathematics and Artificial Intelligence >Abductive logic programming agents with destructive databases
【24h】

Abductive logic programming agents with destructive databases

机译：具有破坏性数据库的归纳逻辑编程代理

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

摘要

In this paper we present an agent language that combines agent functionality with a state transition theory and model-theoretic semantics. The language is based on abductive logic programming (ALP), but employs a simplified state-free syntax, with an operational semantics that uses destructive updates to manipulate a database, which represents the current state of the environment. The language builds upon the ALP combination of logic programs, to represent an agent's beliefs, and integrity constraints, to represent the agent's goals. Logic programs are used to define macro-actions, intensional predicates, and plans to reduce goals to sub-goals including actions. Integrity constraints are used to represent reactive rules, which are triggered by the current state of the database and recent agent actions and external events. The execution of actions and the assimilation of observations generate a sequence of database states. In the case of the successful solution of all goals, this sequence, taken as a whole, determines a model that makes the agent's goals and beliefs all true.
机译：在本文中，我们提出了一种代理语言，该语言将代理功能与状态转换理论和模型理论语义相结合。该语言基于归纳逻辑编程（ALP），但采用简化的无状态语法，其操作语义使用破坏性更新来操纵数据库，该数据库表示环境的当前状态。该语言基于逻辑程序的ALP组合，以表示代理的信念和完整性约束，以表示代理的目标。逻辑程序用于定义宏动作，内涵谓词和计划，以将目标简化为包括动作在内的子目标。完整性约束用于表示反应式规则，该规则由数据库的当前状态以及最近的代理动作和外部事件触发。动作的执行和观察的同化会生成一系列数据库状态。在成功解决所有目标的情况下，从整体上看，此顺序确定了一个使代理人的目标和信念全部成立的模型。

著录项

相似文献

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

客服邮箱：kefu@zhangqiaokeyan.com

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

  • 客服微信

  • 服务号