formal logic language
常見(jiàn)例句
- The second part analyzes the formal language of knowledge predicate logic.
分析知道謂詞邏輯的形式語(yǔ)言。 - Based on F-logic and O-logic, a formal description language of ontologies with value restrictions is proposed.
基于F-邏輯和O-邏輯，提出了一種帶值限制的本體形式表示語(yǔ)言。
ceaj.org - Description logic is a formal language for representing knowledge and it is a decidable subset of first-order logic.
描述邏輯是一種知識(shí)表示的形式化語(yǔ)言，是一階邏輯的可判定子集。 - 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