Search papers, labs, and topics across Lattice.
This paper explores the connection between logic programming semantics and the eventual states of causal processes, particularly in the context of life sciences modeling. It establishes that stable models of positive logic programs align with the eventual states of processes starting from a neutral state, while supported models capture states reachable from any initial condition. This work enhances the understanding of logic programming as a causal rule language by integrating a temporal perspective into the semantics of stable and supported models.
Supported models reveal that causal processes can reach diverse eventual states from any starting point, challenging traditional views on logic programming semantics.
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.
