为了对企业的管理过程进行本体建模，把情景演算理论作为企业建模过程中动态活动描述的基础。
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.
以情景演算理论为基础来研究工作流管理系统，形式化地将LR的状态对象扩展为状态表集合对象。
After researching the workflow management system using situation calculus theory, expands formally the LR from state-object to state-table-set-object.
应用推荐