断言

antecedent

前项

在这种系统中,通常称每个if部分为前项(antecedent),称每个then部分为后项(consequent). 在基于规则系统中,每个if可能与某断言(assertion)集中的一个或多个断言匹配,then部分用于规定放入工作内存的新断言. 当then部分用于规定动作时,

consequent

后项

在这种系统中,通常称每个if部分为前项(antecedent),称每个then部分为后项(consequent). 在基于规则系统中,每个if可能与某断言(assertion)集中的一个或多个断言匹配,then部分用于规定放入工作内存的新断言. 当then部分用于规定动作时,

unary

一元的

一共有两种断言变量:一元的(unary)和二元的(binary). 一元断言带有一个参数,而二元断言带有二个参数. 这些函数返回true/false. 但返回true或false的精确条件是由你定义的. 在本章的剩余部分,当需要一元断言函数时,将用符号UnPred表示.

The newspaper alleges the mayor's guilt

断言,宣称

alien 外国的 adjust to an alien culture | allege 断言,宣称 The newspaper alleges the mayor's guilt. | allocate 分配,分派,把...拨给 allocate funds for new projects

asserting

声称;断言

depict 描写 | asserting 声称;断言 | artistic 艺术的

Rash judgments, nor the sneers of selfish men

匆促的断言,或自私者的嘲笑

128 With lofty thoughts, that neither evil tongues, 来充实,所... | 129 Rash judgments, nor the sneers of selfish men, 匆促的断言,或自私者的嘲笑, | 130 Nor greetings where no kindness is, nor all 或无善...

assertions

断言,主张

exaggerated 夸张的 | assertions 断言,主张 | offended 被冒犯 adj.offensive

conditional assertions

条件断言

条件效果:conditional effects | 条件断言:conditional assertions | 条件独立性:conditional independence

Modifiers and Assertions

修饰符和断言

7. Putting it together 将其组合在一起 | 8. Modifiers and Assertions 修饰符和断言 | 10. Look Aheads 查询Aheads

anatta

无我(佛教基本教义之一, 断言否认灵魂的说法)

anatropous || (胚珠)倒生的 | anatta || 无我(佛教基本教义之一, 断言否认灵魂的说法) | anatto || 胭脂树,从其果实采取的黄红色染料

uniovular twin：真孪生

uncompetitative inhibition 非竞争性抑制 | uniovular twin 真孪生 | unit membrane 单位膜

play off one against the other：挑拨离间, 从中得利

play off (难分胜负的)延长赛 使出丑 嘲弄 以...冒充 假装有病 | play off one against the other 挑拨离间, 从中得利 | play off one against another 挑拨离间, 从中得利