论文部分内容阅读
提出了线性齐次ＤａｔａＬｏｇ逻辑程序的概念，并为该类程序设计了一个优化的求解算法。在此基础上提出了求解一般线性ＤａｔａＬｏｇ程序的优化算法，该算法利用带有的约束条件的递归调用方法，将线性ＤａｔａＬｏｇ程序求解问题变换成齐次程序的求解问题。算法简单，易于实现，可应用于任何线性ＤａｔａＬｏｇ程序的求解。