| 任务逻辑中的定理 |
| |
| 引用本文： | 许文艳,荆云鹏.任务逻辑中的定理[J].模糊系统与数学,2006,20(6):15-20. |
| |
| 作者姓名： | 许文艳 荆云鹏 |
| |
| 作者单位： | 1. 西安电子科技大学,理学院,应用数学系,陕西,西安,710062
2. 95588部队,预警指挥引导系,陕西,西安,710306 |
| |
| 摘 要： | 基于任务逻辑的语义语构理论,提出模仿策略的概念,详细讨论任务逻辑形式系统L中的定理并给出其证明,得到许多有趣的结果。
|
| 关 键 词： | 任务逻辑 模仿策略 定理 |
| 文章编号： | 1001-7402（2006）06-0015-06 |
| 收稿时间： | 2004-10-11 |
| 修稿时间： | 2006-01-15 |
Theorems in the Logic of Tasks |
| |
| XU Wen-yan,JING Yun-peng.Theorems in the Logic of Tasks[J].Fuzzy Systems and Mathematics,2006,20(6):15-20. |
| |
| Authors: | XU Wen-yan JING Yun-peng |
| |
| Abstract: | Based on the logic of tasks, the definition of mimicking strategy is proposed in this paper, and a sort of theorems in the formal system L are proved. |
| |
| Keywords: | Logic of Tasks Mimicking Strategy Theorem |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
|
