发表机构
German University Of Digital Science Potsdam（德国波茨坦数字科学大学）
机构由 AI 辅助整理，请以论文原文为准。AI 中文总结
研究逻辑程序设计语义与因果过程最终状态的关系，指出正逻辑程序稳定模型对应特定过程最终状态，支持模型描述任意起点可达状态，为逻辑程序设计语义讨论提供新视角及时间维度。
AI 中文摘要
受生命科学中具有挑战性的建模问题的启发，我们研究逻辑程序设计语义与与这些逻辑程序兼容的因果过程的最终状态之间的关系。具体而言，我们表明，虽然正逻辑程序的稳定模型对应于从中立状态开始并无限期不受干扰地持续的过程的最终状态，但支持模型描述了从任意起点可达的最终状态。这也有助于作为因果规则语言的逻辑程序设计的适当语义的讨论，从因果关系的解释观点为稳定和支持模型语义的最近解释增加了时间视角。
英文摘要
Motivated by challenging modelling issues in the life sciences, we investigate the relationship between logic programming semantics and the eventual states of causal processes compatible with those logic programs. More precisely, we show that while stable models of positive logic programs correspond to the eventual states of processes commencing from a neutral state and continuing undisturbed indefinitely, supported models describe the eventual states reachable from arbitrary starting points. This also contributes to the discussion of the appropriate semantics for logic programming as a causal rule language, adding a temporal perspective to recent interpretations of the stable and supported model semantics from an explanatory viewpoint of causality.
CommentsIn Proceedings ICLP 2026, arXiv:2607.17707
Journal refEPTCS 450, 2026, pp. 492-499
