带有动态偏好的扩展逻辑程序的良基语义

本文描述了具有两种否定的逻辑程序的良基语义的一种扩展。在这种扩展中，关于规则之间偏好的信息可以在逻辑语言中表达并动态推导。这是通过使用一个保留的谓词符号和命名技术来实现的。规则之间的冲突在可能的情况下会基于推导出的偏好信息予以解决。带优先级的逻辑程序的良基结论可以在多项式时间内计算。一个法律推理示例说明了该方法的实用性。