本文探讨了意向性陈述的答案集程序划分问题，提出通过分析谓词依赖关系和上下文来提升逻辑程序计算稳定模型的性能，并证明了程序的正确性。

本研究探讨了知识领域中有效表征答案集的方法，提出了一种新框架以适应自我推理逻辑，扩展了佩尔斯的答案集表征，揭示了知识规范与答案集语义的关系，推动了逻辑基础人工智能的推理能力发展。