以谓词的形式实时记录设计全过程，为后续自动推理模块提供接口。
Record the whole design process with predicts, supplying interfaces to automatic deduction module.
为了实现过程状态模型的智能输出，运用人工神经网络实现自动推理的功能；
In order to achieve intelligent process state model output, the use of artificial neural networks for automatic reasoning capabilities.
为了开发法律领域的自动推理系统，我们首先必须理解领域知识的本质特征。
To develop automatic legal reasoning systems, one should under-stand the essential features of domain knowledge.
根据一组导出的公理，应用自动推理技术，进行知识库维护与修改的有效性检查。
Based on a set of axioms, automated reasoning techniques are employ-edt to check the validity and integrity of the knowledge base maintenance and modification.
根据一组导出的公理，应用自动推理技术，进行知识库维护与修改的有效性检查。
Based on a set of axioms, automated reasoning techniques are employ-edt to check the validity and integrity of the knowledge base maintenance and mod...
主要研究运用主题图方法，表示信息资源的内容及相互间关系，并实现自动推理。
Mainly study how to express the content of information resources, the relation between them and relevant automatic reasoning method with Topic Maps approach.
自动推理的社会关系可能对设置邮件优先级的设定，或者建立用户可能同意的隐私设置很有帮助。
Automatically inferring the nature of social connections may be useful for prioritizing messages or establishing privacy settings that a user could then approve.
在几何自动推理问题的表示偶图中对应每一个几何体都会有多于一个的结点与之对应。
In the representing bigraph of automated geometric deduction, every rigid owns at least one knot.
几何自动推理的DM-分解算法是一个基于偶图DM -分解的几何自动推理方法。
The DM-decomposition algorithm is an automated geometric deduction method based on the DM - decomposition of bigraphs.
在此基础上，又提出基于模糊状态描述的新型不确定因果归纳自动推理机制，并讨论其在智能控制器研制中的应用。
On this basis, the new logic indeterminate causal inductive automatic reasoning mechanism which is based on fuzzy state describing is brought forward. At the end of this paper its app…
目前，几何自动推理的主要方法有：基于数值计算的方法、基于符号计算的方法、基于规则的方法和基于图论的方法。
Now, the main methodology of AGD includes: numeric based method, symbol based method, rule base method and graph based method.
工程师还有很多根本的问题尚未解决，包括机器人的知觉、如何建立周遭环境的模型、自动推理、物品操作和行进方式等。
Engineers have yet to solve fundamental problems involving robotic perception and world modeling, automated reasoning, manipulation of objects and locomotion.
语义建模技术，例如RDF，可以帮助简化对不同数据集之间自动进行推理所面临的问题，这些数据集是内嵌在数据存储介质中的。
Semantic modeling technologies, such as RDF, can help ease the problem of automatic reasoning between different data sets, provided that it is built-in to the data-store.
语义web的目标是创建Web基础设施，使用元数据对数据进行增强，从而使数据变得有意义，最终使数据变得适合进行自动化、集成、推理和重用。
The Semantic Web has the goal of creating Web infrastructure that augments data with metadata to give it meaning, thus making it suitable for automation, integration, reasoning, and re-use.
这是一个用于一阶和逻辑方程序的自动理论证明器，用于支持语言处理中的推理。
This is an automated theorem prover for first-order and equational logic, used to support inference in language processing.
给出了相干命题逻辑自然推理系统NR的自动证明算法。
This paper presented an automated reasoning algorithm for natural deduction system (NR) of relevance propositional logic.
在已建立的巡检知识库的基础上，运用巡检知识的推理实现了巡检计划自动生成。
Based on the constructed patrol knowledge base, use the reasoning mechanism of patrol knowledge to realize the auto generation of patrol scheme.
粗糙集理论最初在人工智能的某些分支，例如推理，自动分类，模式识别，学习算法等的研究中是很重要的。
The rough set concept can be of some importance, primarily in some branches of artificial intelligence, such as reasoning, automatic classification, pattern recognition, learning algorithms, etc.
由于采用了以用户导管质量需求为目标的驱动的推理机制，实现了导管弯曲加工工艺的自动生成。
Due to adoption of reasoning mechanism driven by quality requirements from users, automatic generation of tube bending processing was realized.
计算机能够自动的通过逻辑推理规则来推理这些用形式化语言描述的陈述。
A computer can reason about statements in these formal languages automatically using logical inference rules.
自适应神经网络模糊推理系统(ANFIS)能基于数据建模，无须专家经验，自动产生模糊规则和调整隶属度函数。
Applying Adaptive Neural-Fuzzy Inference System (ANFIS) can produce fuzzy rules and adjust membership functions automatically based on data without experience of experts.
推理过程中通过对规则的搜索和匹配，自动生成合理的采掘接替计划。
The ratiocinate program generate automatically a reasonable mining scheduling by searching and matching rules.
针对数控机床进给系统特点及其性能要求提出了一种参数自整定模糊pid控制器，利用模糊推理的方法实现对PID参数的在线自动调整。
Based on the feature of the nc system and its performance demands, this paper brings forward a self-adaptive fuzzy PID controller to realize PID parameters self-adaptive online.
基于人工通过地物结构推理匹配关系进行配准的想法，提出了一种基于结构的SAR图像自动配准算法。
Based on the idea that human observers could greatly simplify the matching problem at the level of object structure, a structure-driven SAR image automatic registration algorithm was proposed.
自动程序设计系统APA使用类比推理技术，向过去经验学习编写新的LISP程序。
APA, an automatic programming system, can use analogical reasoning to learn from past experience and construct new LISP programs.
使得系统能够在不确定的环境中自动地进行学习和推理。
Systems can learn knowledge and perform reasoning under the uncertainty environment automatically.
整个网络既有神经网络的学习能力，又有模糊系统的基于规则的推理能力，特别是对子类的自动聚类能力。
The whole network has not only the learning ability to neural network, but also the logic ability to fuzzy system based on rules, especially the automatic clustering ability to sub-class.
整个网络既有神经网络的学习能力，又有模糊系统的基于规则的推理能力，特别是对子类的自动聚类能力。
The whole network has not only the learning ability to neural network, but also the logic ability to fuzzy system based on rules, especially the automatic clustering ability to sub-class.
应用推荐