1)Automated Reasoning自动推理
1.Expression Reasoning in Automated Reasoning;平面几何中复杂表达式的自动推理
2.Interactive system of mathematical Web services based on AJAX and automated reasoning technologies;基于AJAX和自动推理技术构建交互式数学Web服务
3.Automated Reasoning and Intelligent Platform for Education Software;自动推理与教育软件智能平台
英文短句/例句
1.Automated Reasoning Based on Tableaux;基于tableau的自动推理研究
2.The Study of Automated Resolution Reasoning Based on Model of Petri Net;基于Petri网模型的归结自动推理研究
3.Research on Technologies of Semantic Web Based Automatic Reasoning;基于语义Web的自动推理技术研究
4.The Research on Several Issues of Automated Reasoning and Artificial Intelligent Planning;自动推理和智能规划中若干问题研究
5.Study on Automated Reasoning Theory and Method Based on Neurol Network基于神经网络的自动推理理论及方法的研究
6.Research on Automatic Reasoning Techniques of Semantic Web in the Context of Ontology Knowledge Systems;语义Web中基于本体知识库系统的自动推理研究
7.The Research on ICAI of Programming with Function of Automatic Reasoning;带有自动推理功能的程序设计ICAI系统研究
8.Research on Interaction Technology Based on Automated Geometry Reasoning基于几何自动推理的智能交互技术研究
9.Autodetect proxy settings (recommended)自动检测代理服务器设置（推荐）
10.HAZOP Automatic Reasoning Based on the LDG Model for HAZOP Analysis;基于LDG模型的HAZOP自动化推理
11.Video Semantic Annotated Automatically Based on Bayesian Inference;基于贝叶斯推理的视频语义自动标注
12.Automated reasoning for natural deduction system NR of relevance propositional logic相干命题逻辑自然推理系统NR的自动证明
13.The Technical Research of Emergent Event's Auto-process Based on Rule Reasoning基于规则推理的应急事件自动处理技术研究
14.self propelled bulldozer and angledozer自动推进的推土机和斜铲推土机
15.On the Pushing Force of Tourism Towards the Developing of Economy of Dali Bai Narionality Autonomous Prefecture论旅游对大理白族自治州经济增长的推动作用
16.Fuzzy Cognitive Maps for Decision Support in Automatic Intrusion Response Mechanism基于模糊认知图的自动入侵响应决策推理机制
17.Automatic Case Acquisition in Case-Based System Using Data Mining范例推理中范例自动获取的数据挖掘技术
18.Research of CBR-based Reasoning Framework for Automating HAZOP Analysis;基于案例推理的HAZOP分析自动化框架的研究
相关短句/例句
automatic reasoning自动推理
1.The Research on ICAI of Programming with Function of Automatic Reasoning;带有自动推理功能的程序设计ICAI系统研究
2.Logic meaning of kinship relations and kindred automatic reasoning亲属关系的逻辑意义及其自动推理
3.On this basis,the new logic indeterminate causal inductive automatic reasoning mechanism which is based on fuzzy state describing is brought forward.在此基础上 ,又提出基于模糊状态描述的新型不确定因果归纳自动推理机制 ,并讨论其在智能控制器研制中的应用。
3)automatic reasoner自动推理机
4)automatic analogy reasoning自动类比推理
5)automated reasoning algorithm自动推理算法
1.Automated Reasoning Algorithm Based on Sub-regular Generalized literals of Lattice-valued Propositional Logic L_(2n+1)P(X)格值命题逻辑系统L_(2n+1)P(X)中基于半正则广义文字的自动推理算法
2.Based on the magnifying or reducing resolution principle,an automated reasoning algorithm is given which can be used to decide if a clause set S is M-satisfiable,where M is an intermediate element of L9,and its soundness and completeness are proved.给出了格值命题逻辑系统L9P(X)上的放缩原理和放缩归结原理,基于放缩归结原理,给出了一种判断L9P(X)上子句集S为M-可满足的自动推理算法(这里M为L9上的中界元),并证明了其可靠性和完备性。
6)Distributed automated reasoning分布式自动推理
延伸阅读
自动推理 自动推理 automated reasoning 2 idong tuili自动推理(aut~ted re翻沁ning)在计算机支持下实现推理，求解问题。它是人工智能领域中的重要研究课题。在60年代中期以前，定理机器证明的注意力还仅仅限于数学方面。从60年代后期开始，定理机器证明领域的研究者已开始将注意力转向数学以外的其它领域，诸如程序自动生成、逻辑程序设计以及更一般的智能系统中的推理问题。 定理机器证明的研究是自动推理领域中的先驱性工作。70年代专家系统和知识工程的出现，使人们认识到，仅仅研究从真前提得出真结果的古典推理方法是不够的。因为人类面对的是一个充满不确定信息的环境。人类在这种环境里进行着有效的思考和推理。因此，为了建立类似于人的智能系统，研究那些更接近人类思维方式的推理，例如，非单调推理，模糊推理等等，就变得越来越必要了。 目前自动推理的研究，一方面，表现在专家系统中，各种面向特殊问题的推理方式的研究，例如，DEND]凡叼J系统的用于化学合成的推理，PRC6PECIDR的用于地质方面的推理，N八℃IN的用于医疗诊断的推理等等;另一方面，在计算机辅助推理的研究上，也取得成果。例如，以L.W比为首的小组在美国Ar即Ilne国，家实验室建立的八刀RA系统，这个系统已经帮助人们回答了以前在数学和形式逻辑方面的一些未解问题。随之而来的，面向自动推理的程序语言，如PR()仪X二，也引起了研究者的兴趣。 自动推理领域的研究还是初步的，诸如领域知识的表示，推理规则的控制策略等重要问题，都没有满意的解决。一个明显的例子是:人能进行迅速推理的很多问题，用自动推理程序时，仍要花费大量时间。推理程序和人之间的通信仍很困难，自然语育处理方面的工作和自动推理的进展有重要关系。L.W洗认为解决自动推理的关键是利用现在和将来的推理程序对已经解决和尚未解决的问题进行实验，从而导致新的推理规则和有效策略的发现。例如，对数论问题求解的尝试，导致L.W咙发现了调解方法。 自动推理包含下面一些研究内容:定理机器证明、程序正确性验证、程序自动生成、逻辑程序设计、非单调推理、模糊推理、约束推理、定性推理、类比推理、归纳推理、自然演绎法、归结方法，重写方法，吴方法等等。 自动推理的近期目标是:得到各种推理程序，它们中的每一个都相当于一个自动推理助手，人们应该能有效地和这个助手“交谈”。远期目标应该是:当你向这样一个程序提出问题后，你就可以去考虑别的问题了;当你再回来时，原来的问题已经解决了，丝毫没有你的帮助和干涉。 日本在执行其五代机研制的十年计划中得到如下一个看法:新一代计算机应该是一种新概念下的计算机。它的机器语言应该是像PROI丈心语言那样的谓词逻辑符号串。用逻辑表示信息，用逻辑推理解决问题将是新一代计算机的特征。因此，这种计算机的基本操作不再是算术运算，而是逻辑推理。所以，自动推理的研究，对于未来一代新型计算机的设计是很有必要的。
