go top

automated reasoning

  • [计] 自动推理

网络释义专业释义英英释义

  [计] 自动推理

自动推理Automated reasoning)作为计算系统按照不雅察看到的证据做出新推论的一种能力,已经引起了很多研究团体的存眷。

基于2425个网页-相关网页

 

... 㨑 编程逻辑与验证(program logic and verification) 自动推理(automated reasoning) 编译器(compilers) ...

基于1个网页-相关网页

 

... 僚 编程逻辑与验证(program logic and verification) 自动推理(automated reasoning) 编译器(compilers) ...

基于1个网页-相关网页

短语

automated reasoning tool 自动化推论工具 ; 自动推理工具英语 ; 翻译

Automated Reasoning and Verification 自动推理和验证

Journal of Automated Reasoning 编委 ; 自动推理杂志

association for automated reasoning 协会为自动化推理

automated reasoning algorithm 自动推理算法

resolution automated reasoning 归结自动推理

Distributed automated reasoning 分布式自动推理

ART automated reasoning tools 自动推理工具ART

Automated Modeling and Reasoning 自动建模和推理

 更多收起网络短语
  • 自动推理 - 引用次数:35

    参考来源 - Tableau基础理论及应用研究
  • 自动推理 - 引用次数:10

    We often encounter the problems of solvability of equations on lattice implication algebra in the process of researching on uncertainty reasoning and automated reasoning.

    在对不确定性推理自动推理进行研究的过程中往往会遇到格蕴涵代数中方程的可解性问题。

    参考来源 - 关于格蕴涵代数方程的研究

·2,447,543篇论文数据,部分数据来源于NoteExpress

Automated reasoning

  • abstract: Automated reasoning is an area of computer science and mathematical logic dedicated to understanding different aspects of reasoning. The study of automated reasoning helps produce software that allows computers to reason completely, or nearly completely, automatically.

以上来源于: WordNet

双语例句

  • Deciding satisfiability of clause set is one of the active research topics in the automated reasoning field.

    子句可满足性判定自动证明领域热点之一

    www.joca.cn

  • This paper presented an automated reasoning algorithm for natural deduction system (NR) of relevance propositional logic.

    给出相干命题逻辑自然推理系统NR自动证明算法

    www.dictall.com

  • 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...

    根据导出公理,应用自动推理技术进行知识库维护修改有效性检查

    dict.cnki.net

更多双语例句
$firstVoiceSent
- 来自原声例句
小调查
请问您想要如何调整此模块?

感谢您的反馈,我们会尽快进行适当修改!
进来说说原因吧 确定
小调查
请问您想要如何调整此模块?

感谢您的反馈,我们会尽快进行适当修改!
进来说说原因吧 确定