| 基于因果关系的行动理论扩充 |
| |
| 引用本文： | 吴梅红,薛永生,胡文华,张敏,邓安生. 基于因果关系的行动理论扩充[J]. 计算机辅助工程, 2006, 15(3): 42-45 |
| |
| 作者姓名： | 吴梅红 薛永生 胡文华 张敏 邓安生 |
| |
| 作者单位： | 厦门大学,计算机科学系,福建,厦门,361005;厦门大学,计算机科学系,福建,厦门,361005;厦门大学,计算机科学系,福建,厦门,361005;厦门大学,计算机科学系,福建,厦门,361005;厦门大学,计算机科学系,福建,厦门,361005 |
| |
| 摘 要： | 在因果条件逻辑的基础上进一步改进因果理论语义，并给出扩充的行动理论，统一表述动作执行和原因蕴涵，从而可以整体论述逻辑语言本身相互动作的独立与非独立性，使得处理并发动作和动作之间独立与非独立性关系变得更为自然形式化．
|
| 关 键 词： | 行动理论 因果关系 条件逻辑 |
| 文章编号： | 1006-0871（2006）03-0042-04 |
| 收稿时间： | 2006-06-06 |
| 修稿时间： | 2006-06-06 |
Extension of action theory based on causality |
| |
| WU Meihong,XUE Yongsheng,HU Wenhua,ZHANG Min,DENG Ansheng. Extension of action theory based on causality[J]. Computer Aided Engineering, 2006, 15(3): 42-45 |
| |
| Authors: | WU Meihong XUE Yongsheng HU Wenhua ZHANG Min DENG Ansheng |
| |
| Affiliation: | Dept. of Computer Sci. , Xiamen Univ. , Xiamen Fujian 361005, China |
| |
| Abstract: | The action theory is which makes it language itself. lations between causality semantic theory is improved based on causal action logic, and the extension of presented. The theory uniformly describes the action execution and causal implications, possible to wholely discuss the mutual action dependence or independence of the logical The method also provides a natural formalization for the dependency or independency reconcurrent actions and actions. |
| |
| Keywords: | action theory causality conditional logic |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
|
