By local rational theory of inductive reasoning, we modify the reasoning mode of common nonmonotonic logic, and so we provide a new formal method of inductive reasoning under the deductive model.
借助于归纳推理的局部合理性推论,本文修正了常见非单调逻辑的推理模式,从而提出了一种新的在演绎框架下实现归纳推理的形式方法。
First, a structural model has been put forward and constructed for general ICS ', then by utilization of formal language theory, the structural model formulated as a kind of context-free grammar.
本文走从语言文字描述至符号化再到形式化的崭新道路,首先为一般性的智能控制系统提出并建造了结构模型,然后利用形式语言理论将结构模型推导成了一种上下文无关文法。
This paper presents a formal approach to specify security model based on the theory of finite state machine(FSM) and the concept of communicating sequential process (CSP).
形式概念分析是从形式背景这一基本的数据形式开始的,因此形式背景的规模是影响概念格构造和应用的一个重要因素。
应用推荐