一种演绎推理或论据。
演绎逻辑是一种从一般到特殊的逻辑推理方法。
借助于归纳推理的局部合理性推论，本文修正了常见非单调逻辑的推理模式，从而提出了一种新的在演绎框架下实现归纳推理的形式方法。
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.
采用演绎推理的分析方法，讨论了带限制结盟的单调集对策的边缘值，该值是对经典集对策边缘值的一种推广，证明了带限制结盟单调集对策边缘值的一些性质。
In this paper the method of syllogism is used to discuss the marginalistic value for monotonic set games with restricted coalitions, which is the extension of the classical one and is also proved.
二级演绎数据库系统是一种结合一般数据库系统与PROLOG系统特点的演绎数据库系统，它分为数据库级和推理级两个不同的层次。
Two-level deductive database system is the amalgamation of conventional database and PROLOG system, which is divided into two levels: database level and inference level.
由于本体语言具有强大的演绎推理能力，目前采用本体来表示服务的语义信息是一种最佳的解决方案。
Because ontology languages possess strong deduction and ratiocination ability, currently, adopting ontology to represent services 'semantic information is one of the best solutions.
由于本体语言具有强大的演绎推理能力，目前采用本体来表示服务的语义信息是一种最佳的解决方案。
Because ontology languages possess strong deduction and ratiocination ability, currently, adopting ontology to represent services 'semantic information is one of the best solutions.
应用推荐