本文提出了一种约束子句的消解原理，其中测试是否满足约束理论的约束取代了一致化。
A resolution principle for constrained clauses is proposed, where unification is replaced by testing constraints for satisfiability over the cons...
本文提出了一种约束子句的消解原理，其中测试是否满足约束理论的约束取代了一致化。
A resolution principle for constrained clauses is proposed, where unification is replaced by testing constraints for satisfiability o...
本文在简介制约逻辑的基础上，提出了基于制约逻辑的消解原理，并探讨了基于这一原理的人工智能语言及其机器实现。
In this Paper, LEL is simply introduced, the resolution method based on LEL is presented, then a new AI language Called LELAIL based on this method and its machine implementation is also explored.
应用推荐