Within this model, semantic analyses are discussed for axioms of the formal reasoning system in modal logic.
其目的就是要在这种模型中，对模态逻辑形式推理系统的公理进行语义分析。
This paper holds that the scientific mode of legal deduction should be the organic unification of formal reasoning and substantial reasoning.
法律推理的科学模式应是形式论证与实质论证的有机统一。
A business ontology is a formal specification of business concepts and their interrelationships that facilitates machine reasoning and inference.
业务ontology已经成为业务概念及其关系的一种正式规范，它们可以简化机器推理的过程。
The results showed: (1) the solution of transitive reasoning with spatial and temporal contents supported the mental model theory, not the formal rule theory.
结果发现：（1）空间位置和时间关系的推理结果都支持心理模型理论，而不支持形式规则理论。
Under the formal method, the notion of deduction in the classical logics captures the intuitively correct forms of reasoning.
在形式化方法下，经典逻辑通过严格概念推演表达正确推理形式的直观概念。
The reasoning mechanism of PTES can deal with both uncertain facts and uncertain rules in a formal way by employing possibilistic logic and fuzzy set theory as its logical basis.
PTES的推理机制使用了可能性逻辑及模糊集合理论作为其逻辑基础，并以一种形式化的方法提供了处理非确定事实及非确定规则的能力。
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.
借助于归纳推理的局部合理性推论，本文修正了常见非单调逻辑的推理模式，从而提出了一种新的在演绎框架下实现归纳推理的形式方法。
The resulted formal framework reasoning about policy equivalence, policy conflict and policy cooperation has more advantages over ones described in literature.
形式框架支持推理多策略的策略等价，策略冲突及策略协作，在多方面优于目前文献中的形式框架。
This paper first introduces the formal model of RMS. Then, it puts stress on discussing the consistency preservation problem to remove contradicts in reasoning systems.
本文首先给出了RMS的形式模型，而后，重点讨论了系统中用以消除矛盾的一致性维护问题。
There are three kinds of legal reasoning and argumentation paths and models: formal logic, rhetoric and dialogue.
法律论证主要有三种进路和论证模式：形式逻辑、修辞和对话。
There are three kinds of legal reasoning and argumentation paths and models: formal logic, rhetoric and dialogue.
法律论证主要有三种进路和论证模式：形式逻辑、修辞和对话。
应用推荐