Event Calculus Planning Through Satisfiability

MURRAY SHANAHAN; MARK WITKOWSKI

首页> 外文期刊>Journal of logic and computation >Event Calculus Planning Through Satisfiability

【24h】

Event Calculus Planning Through Satisfiability

机译：通过满意度进行事件演算计划

获取原文

获取原文并翻译 | 示例

掌桥外文数据库（机构版） >>

开具论文收录证明 >>

文献代查 >>

页面导航

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

摘要

Previous work on event calculus planning has viewed it as an abductive task, whose implementation through abductive logic programming reduces to partial order planning. By contrast, this paper presents a formal framework for tackling event calculus planning through satisfiability, in the style of Kautz and Selman. A provably correct conjunctive normal form encoding for event calculus planning problems is supplied, rendering them soluble by an off-the-shelf SAT solver.

机译：以前有关事件演算计划的工作将其视为绑架任务，通过绑架逻辑编程将其实现简化为部分订单计划。相比之下，本文以考茨（Kautz）和塞尔曼（Selman）的风格，提出了一种通过可满足性解决事件演算计划的正式框架。提供了一种针对事件演算计划问题的经证明正确的合取范式编码，可通过现成的SAT解算器将其分解。

著录项

来源
《Journal of logic and computation》 |2004年第5期|p.731-745|共15页
作者
MURRAY SHANAHAN; MARK WITKOWSKI;
展开▼
作者单位

Department of Electrical and Electronic Engineering, Imperial College, Exhibition Road, London SW7 2BT, UK;

展开▼
收录信息
原文格式 PDF
正文语种 eng
中图分类计算技术、计算机技术;
关键词
event calculus; satisfiability planning;

机译：事件演算;满意度规划;

相似文献

外文文献
中文文献
专利

1. Event Calculus Reasoning Through Satisfiability [J] . ERIK T. MUELLER Journal of logic and computation . 2004,第5期

机译：通过可满足性进行事件演算推理
2. Mu-Calculus Satisfiability with Arithmetic Constraints [J] . Limon Y., Barcenas E., Benitez-Guerrero E., Programming and Computer Software . 2020,第8期

机译：MU - COMPULAS满足算术约束
3. Satisfiability Calculus: An Abstract Formulation of Semantic Proof Systems [J] . Lopez Pombo Carlos G., Castro Pablo F., Aguirre Nazareno M., Fundamenta Informaticae . 2019,第4期

机译：可满足性演算：语义证明系统的抽象表示
4. A Tool for Satisfiability-Based Commonsense Reasoning in the Event Calculus [C] . Erik T. Mueller International Florida Artificial Intelligence Research Society Conference(FLAIRS 2004) vol.1; 20040517-19; Miami Beach,FL(US) . 2004

机译：事件演算中基于满意度的常识推理工具
5. Causal action theories and satisfiability planning. [D] . Turner, Charles Hudson. 1998

机译：因果行为理论和可满足性计划。
6. Event-driven mathematical framework for noisy integrate-and-fire neuron networks: spike trains statistics via stochastic calculus network analysis inspired by queuing theory and an event-driven simulator [O] . Jonathan Touboul, Olivier Faugeras, Olivier Rochel 2007

机译：噪声激发并集成的神经元网络的事件驱动数学框架：通过随机演算训练峰值统计信息受排队论启发的网络分析和事件驱动模拟器
7. Event calculus reasoning through satisfiability [O] . Erik T. Mueller 2004

机译：通过可满足性进行事件演算推理
8. Calculus of Macro-Events: Progress Report [R] . Cervesato, I. , Montanari, A. 2000

机译：宏观事件的微积分：进展报告

Event Calculus Planning Through Satisfiability

摘要

著录项

相似文献

相关主题

期刊订阅