使用选择函数的亚蕴涵询问求值

本提出了使用选择函数的亚蕴涵询问求值方法以及依据此方法建立的询问求值算法ＩＶＡＬ。这种方法比Ｂｏｓｓｕ和Ｓｉｅｇａｌ的算法ＶＡＬ简便，效率高。ＩＶＡＬ和ＶＡＬ同时在ＳＵＮ－４上用Ｃ－Ｐｒｏｌｏｇ语言实现。本给邮了ＩＶＡＬ的理论依据，并把两种算法的执行效果作了比较。