能推理的

complete

完备的

能否提出一个新的逻辑系统它不必在逻辑上是完备的(complete)的,但能有效地应用于海量语义数据的推理?

decidability

可判定性

OWL-Full是OWL的三种子语言中表达能力最强的一个,适合在那些需要非常强的表达能力,而不用太关心可判定性(decidability)或是计算完全性的场合下使用. 不过也正是由于表达能力太强这个原因,用OWL-Full表示的本体是不能进行自动推理的.

infelicity

不吉

infeed 横进给 | infelicity 不吉 | inferable 能推理的

inferable

能推理的

infer 推断 | inferable 能推理的 | inference 推论

inferable

能推论的

inferable 能推理的 | inferable 能推论的 | inferae 下位系

inferable

能推理的; 能推论的 (形)

infer 推论出, 推断; 作推论 (动) | inferable 能推理的; 能推论的 (形) | inference 推论 (名)

inference engine

推理引擎

科学家运用人工智能推出的第一种具有真正突破性意义的产品是推理引擎(Inference Engine),该产品拥有一套囊括各种条件和规则的知识库. 像推理引擎这样的电脑能将一种特定条件--如病人发烧到摄氏40度--和特定条件(比方说细菌感染会导致高烧)匹配在一起来完成推理.

reasonable

合理的

所以,"合理的"(reasonable)限制条件至关重要,它和"理性的"(rational)有所不同,当我们说一个人是"理性的"时候,是指我们不知他的目的,而只知道他是理智地追求其目的;当我们说一个是人是"合理的"时候,是指我们知道他愿用能共同推理的原则指导其行为,

Skeptics

怀疑论者

沿着这一思路,产生了一批对法院审理案件的推理方式(即法律推理)进行批判性研究的怀疑论者(Skeptics). 以卢埃林(K.N.Llewellyn)为代表的"规则怀疑论者"对法律规则能指引法官判决的传统观点表示怀疑,认为法律推理的大前提(法律规则)具有不确定性,

wellhead

水源,源泉

inferable----能推理的 | wellhead----水源,源泉 | injection----注射

Anopheles candidiensis：日月潭疟蚊

\\"疟蚊属\\",\\"Anopheles\\" | \\"日月潭疟蚊\\",\\"Anopheles candidiensis\\" | \\"中华疟蚊\\",\\"Anopheles hyrcanus var. sinensis\\"

Gnome Milnes:GNOME：下的扫雷

2. Games:游戏软件 | 1) Gnome Milnes:GNOME下的扫雷; | 2) Gnibbles:贪吃蛇游戏;