定性模拟的prolog实现及其应用

摘要

该文依据定性模拟的基本思想，说明了基于Ｋｕｉｐｅｒｓ的ＱＳＩＭ算法的定性建模和模拟的ＰＲＯＬＯＧ实现——ＱＳＥＳ定性模拟实验系统，并给出了几个运行实例。