F.班蒂。;J.J.阿尔弗雷斯。;A.布罗基。;希茨勒，P。 多维动态逻辑程序的良好支持语义。 （英语） Zbl 1152.68398号 Baral，Chitta（编辑）等人，《逻辑编程和非单调推理》。第八届国际会议，LPNMR 2005，意大利迪亚曼特，2005年9月5-8日。诉讼程序。柏林：施普林格出版社（ISBN 3-540-28538-5/pbk）。计算机科学课堂讲稿3662。人工智能课堂讲稿，356-368（2005）。 摘要：多维动态逻辑程序是一种范式，允许通过（部分）表达（部分）层次有序的进化知识库对多组逻辑程序进行排序，并通过允许较重要程序中的规则拒绝较不重要程序的规则来解决不同程序中规则之间的矛盾。这类程序扩展了为逻辑程序序列提供含义和语义的动态逻辑程序类。最近，一种称为精细稳定模型语义的语义修复了动态逻辑程序先前存在的语义的一些违反直觉的行为。然而，不可能将精细语义的定义和概念直接扩展到多维情况，因此需要更复杂的原则和技术。本文通过将支持良好的模型的思想扩展到这类程序，并通过表明仅此概念就足以单独表征一个适当的语义，我们面临着为多维动态逻辑程序定义适当语义的问题。然后，我们展示了当应用于程序序列时，新定义的语义如何与改进的语义一致。关于整个系列，请参见[Zbl 1086.68002号]. 引用于1文件 MSC公司： 68N17号 逻辑编程 68问题55 计算理论中的语义学 PDF格式BibTeX公司 XML格式引用 \textit{F.Banti}等人，Lect。注释计算。科学。3662、356--368（2005年；Zbl 1152.68398） 全文： 内政部