On Logical Relationships Between Possibilistic and

On Logical Relationships Between Possibilistic and Probabilistic Descriptions of Events Dr. Farshad Badie Center for Linguistics (CfL), Aalborg University, Denmark Description Logics (DLs) are now one of the most widely used knowledge representation formalisms in semantics-based systems. The central focus of this research is on philosophical and logical junctions between possibilistic and probabilistic descriptions of events based on Description Logics. I will focus on conceptualisation of the concepts of ‘possibility of events’ and ‘probability of events’. My central assumption is that the term ‘probability’ can express the state or the fact of being probable of either happening or being true. I will describe that the probability of the event E is equivalent to the quantificational measure of the likelihood that E will/can occur. Correspondingly, the probability of the fact F (based on the event E) is equivalent to the quantificational measure of the likelihood that F will/can be true and acceptable. On the other hand, it’s assumed that the term ‘possibility’ is concerned with the state of being possible. Being possible has two characteristics: (i) having the potential of happening or being done and (ii) having the potential of being satisfactory and acceptable. More particularly, the possibility of the event E is concerned with E’s qualificational state of having the potential of happening and being done. Accordingly, the possibility of the fact F (based on the event E) is corresponded with F’s qualificational state of being true (as well as its qualificational state of being satisfactory and acceptable).

References 1. Franz Baader, Ian Horrocks, Carsten Lutz, and Ulrike Sattler. An Introduction to Description Logic. Cambridge University Press, 2017. 2. Sergio Alejandro Gómez. Reasoning with inconsistent possibilistic description logics ontologies with disjunctive assertions. Journal of Computer Science and Technology; vol. 15, no. 2, 2015. 3. Guilin Qi, Jeff Z. Pan, and Qiu Ji. Extending description logics with uncertainty reasoning in possibilistic logic. In Khaled Mellouli, editor, ECSQARU, volume 4724 of Lecture Notes in Computer Science, pages 828–839. Springer, 2007. 4. Guilin Qi, Jeff Z. Pan, and Qiu Ji. A possibilistic extension of description logics. In Diego Calvanese, Enrico Franconi, Volker Haarslev, Domenico Lembo, Boris Motik, Anni-Yasmin Turhan, and Sergio Tessaris, editors, Description Logics, volume 250 of CEUR Workshop Proceedings. CEUR-WS.org, 2007. 5. Bernhard Hollunder. An alternative proof method for possibilistic logic and its application to terminological logics. CoRR, abs/1302.6819, 2013. 6. Pavel Klinov and Bijan Parsia. Understanding a probabilistic description logic via connections to firstorder logic of probability. In Fernando Bobillo, Paulo Cesar G. da Costa, Claudia d’Amato, Nicola Fanizzi, Kathryn B. Laskey, Kenneth J. Laskey, Thomas Lukasiewicz, Matthias Nickles, and Michael Pool, editors, URSW (LNCS Vol.), Lecture Notes in Computer Science, pages 41–58. Springer, 2013. 7. I.A. Letia and A Groza. Modelling imprecise arguments in description logic. Ad- vances in Electrical and Computer Engineering, pages 94–99, 2009. 8. Thomas Lukasiewicz. Expressive probabilistic description logics. Artif. Intell., 172(6-7):852–883, 2008. 9. Umberto Straccia. Managing uncertainty and vagueness in description logics, logic programs and description logic programs. In Reasoning Web, Lecture Notes in Computer Science. Springer, 2008.