基于合一算法与归结反演的机场应急预案可行性判断

本文以实现机场应急预案为目的,首先梳理实际的机场应急预案,通过谓词定义的方法,对应急预案中出现的常量进行统一定义,再分析应急预案中各个个体与个体间、个体与行为间、行为与行为间的关系,进而完成谓词定义及子句联结。在此基础上,运用合一算法与归结算法的原理,对预案指令中的常量、变量进行替换判断,针对实际情况下的影响条件,判断预案是否受到影响。