摘要
主要讨论DFL谓词描述下的归结推理方法,它是一种机器化的可在计算机上加以实现的推理方法.首先介绍DEL命题下的归结方法,最后介绍DFL的归结原理及方法.
This paper mainly discusses the resolution methods of DFL predicate logic, the methods can be implemented on the computer. We first Put forword the resolution method of DFL proposition logic,then resolution principle and the resolution methods at dynamic ho logic are proposed of the end at the Paper.
出处
《计算机工程》
CAS
CSCD
北大核心
2001年第3期86-89,118,共5页
Computer Engineering
基金
国家自然科学基金
苏州大学科研处基金项目