自动推理的英文

• automated reasoning

• "自动"英文翻译    voluntarily; of one's own ac ...
• "推理"英文翻译    inference; ratiocination; il ...
• "自动推理工具" 英文翻译 :    automated reasoning tool
• "自动推理系统" 英文翻译 :    automated inference system
• "自动推" 英文翻译 :    autopush
• "目标驱动推理" 英文翻译 :    goal-driven reasoning
• "预期驱动推理" 英文翻译 :    expectation driven reasoning
• "自动推动器" 英文翻译 :    self-mover
• "自动推杆器" 英文翻译 :    stick kicker; stick knocker; stick pusher
• "自动推进" 英文翻译 :    automatic feed; self-propulsion
• "自动推进的" 英文翻译 :    self-propelled; self-propelling; sp
• "自动推力" 英文翻译 :    a/thr automatic thrust; a/thr autothrust
• "自动推论" 英文翻译 :    automating reasoning
• "自动推拿床" 英文翻译 :    auto ma age bed; auto massage bed
• "非自动推进的" 英文翻译 :    non-propelled
• "页面自动推进" 英文翻译 :    automatic advancing of printer page
• "自动推动杆器" 英文翻译 :    pusher installation
• "自动推杆系统" 英文翻译 :    pusher
• "自动推杆装置" 英文翻译 :    stick-pusher system
• "自动推进武器" 英文翻译 :    projectiles
• "自动推进炸弹" 英文翻译 :    self-propelled bomb
• "自动推进装置" 英文翻译 :    automatic feed unit; drill autofeeder
• "自动推算航迹" 英文翻译 :    automatic dead reckoning
• "自动的自动推进的" 英文翻译 :    automatous automotive; automotive
• "潮汐自动推算机" 英文翻译 :    tide predicting machine

• Automated reasoning and equation solving with the characteristic set method
  基于特征列方法的自动推理与方程求解
• The in this thesis an icai system is built for this subject using automatic reasoning
  本文恰是从事这方面的工作，研究一个带有自动推理功能的程序设计icai系统。
• Meanwhile , in order to automatically reason , an automatic reasoning program is developed based on artificial intelligence
  为帮助对模型进行推理分析,还采用了人工智能中的自动推理技术,编写了自动推理程序。
• In automated theorem pidving , auomated reasoning methods of propositional calculus provide with edtersal naoning method for other iogic sywt
  在自动推理理论与应用的研究中，命题逻辑系统中的方法和内容具有广泛的适用性。
• Alti1ough neuial network gets a satistw soluhon of prob1em , it is not deted to use ned ned solving problem of automated reasoning
  尽管神经网络寻找到的解是一个满意解，但这不影响我们考虑将神经网络技术应用于自动推理理论与方法中。
• In this thesis , reasning based medel and resolution principle are deeply studied , and using netal network partly driplement automated reasoning
  本文在对命题逻辑系统的模型推理和归结原理研究的基础上，尝试利用神经网络部分实现自动推理。
• Engineers have yet to solve fundamental problems involving robotic perception and world modeling , automated reasoning , manipulation of objects and locomotion
  工程师还有很多根本的问题尚未解决，包括机器人的知觉、如何建立周遭环境的模型、自动推理、物品操作和行进方式等。
• In 1989 , academician wu wen - tsun forwards wu differential characteristic method which establish theoretical basis for mechanical theorem proving of differential geometry and the research of automatic reasoning
  1989年吴文俊院士提出了吴?微分特征列法，为微分几何定理的机械化证明和自动推理的理论研究奠定了理论基础。
• 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
  本文在分析语义web的支撑技术和本体知识库的理论后，着重研究基于本体知识库系统的自动推理技术，分逻辑推理和传统的规则推理两方面进行研究。
• In proposbonal calculus , the processing ofresoluhon pdriciple have combination explosion naturally so , how to eltw combinaion explosion in the processing of resolution ( genetal showed computationaily hard problem ) is an in1portan subject in automated theorem proving
  命题逻辑系统中的归结原理本质上存在组合问题，因此，如何避免组合问题(通常以计算复杂性的形式出现)是自动推理研究中的一个重要课题。

• 自动推理的法语：Raisonnement automatisé
• 自动推理的韩语：자동화된 추론
• 自动推理的阿拉伯语：منطق آلي;