推论规则

characteristic function

特性函数

B皆为模糊集合)的规则下,当有一个输入(事实)" x is A' "时,y应该如何去推论出相对应之结果的处理方法. 我们现在对明确集合做一个正式的说明. 假设有一个明确集合A,它可以定义出一个称为特性函数 (Characteristic Function)的表示式,该表示式如下:

inference rule

推断规则

inference engine 推论引擎 | inference rule 推断规则 | infinite 无限大

predicate logic

述詞邏輯

本课程置重点於命题逻辑(prepositional logic)及述词逻辑(predicate logic)中自然演绎法(natural deduction)上. 在本课程中,学者们将会学到一些逻辑的基本观念与技巧,诸如有效性(validity)、真值表(truth-table)、语意树枝及推论规则等等.

endogenous

内生的

交易费用出来了,制序变量就成了"内生的"(endogenous)了. 因此,可以直观地推论出,制序(包括习俗、惯例、合约和正式制度规则)的出现,恰恰在于确保人们之间的合作. 可能正是基于这一推理,一种貌似正确但十分肤浅的观点认为,

Anopheles candidiensis：日月潭疟蚊

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

Gnome Milnes:GNOME：下的扫雷

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