Abstract
In this paper we present possibilistic minimal models for possibilistic normal programs, we relate them to the possibilistic C ω logic, PC ω L, and to minimal models of normal logic programs. Possibilistic stable models for possibilistic normal programs have been presented previously, but we present a more general type. We also characterize the provability of possibilistic atoms from possibilistic normal programs in terms of PC ω L.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Baral, C.: Knowledge representation, reasoning and declarative problem solving. Cambridge University Press (2003)
da Costa, N.C.A.: On the theory of inconsistent formal systems. Notre Dame Journal of Formal Logic 15(4), 497–510 (1974)
Dubois, D., Lang, J., Prade, H.: Possibilistic logic. In: Handbook of Logic in Artificial Intelligence and Logic Programming, vol. 3, pp. 439–513. Oxford University Press, Inc., New York (1994)
Erdogan, S.T., Lifschitz, V.: Definitions in answer set programming. In: Lifschitz, V., Niemelä, I. (eds.) Proceedings of International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR), pp. 114–126 (2004)
Estrada-Estrada, O.H., Arrazola-Ramírez, J.R.E., Osorio-Galindo, M.J.: Possibilistic intermediate logic. Int. J. Adv. Intell. Paradigms 4(2), 149–167 (2012)
Gelfond, M., Lifschitz, V.: The stable model semantics for logic programming, pp. 1070–1080. MIT Press (1988)
Halpern, J.: Reasoning about uncertainty. Massachusetts Institue of Technology (2003)
Arrazola, J., Borja, V., Osorio, M., Navarro, J.: Ground non-monotonic modal logic s5: new results. Journal of Logic and Computation 15, 787–813 (2005)
Arrazola, J., Borja, V., Osorio, M., Navarro, J.: Logics with common weak completions. Journal of Logic and Computation 16, 867–890 (2006)
Marek, V.W.: Stable models and an alternative logic programming paradigm. In: In The Logic Programming Paradigm: a 25-Year Perspective, pp. 375–398. Springer (1999)
Nicolas, P., Garcia, L., Stéphan, I., Lefèvre, C.: Possibilistic uncertainty handling for answer set programming. Annals of Mathematics and Artificial Intelligence 47(1-2), 139–181 (2006)
Niemela, I.: Logic programs with stable model semantics as a constraint programming paradigm (1998)
Osorio, M., Pérez, J.A.N., Arrazola, J.: Applications of intuitionistic logic in answer set programming. CoRR, cs.LO/0305046 (2003)
Pearce, D.: Stable inference as intuitionistic validity. The Journal of Logic Programming 38, 79–91 (1999)
Pelletier, F., Elio, R.: Scope of Logic, Methodology and Philosophy of Science. Kluwer Academic Press (2002)
Zepeda, C., Dávila, R., Osorio, M. (eds.): Programas Logicos Disyuntivos y la demostrabilidad en C ω . Workshop in Logic, Language and Computation 2006. CEUR Workshop Proceedings (November 2006)
Shannon, C.: A mathematical theory of communication. The Bell System Technical Journal 27, 379–423 (1948)
Tversky, A., Kahneman, D.: Judgment under uncertainty: Heuristics and biases. Science 185(4157), 1124–1131 (1974)
Zadeh, L.A.: Fuzzy sets as a basis for a theory of possibility. Fuzzy Sets Syst. 100, 9–34 (1999)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2013 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Salazar, R.O.V., Ramírez, J.A., Ruiz, I.M. (2013). Possibilistic Minimal Models for Possibilistic Normal Programs. In: Castro, F., Gelbukh, A., González, M. (eds) Advances in Artificial Intelligence and Its Applications. MICAI 2013. Lecture Notes in Computer Science(), vol 8265. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-45114-0_9
Download citation
DOI: https://doi.org/10.1007/978-3-642-45114-0_9
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-45113-3
Online ISBN: 978-3-642-45114-0
eBook Packages: Computer ScienceComputer Science (R0)