目前常用的知识表示方法有七种,分别是:一阶谓词(First order predicate)表示法;产生式(Produc-tion)表示法;框架(Framework)表示法;语义网络(Semantic Networ..
基于36个网页-相关网页
... 一阶微分算子 first order differential operator 一阶谓词 predicate of first order 一阶谓词逻辑 first order predicate logic ...
基于6个网页-相关网页
一阶谓词逻辑 first-order predicate logic ; First Order Predicate Calculus ; [数] predicate logic of first order ; FOPL
一阶谓词演算 FOPC
分布一阶谓词逻辑 distributed first-order predicate logic
的一阶谓词逻辑 FOL ; first order logic
一阶谓词的积分 FOPC
一阶纯谓词演算 pure predicate calculus of first order
一阶模糊谓词逻辑 First-order Fuzzy Predicate Logic
提升性能的一阶谓词，如果重写为索引。
Stage 1 predicates that can improve performance if rewritten as indexable.
一阶谓词逻辑是现代逻辑中最为经典的演算系统。
Predicate logic of first order is the most classical calculation system in modern logic.
描述逻辑是一阶谓词逻辑的可判定子集，具备强大的知识表示和推理功能。
Description Logics (DLs) is a decidable subset of first-order predication logic which possesses powerful function of knowledge expressing and reasoning.
应用推荐