The Process Semantics Based Reasoning about Continuous Change

机译：基于过程语义的连续变化推理

获取原文

获取原文并翻译 | 示例

页面导航

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

摘要

In this paper, we realize a formal method of integrating the process semantics with the situation calculus to reason about continuous change. Our aim is to overcome some of limitations of the earlier works. We present a general translation of the process semantics into the situation calculus. Furthermore, we prove the soundness and completeness of the situation calculus with respect to the process semantics. Finally, related works are discussed.

机译：在本文中，我们实现了一种将过程语义与情境演算集成以形成连续变化的形式化方法。我们的目标是克服早期作品的某些局限性。我们提出将流程语义转换为情境演算的一般方法。此外，我们针对过程语义证明了情境演算的正确性和完整性。最后，讨论了相关工作。

著录项

来源
《26th Annual German Conference on AI(Artificial Intelligence) KI 2003; Sep 15-18, 2003; Hamburg, Germany》|2003年|p.505-519|共15页
会议地点 Hamburg(DE);Hamburg(DE);Hamburg(DE);Hamburg(DE)
作者
Chunping Li;
展开▼
作者单位

School of Software, Tsinghua University, Peking 100084, China;

展开▼
会议组织
原文格式 PDF
正文语种 eng
中图分类自动化技术、计算机技术;
关键词

相似文献

外文文献
中文文献
专利

1. AN APPROACH TO CONTINUOUS PROCESS IMPROVEMENT (CPI) BASED ON CASE-BASED REASONING AND PROCESS CHANGE PATTERNS [J] . DONGSOO KIM, NAMHUN LEE, SUK-HO KANG International Journal of Innovative Computing Information and Control . 2011,第4期

机译：基于案例推理和过程变更模式的连续过程改进（CPI）方法
2. An approach based on semantic stream reasoning to support decision processes in smart cities [J] . DAniello Giuseppe, Gaeta Matteo, Orciuoli Francesco Telematics and Informatics . 2018,第1期

机译：一种基于语义流推理的支持智慧城市决策过程的方法
3. Corrigendum to 'An approach based on semantic stream reasoning to support decision processes in smart cities' [Telemat. Informat. 35 (1) (2018) 68-81] [J] . Giuseppe DAniello, Matteo Gaeta, Francesco Orciuoli, Telematics and Informatics . 2018,第6期

机译：“基于语义流推理的方法来支持智慧城市中的决策过程”更正[Telemat。信息。 35（1）（2018）68-81]
4. The Process Semantics Based Reasoning about Continuous Change [C] . Chunping Li German Conference on Artificial Intelligence . 2003

机译：基于过程语义的推理，关于连续变化
5. Semantic Models and Reasoning for Building System Operations: Focus on Knowledge-Based Control and Fault Detection for HVAC [D] . Delgoshaei, Parastoo. 2017

机译：建筑系统运行的语义模型和推理：专注于HVAC的基于知识的控制和故障检测
6. Knowledge Reasoning with Semantic Data for Real-Time Data Processing in Smart Factory [O] . Shiyong Wang, Jiafu Wan, Di Li, 2018

机译：智能工厂实时数据处理中的语义数据知识推理
7. Ontology Design of Semantic Case Based Reasoning System for the Share and Exchange of Sub-Cases [O] . Sangun Park, Juyoung Kang 2013

机译：基于语义案例的亚壳交换的语义案例的本体设计

The Process Semantics Based Reasoning about Continuous Change

摘要

著录项

相似文献

相关主题

期刊订阅