Abstract
We propose a general artificial intelligence approach for handling contradictory knowledge. Depending on the available computational resources, reasoning ranges from credulous to forms of skepticism with respect to the incompatible branches of alternatives that the contradictions entail. The approach is anytime and can be declined according to various knowledge representation settings. As an illustration of practical feasibility, it is experimented within a Boolean framework, using the currently most efficient computational tools and paradigms.
Keywords
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
Reiter, R.: A logic for default reasoning. Artificial Intelligence 13(1-2), 81–132 (1980)
Grégoire, É.: Skeptical inheritance can be more expressive. In: Proceeding of the 9th European Conference on Artificial Intelligence (ECAI 1990), pp. 326–332 (1990)
Makinson, D., Schlechta, K.: Floating conclusions and zombie paths: Two deep difficulties in the “directly skeptical” approach to defeasible inheritance nets. Artificial Intelligence 48(2), 199–209 (1991)
Eiter, T., Gottlob, G.: On the complexity of propositional knowledge base revision, updates, and counterfactuals. Artificial Intelligence 57(2-3), 227–270 (1992)
Cayrol, C., Lagasquie-Schiex, M.C., Schiex, T.: Nonmonotonic reasoning: From complexity to algorithms. Annals of Mathematics and Artificial Intelligence 22(3-4), 207–236 (1998)
Hamscher, W., Console, L., de Kleer, J. (eds.): Readings in Model-Based Diagnosis. Morgan Kaufmann (1992)
Feldman, A., Kalech, M., Provan, G. (eds.): Proceedings of the 24th International Workshop on Principles of Diagnosis, DX 2013 (2013), http://www.dx-2013.org/proceedings.php (electronic proceedings)
Rossi, F., van Beek, P., Walsh, T.: Handbook of Constraint Programming. Elsevier, Amsterdam (2006)
Lecoutre, C.: Constraint Networks: Techniques and Algorithms. Wiley (2009)
Papadimitriou, C.H.: Computational Complexity. Addison-Wesley (1993)
Papadimitriou, C.H., Wolfe, D.: The complexity of facets resolved. Journal of Computer and System Sciences 37(1), 2–13 (1988)
Belov, A., Marques-Silva, J.: Accelerating MUS extraction with recursive model rotation. In: Proceedings of the Eleventh International Conference on Formal Models in Computed-Aided Design (FMCAD 2011), pp. 37–40 (2011)
Marques-Silva, J., Heras, F., Janota, M., Previti, A., Belov, A.: On computing minimal correction subsets. In: Proceedings of the 23rd International Joint Conference on Artificial Intelligence, IJCAI 2013 (2013)
Liffiton, M.H., Malik, A.: Enumerating infeasibility: Finding multiple MUSes quickly. In: Gomes, C., Sellmann, M. (eds.) CPAIOR 2013. LNCS, vol. 7874, pp. 160–175. Springer, Heidelberg (2013)
Lagniez, J.-M., Biere, A.: Factoring out assumptions to speed up mus extraction. In: Järvisalo, M., Van Gelder, A. (eds.) SAT 2013. LNCS, vol. 7962, pp. 276–292. Springer, Heidelberg (2013)
Grégoire, É., Lagniez, J.M., Mazure, B.: A computational method for (MSS,CoMSS) partitioning (2014) (submitted to AAAI 2014)
Eén, N., Sörensson, N.: An extensible SAT-solver. In: Giunchiglia, E., Tacchella, A. (eds.) SAT 2003. LNCS, vol. 2919, pp. 502–518. Springer, Heidelberg (2004)
Grégoire, É., Mazure, B., Piette, C.: Boosting a complete technique to find MSS and MUS thanks to a local search oracle. In: Proceedings of the Twentieth International Joint Conference on Artificial Intelligence (IJCAI 2007), pp. 2300–2305 (2007)
Kautz, H.A., Selman, B.: Pushing the envelope: Planning, propositional logic and stochastic search. In: Proceedings of the Thirteenth National Conference on Artificial Intelligence and Eighth Innovative Applications of Artificial Intelligence Conference (AAAI 1996), vol. 2, pp. 1194–1201 (1996)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2014 Springer International Publishing Switzerland
About this paper
Cite this paper
Grégoire, É., Lagniez, JM., Mazure, B. (2014). A General Artificial Intelligence Approach for Skeptical Reasoning. In: Goertzel, B., Orseau, L., Snaider, J. (eds) Artificial General Intelligence. AGI 2014. Lecture Notes in Computer Science(), vol 8598. Springer, Cham. https://doi.org/10.1007/978-3-319-09274-4_4
Download citation
DOI: https://doi.org/10.1007/978-3-319-09274-4_4
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-09273-7
Online ISBN: 978-3-319-09274-4
eBook Packages: Computer ScienceComputer Science (R0)