系统内符号变换的依据是若干确保由重言式导出重言式的规则，称作推理规则（rules of inference） 公理和推理规则确保系统内由正确的前提总能得到正确的推理结果
基于30个网页-相关网页
...示法 知识表示法 •逻辑（Logic） – 语言正规而简单（formal syntax） – 严密的理论 – 完整的推理法则（rules of inference） – 可证性 – 弹性大 •模组性高（modularity） •不容易表示有处理（processing）和控制（control）的 知识 Expert Systems ss...
基于24个网页-相关网页
...E 2.15 • (p→q) ≡ (¬q →¬p) EXAMPLE 2.16 (p ∨ q) ∧¬(¬p ∧ q) p Logical Implication: Rules of Inference (推论法则) • 推论(inference)、论证(argument) • 逻辑要处理的题材就是推论(inference)， 不过在逻辑学界和哲学界大多是称为论证 (argum...
基于8个网页-相关网页
completeness of rules of inference 推理规则的完备性
composition rules of inference 合成推理规则
compositional rules of fuzzy inference 模糊关系合成法则
soundness of inference rules 推理规则的合法性
rules of mixed relational inference 混合关系推理规则
This paper also explores some rules of inference in classical logic and modal logic, and discusses the validity of these rules of inference in daily life.
与此相关，考察经典逻辑和模态逻辑中的某些推理规则，讨论这些推理规则在日常推理中的有效性问题，是十分必要的。
According to these relations, rules of inference control are generated and used to modify the data queried by generic users dynamically and most parsimonious ly so as to eliminate inference channels.
利用这些规则对数据库系统返回给普通用户的数据动态地做最小修改，防止推理通道的产生。
Examples of stateful rules include most event correlation rules and some USES of inference rules.
有状态规则的例子包括大部分事件相关规则和一些推理规则的使用。
应用推荐