自动推理

对于自动推理和规划问题，NP完全问题只是相对最为简单的一类问题。

With regard to the automated reasoning and the planning , NP-complete problem is one of the simplest problems .

tableau作为自动推理的有效方法之一在许多人工智能领域中有重要的应用。

As one of effective automated reasoning methods , tableau has been applied to many important AI fields .

知识标记与自动推理Web服务的研究

Research on Knowledge Markup and Automated Reasoning Web Service

基于DFL的多Agent自动推理平台设计

Design of Auto-Reasoning Platform of Multi-Agent Based on DFL

这些研究结果为基于Petri网模型的归结自动推理提供了简单有效的推理方法。

All these results are efficient and helpful for the automated inference based on Petri net . 3 .

几何自动推理是智能化CAD技术的核心部分之一，有四种经典的推理方法，然而每一种方法都有自己的缺憾。

Automated geometry reasoning is one of the core technique of CAD . There are four inference methods in the field of automated geometry reasoning .

本文在分析语义Web的支撑技术和本体知识库的理论后，着重研究基于本体知识库系统的自动推理技术，分逻辑推理和传统的规则推理两方面进行研究。

This thesis firstly analyzed major techniques widely used in semantic web and also ontology theory . It then focused the researches on reasoning techniques in the context of ontology knowledge base systems .

以PROLOG语言为背景，实现了由此方法而建立的命题逻辑中命题演绎的自动推理。

Using PROLOG language , we establish automatic inference based this method about proposition logic .

自动推理是人工智能研究领域最重要的研究方向之一，知识编译（KnowledgeCompilation）是近年来提出的卓有成效的推理问题处理方法之一。

In fact , automate reasoning is also an important research direction in artificial intelligence , and knowledge compilation is one of the most efficient approach for dealing with reasoning problems .

基于Rete算法的几何自动推理系统

The Automated Geometry Reasoning System Based on Rete Algorithm

本文恰是从事这方面的工作，研究一个带有自动推理功能的程序设计ICAI系统。

TheIn this thesis an ICAI system is built for this subject using automatic reasoning .

有关测试表明：通过该模块转换后的CIM基本没有概念丢失，并且可以很好满足机器自动推理计算要求。

The related experiments prove that the translated CIM hardly has any loss of concepts and can be inferred by computer . 3 .

基于OBDD的装配序列自动推理技术研究

Automatic Reasoning of Assembly Sequence Based on OBDD

基于格值命题逻辑LP（X）的α-归结原理及α-归结自动推理方法，能够较好地刻画具有可比较性和不可比较性的不确定性信息。

The α - resolution principle and the α - automated reasoning method based on lattice-valued ( propositional ) logic LP ( X ) can be used to model uncertain information that may be comparable or ( incomparable . )

模糊自动推理软件FAIC的设计与实现

The Design and Realization of a Fuzzy Automatic Inference Software FAIC

几何自动推理是智能化CAD的技术核心，几何自动推理是指利用计算机，自动生成满足设计者意图的图形，它能够提供因修改而导致约束改变时图形的自动生成。

Automated geometric deduction is the core of intelligence CAD technology . By using computer , the automated geometric deduction generates graphs satisfying the aim of designer automatically , and can provide the graph which is created automatically when the constraints are changed with the modifying of some results .

为了提高推理引擎的推理效率，作者首次将Rete模式匹配算法整合到推理引擎中，构造了一种高效的几何自动推理引擎，称为几何自动推理网。

In order to improve the efficiency of the reasoning engine , a new geometry theorem proving method , named automated geometry reasoning network was put forward , in which the Rete pattern matching algorithm is integrated into the reasoning engine .

比如，在数学方面有著名的GeometryTutor、BUGGY系统、张景中的立体几何、解析几何智能教学软件等：在化学方面则有王晓京的基于自动推理的新型ICAI化学系统等。

For example , in mathematics there are tools such as Geometry Tutor , Buggy System , Solid Geometry by Zhang JinZhong , and Analytic Geometry Intelligent Tutoring Software , and in Chemistry there is the New ICAI Chemistry System Based on Automatic Reasoning by Wang XiaoJin , among others .

然而，目前基于并行技术的几何自动推理问题的研究工作还很少。

However , there are few done based on parallel technique .

基于知识和语义网络的加工流程自动推理算法

Auto-reasoning methodology based on knowledge and semantic net in process planning

一个基于知识库及自动推理机制的化学反应系统

A chemical reaction system based on a knowledge-base and automated reasoning

基于神经网络的自动推理理论及方法的研究

Study on Automated Reasoning Theory and Method Based on Neurol Network

基于模糊状态描述的不确定因果归纳自动推理机制

Indeterminacy Causal Inductive Automatic Reasoning Mechanism Based On Fuzzy State Describing

城市街道注记离散化定位的自动推理方法

Automated Reasoning on Discrete Placement of Street Names on City Map

引入多线程技术，实现了网络自动推理。

Using thread technology , it also realizes self-inference of network .

基于前向推理的平面解析几何自动推理系统研究与实现

Automatic reasoning system of plane analytic geometry based on forward reasoning

智能教学系统中自动推理模块的设计与实现

Design and Implementation of the Automatic Reasoning Module of Intelligent Tutoring System

添加辅助线辅助点在计算机自动推理中的研究

Research on adding auxiliary line and auxiliary point in computer automatic reasoning

基于路径搜索的格值命题逻辑自动推理方法

Automated Reasoning Method Based on Path Searching for Lattice Propositional Logic Formulae

几何自动推理的奇异性分析是几何自动推理中一个非常重要的研究课题。

The unconventional analysis of geometric automatic reasoning is very important question .