On the logic of causal explanation
Artificial Intelligence
Strongly equivalent logic programs
ACM Transactions on Computational Logic (TOCL) - Special issue devoted to Robert A. Kowalski
A New Logical Characterisation of Stable Models and Answer Sets
NMELP '96 Selected papers from the Non-Monotonic Extensions of Logic Programming
FQHT: the logic of stable models for logic programs with intensional functions
IJCAI'13 Proceedings of the Twenty-Third international joint conference on Artificial Intelligence
| Hi-index | 0.00 |
This paper proposes an answer to a question recently posed by Vladimir Lifschitz about which logical system would be appropriate for reasoning about logic programs with intensional functions (IF-programs for short), a type of causal logic program introduced by him in [2]. As an appropriate system we propose bi-state logic, a four-valued logic that has apparently not been previously studied. We characterize bi-state models and their logic and show how a concept of superstable (bi-state) model corresponds in the propositional case to the semantics of IF-programs. We also relate bi-state logic to classical logic and suggest its possible application in the area of program updates.