...词 法律推理 司法判决推理 形式推理 实质推理 [gap=289]Key Words : Legal Reasoning ; Judicial Reasoning ; Formal Reasoning ; Substantive Reasoning ...
基于174个网页-相关网页
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已经成为业务概念及其关系的一种正式规范，它们可以简化机器推理的过程。
应用推荐