情景演算(Situation Calculus)是著名的规划的逻辑形式化表示方法,由McCarthy与Hayes于1969年提出Il o。。
基于96个网页-相关网页
In order to describe the dynamic and complicated process model exactly, we propose the logic situation calculus based on the expanding the situation calculus and describe the virtual enterprise in this formal logic framework.
这样,我们就可以在虚拟企业本体论基础上,以逻辑情景演算来描述虚拟企业过程模型。
参考来源 - 基于逻辑情景演算的虚拟企业过程建模研究·2,447,543篇论文数据,部分数据来源于NoteExpress
为了对企业的管理过程进行本体建模,把情景演算理论作为企业建模过程中动态活动描述的基础。
In order to model for enterprise management process by ontology, the theory of situation calculus is thought as the basis of dynamic activity specification in modeling.
以情景演算理论为基础来研究工作流管理系统,形式化地将LR的状态对象扩展为状态表集合对象。
After researching the workflow management system using situation calculus theory, expands formally the LR from state-object to state-table-set-object.
应用推荐