×

zbMATH — the first resource for mathematics

Probabilistic reasoning in the description logic \(\mathcal {ALCP}\) with the principle of maximum entropy. (English) Zbl 1366.68293
Schockaert, Steven (ed.) et al., Scalable uncertainty management. 10th international conference, SUM 2016, Nice, France, September 21–23, 2016. Proceedings. Cham: Springer (ISBN 978-3-319-45855-7/pbk; 978-3-319-45856-4/ebook). Lecture Notes in Computer Science 9858. Lecture Notes in Artificial Intelligence, 246-259 (2016).
Summary: A central question for knowledge representation is how to encode and handle uncertain knowledge adequately. We introduce the probabilistic description logic \(\mathcal {ALCP}\) that is designed for representing context-dependent knowledge, where the actual context taking place is uncertain. \(\mathcal {ALCP}\) allows the expression of logical dependencies on the domain and probabilistic dependencies on the possible contexts. In order to draw probabilistic conclusions, we employ the principle of maximum entropy. We provide reasoning algorithms for this logic, and show that it satisfies several desirable properties of probabilistic logics.
For the entire collection see [Zbl 1344.68017].

MSC:
68T27 Logic in artificial intelligence
68T30 Knowledge representation
68T37 Reasoning under uncertainty in the context of artificial intelligence
PDF BibTeX XML Cite
Full Text: DOI
References:
[1] Baader, F., Calvanese, D., McGuinness, D.L., Nardi, D., Patel-Schneider, P.F. (eds.): The Description Logic Handbook: Theory, Implementation, and Applications, 2nd edn. Cambridge University Press, Cambridge (2007) · Zbl 1132.68055
[2] Baader, F., Knechtel, M., Peñaloza, R.: Context-dependent views to axioms and consequences of semantic web ontologies. J. Web Semant. 12–13, 22–40 (2012) · doi:10.1016/j.websem.2011.11.006
[3] Barnett, O., Paris, J.B.: Maximum entropy inference with quantified knowledge. Log. J. IGPL 16(1), 85–98 (2008) · Zbl 1133.03326 · doi:10.1093/jigpal/jzm028
[4] Beierle, C., Kern-Isberner, G., Finthammer, M., Potyka, N.: Extending and completing probabilistic knowledge and beliefs without bias. KI 29(3), 255–262 (2015)
[5] Ceylan, I.I., Rafael, P.: The Bayesian description logic \[ {\mathcal BEL} \] . In: Demri, S., Kapur, D., Weidenbach, C. (eds.) IJCAR 2014. LNCS, vol. 8562, pp. 480–494. Springer, Switzerland (2014) · Zbl 1409.68277 · doi:10.1007/978-3-319-08587-6_37
[6] d’Amato, C., Fanizzi, N., Lukasiewicz, T.: Tractable reasoning with Bayesian description logics. In: Greco, S., Lukasiewicz, T. (eds.) SUM 2008. LNCS (LNAI), vol. 5291, pp. 146–159. Springer, Heidelberg (2008) · Zbl 05361146 · doi:10.1007/978-3-540-87993-0_13
[7] De Bona, G., Cozman, F.G., Finger, M.: Towards classifying propositional probabilistic logics. J. Appl. Log. 12(3), 349–368 (2014) · Zbl 1352.03032 · doi:10.1016/j.jal.2014.01.005
[8] Domingos, P.M., Lowd, D.: Markov Logic: An Interface Layer for Artificial Intelligence. Synthesis Lectures on Artificial Intelligence and Machine Learning. Morgan & Claypool Publishers, Los Altos (2009) · Zbl 1202.68403
[9] Donini, F.M., Massacci, F.: ExpTime tableaux for \[ {\mathcal ALC} \] . Artif. Intell. 124(1), 87–138 (2000) · Zbl 0952.68136 · doi:10.1016/S0004-3702(00)00070-9
[10] Halpern, J.Y.: An analysis of first-order logics of probability. Artif. Intell. 46, 311–350 (1990) · Zbl 0723.03007 · doi:10.1016/0004-3702(90)90019-V
[11] Halpern, J.Y., Koller, D.: Representation dependence in probabilistic inference. JAIR 21, 319–356 (2004) · Zbl 1080.68686
[12] Hansen, P., Perron, S.: Merging the local and global approaches to probabilistic satisfiability. Int. J. Approx. Reason. 47(2), 125–140 (2008) · Zbl 1343.68220 · doi:10.1016/j.ijar.2007.03.001
[13] Kern-Isberner, G.: Conditionals in Nonmonotonic Reasoning and Belief Revision: Considering Conditionals as Agents. LNCS (LNAI), vol. 2087. Springer, Heidelberg (2001) · Zbl 0978.03014 · doi:10.1007/3-540-44600-1
[14] Kern-Isberner, G., Thimm, M.: Novel semantical approaches to relational probabilistic conditionals. In: Proceedings of KR 2010, pp. 382–391. AAAI Press (2010)
[15] Kern-Isberner, G., Lukasiewicz, T.: Combining probabilistic logic programming with the power of maximum entropy. Artif. Intell. 157(1–2), 139–202 (2004) · Zbl 1085.68170 · doi:10.1016/j.artint.2004.04.003
[16] Klinov, P., Parsia, B.: A hybrid method for probabilistic satisfiability. In: Bjørner, N., Sofronie-Stokkermans, V. (eds.) CADE 2011. LNCS, vol. 6803, pp. 354–368. Springer, Heidelberg (2011) · Zbl 1341.68191 · doi:10.1007/978-3-642-22438-6_27
[17] Lukasiewicz, T.: Probabilistic deduction with conditional constraints over basic events. JAIR 10, 380–391 (1999) · Zbl 0914.68178
[18] Lukasiewicz, T., Straccia, U.: Managing uncertainty and vagueness in description logics for the semantic web. J. Web Semant. 6(4), 291–308 (2008) · Zbl 05517739 · doi:10.1016/j.websem.2008.04.001
[19] Lutz, C., Schröder, L.: Probabilistic description logics for subjective uncertainty. In: Proceedings of KR 2010. AAAI Press (2010) · Zbl 1401.68305
[20] Nilsson, N.J.: Probabilistic logic. Artif. Intell. 28, 71–88 (1986) · Zbl 0589.03007 · doi:10.1016/0004-3702(86)90031-7
[21] Nocedal, J., Wright, S.J.: Numerical Optimization, 2nd edn. Springer, Berlin (2006) · Zbl 1104.65059
[22] Paris, J.: The Uncertain Reasoner’s Companion - A Mathematical Perspective. Cambridge University Press, Cambridge (1994) · Zbl 0838.68104
[23] Peñaloza, R., Potyka, N.: Probabilistic reasoning in the description logic ALCP with the principle of maximum entropy (full version). CoRR abs/1606.09521 (2016). http://arXiv.org/abs/1606.09521 · Zbl 1366.68293
[24] Potyka, N.: Reasoning over linear probabilistic knowledge bases with priorities. In: Beierle, C., Dekhtyar, A. (eds.) SUM 2015. LNCS, vol. 9310, pp. 121–136. Springer, Heidelberg (2015) · Zbl 06489220 · doi:10.1007/978-3-319-23540-0_9
[25] Potyka, N.: Relationships between semantics for relational probabilistic conditional logics. In: Computational Models of Rationality, Essays dedicated to Gabriele Kern-Isberner, pp. 332–347. College Publications (2016)
[26] Riguzzi, F., Bellodi, E., Lamma, E., Zese, R.: Epistemic and statistical probabilistic ontologies. In: Proceedings of URSW 2012, vol. 900, pp. 3–14. CEUR-WS (2012) · Zbl 1347.68320
[27] Schmidt-Schauß, M., Smolka, G.: Attributive concept descriptions with complements. Artif. Intell. 48(1), 1–26 (1991) · Zbl 0712.68095 · doi:10.1016/0004-3702(91)90078-X
[28] Yeung, R.W.: Information Theory and Network Coding. Springer Science & Business Media, Berlin (2008) · Zbl 1154.94001
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. It attempts to reflect the references listed in the original paper as accurately as possible without claiming the completeness or perfect precision of the matching.