出自医学信息学大百科
形式化体系（Formalism）
A set of symbols and a collection of systematic rules governing their uses and interrelations. See also Knowledge Representation, Logic.
一套符号（Symbols）以及控制这些符号的使用和相互关系的一系列系统化规则（Systematic Rules）。
- 参见：知识表达（Knowledge Representation）；逻辑（Logic）
英文定义来源
