The server is under maintenance between 08:00 to 12:00 (GMT+08:00), and please visit later.
We apologize for any inconvenience caused
Login  | Sign Up  |  Oriprobe Inc. Feed
China/Asia On Demand
Journal Articles
Bookmark and Share
er zhi wei ci luo ji zhong gong shi de xiang liang zhen du
Pages: 740-744
Year: Issue:  8
Journal: Pattern Recognition and Artificial Intelligence

Keyword:  计量逻辑向量真度准真度概率测度;
Abstract: 首次将谓词逻辑系统中一阶语言的有限解释按照其论域的势进行分层,提出每一层解释类下公式的n真度,最终给出公式向量真度的定义,更直观精确地刻画一阶公式的真实程度.接着证明向量真度的一些基本性质,指出向量真度保持谓词逻辑形式推理的MP规则、HS规则与推广规则,从而为进一步在谓词逻辑系统中开展近似推理研究提供一种可能的框架.
Related Articles
No related articles found