摘要
基于任务逻辑的语义语构理论,提出模仿策略的概念,详细讨论任务逻辑形式系统L中的定理并给出其证明,得到许多有趣的结果。
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.
出处
《模糊系统与数学》
CSCD
北大核心
2006年第6期15-20,共6页
Fuzzy Systems and Mathematics
关键词
任务逻辑
模仿策略
定理
Logic of Tasks
Mimicking Strategy
Theorem
