Influence diagrams (IDs) are well-known formalisms, which extend Bayesian networks to model decision situations under uncertainty. Although they are convenient as a decision theoretic tool, their knowledge representation ability is limited in capturing other crucial notions such as logical consistency. In this article, we complement IDs with the light-weight description logic (DL) EL to overcome such limitations. We consider a setup where DL axioms hold in some contexts, yet the actual context is uncertain. The framework benefits from the convenience of using DL as a domain knowledge representation language and the modelling strength of IDs to deal with decisions over contexts in the presence of contextual uncertainty. We define related reasoning problems and study their computational complexity.
|Title of host publication||KR2020|
|Subtitle of host publication||Proceedings of the 17th Conference on Principles of Knowledge Representation and Reasoning. Rhodes, Greece. September 12-18, 2020|
|Editors||Diego Calvanese, Esra Erdem, Michael Thielscher|
|Number of pages||10|
|Publication status||Published - 20 Aug 2020|
|Name||KR Proceedings : Proceedings of the xxth Conference on Principles of Knowledge Representation and Reasoning |