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

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