|
|||||
|
|
| OLS—一个描述理论与实践交互作用的逻辑系统 | |
| 引用本文： | 李未.OLS—一个描述理论与实践交互作用的逻辑系统[J].北京航空航天大学学报,1992(3):1-11. |
| 作者姓名： | 李未 |
| 作者单位： | 北京航空航天大学计算机科学与工程系 |
| 摘 要： | 定义了认知过程中出现的反例及反驳两个概念,定义了一个描述理论与实践交互作用的逻辑系统OLS,此系统由证明演算及假设演算组成。当反例(或反驳)出现时,通过假设演算,人们可以修改假设,使修改后的假设不仅是可满足的而且包含反例(或反驳)作为其逻辑结论。OLS在机器学习、知识获取、软件开发、故障诊断及知识库维修方面有着广泛的应用前景。 |
| 关 键 词： | 反例 反驳 证明演算 假设演算 |
| 本文献已被 CNKI 维普 等数据库收录！ | |