This dissertation detailedly investigate the symbolic logic and some typical techniques for low power fsm logic synthesis and optimization 论文详细讨论了低功耗有限状态机综合与优化中的符号逻辑和一些典型方法。
2.
As a new branch of logic , semi - symbolic logic intends to break through the limitation of traditional and modern logic to build up a logical system , which is both rigorous and easily to understand 摘要半符号逻辑是一种新的逻辑分支，它试图突破传统和现代逻辑的局限性，建立一种既严格又易于掌握的逻辑体系。
3.
Symbol logic method is unable to guarantee the complement of knowledge description , which leads to complicated deducing process . we introduce fuzzy cognitive map into agent modeling and deducing , substitute symbolic description and inference with simple mathematical computing , achieving agent intelligent decision - making in complex environment 针对现有符号逻辑描述方法难以保证知识表达的完整性，推理过程陷于复杂的逻辑演绎的问题，作者引入了模糊因果关系的网络模型，基于模糊认知图理论构造agent推理模型，用简单的数值计算代替复杂符号系统的表示和演绎推理过程，实现了复杂环境下的agent智能决策。
