| 基于一种树型方法的自动推理 |
| |
| 引用本文： | 许道云. 基于一种树型方法的自动推理[J]. 贵州大学学报(自然科学版), 1989, 6(4): 206-211 |
| |
| 作者姓名： | 许道云 |
| |
| 作者单位： | 贵州大学计算机科学系 贵阳 |
| |
| 基金项目： | 贵州大学青年科学基金资助课题 |
| |
| 摘 要： | 根据表方法建立了一种树型证明方法,在机器实现方面比表方法优越,而且还可以证明这一方法是可靠的和完备的.以PROLOG语言为背景,实现了由此方法而建立的命题逻辑中命题演绎的自动推理.
|
| 关 键 词： | 表方法 树型方法 自动推理 |
Antomatic Inference Based Tree-type Method |
| |
| Xu Daoyun. Antomatic Inference Based Tree-type Method[J]. Journal of Guizhou University(Natural Science), 1989, 6(4): 206-211 |
| |
| Authors: | Xu Daoyun |
| |
| Abstract: | According to tablean method we eastablish a tree-type method. It is superior to the former, and we can prove that the inference for this method is sound and completable. Using PROLOG language,we establish automatic inference based this method about proposition logic. |
| |
| Keywords: | tablean method tree-type method closed tree automatic inference. |
| 本文献已被 CNKI 维普 等数据库收录！ |
|
