automated reasoning
自动推理
To enhance the accessibility of research maps, each assertion would be stated in an unambiguous vocabulary. There are now numerous such vocabularies for automated reasoning, called ontologies (e.g. available through the National Center for Biomedical Ontologies or NCBO). Unlike natural languages (e.g. English), biomedical ontologies map one entity into one term. For instance, the word 'nucleus' is ambiguous between a cluster of cells, the nucleus of a single cell, and an atomic nucleus. The different senses of 'nucleus' receive different terms in biomedical ontologies, so that when data is annotated with one of these terms, there is no ambiguity to confound a search over that data, and no ambiguity to confound automated reasoning.
自动推理是将推理过程形式化成一系列符号，并借助计算机自动地按某种规则对这些符号实施一系列演算的过程。
automated reasoning
来自翻译宝典
- 英语>简体中文, 专利术语
automated reasoning
自动推理，自动推理法
自动推理，自动推理法
- 英语>简体中文, 英汉计算机词汇
automated reasoning
自动推理
自动推理
- 英语>简体中文, 英汉机械大词典
automated reasoning
自动推理
自动推理
- 英语>简体中文, 简明英汉词典
automated reasoning
自動推理
自動推理
- 英语>繁体中文(台湾), 电子计算机名词
