谓词逻辑

inconsistent

不一致的

一个WFF集为不一致的 (inconsistent) 当且仅当它并不是一致的--没有任何真值赋与可令集内的每一WFF同时为真. 逻辑系统有许多种. 不同的逻辑系统采用的人工语言也不同. 例如,谓词逻辑除包括语句逻辑的语汇外,还包括谓词 (predicates),

logical variable

逻辑变量 IN FOPC(一阶谓词演算)

115 LOGICAL OPERATORS 逻辑运算符/逻辑算子 | 116 LOGICAL VARIABLE 逻辑变量 IN FOPC(一阶谓词演算) | 117 LOGIC - BASED QUESTION ANSWERING 基于逻辑的问答

predicate logic

谓词逻辑

理论上,如果完全使用形式语言(formal language)和谓词逻辑(predicate logic)构造一种语言是可以做到完全无歧义的. 但这样绝对精确的语言是不适合人类这种不精确的生物的. 我们需要谐音来开玩笑,需要双关的语义来写诗歌,需要用模棱两可的语言来敷衍不...

predicate logic

述词逻辑 [谓词逻辑]

predicate calculus 述词计算 | predicate logic 述词逻辑 [谓词逻辑] | predicate-argument structure 述词论元结构

predicate logic language

谓词逻辑语言

predicate logic 谓词逻辑 | predicate logic language 谓词逻辑语言 | predicated response 预测响应

knowledge predicate logic

知道谓词逻辑

系词:which noun acts as predicate copulative verb | 知道谓词逻辑:knowledge predicate logic | 动词谓语句:verbal predicate sentence

first order predicate logic

一阶谓词逻辑

谓词逻辑 predicate logic | 一阶谓词逻辑 first order predicate logic | 非单调逻辑 nonmonotonic logic

predicate symbol

谓词符号

PI证明是谓词逻辑归结证明的一种重要类型,其中P指关于谓词符号(predicate symbol)的一种顺序,I是指某一个特定的解释. 但是在目前所见的许多文献中对PI推理的定义还有一些不妥之处,没有确保其中的每一步归结都是PI归结. 本文给出了一种新的PI推理的定义,

predicate variable

谓词变量

谓词逻辑 predicate logic | 谓词变量 predicate variable | 谓词符号 predicate symbol

Description Logics

描述逻辑

描述逻辑(Description Logics)就是一种建立在一阶谓词逻辑之上的用于描述本体数学性质的形式化工具 . 从表面上看来,描述逻辑并不是一阶谓词逻辑的子语言,也就是说它们采用的是不同的语言结构,但实际上描述逻辑从语义上对应着一阶谓词逻辑的一个部分(fragment),

Anopheles candidiensis：日月潭疟蚊

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

Gnome Milnes:GNOME：下的扫雷

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