formal logic language
常见例句
- The second part analyzes the formal language of knowledge predicate logic.
分析知道谓词逻辑的形式语言。 - Based on F-logic and O-logic, a formal description language of ontologies with value restrictions is proposed.
基于F-逻辑和O-逻辑，提出了一种带值限制的本体形式表示语言。
ceaj.org - Description logic is a formal language for representing knowledge and it is a decidable subset of first-order logic.
描述逻辑是一种知识表示的形式化语言，是一阶逻辑的可判定子集。 - Brown based the grammar for his ten-thousand-word language, called Loglan, on the rules of formal predicate logic used by analytical philosophers.
NEWYORKER: Utopian for Beginners 返回 formal logic language