Abstract
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.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Lifschitz, V.: On the logic of causal explanation (research note). Artif. Intell. 96(2), 451–465 (1997)
Lifschitz, V.: Logic programs with intensional functions (preliminary report). In: Workshop on Answer Set Programming and Other Computing Paradigms (2011)
Lifschitz, V., Pearce, D., Valverde, A.: Strongly equivalent logic programs. ACM Tr. on Computational Logic 2(4), 526–541 (2001)
Pearce, D.: A New Logical Characterization of Stable Models and Answer Sets. In: Dix, J., Przymusinski, T.C., Moniz Pereira, L. (eds.) NMELP 1996. LNCS, vol. 1216, pp. 57–70. Springer, Heidelberg (1997)
Slota, M., Leite, J.: Robust equivalence models for semantic updates of answer-set programs. In: KR 2012 (to appear, 2012)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2012 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Fariñas del Cerro, L., Pearce, D., Valverde, A. (2012). Bi-state Logic. In: Erdem, E., Lee, J., Lierler, Y., Pearce, D. (eds) Correct Reasoning. Lecture Notes in Computer Science, vol 7265. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-30743-0_18
Download citation
DOI: https://doi.org/10.1007/978-3-642-30743-0_18
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-30742-3
Online ISBN: 978-3-642-30743-0
eBook Packages: Computer ScienceComputer Science (R0)