Dynamic description logics. (English) Zbl 0993.03043
Zakharyaschev, Michael (ed.) et al., Advances in modal logic. Vol. 2. Selected papers from the 2nd international workshop (AiML’98), Uppsala, Sweden, October 16-18, 1998. Stanford, CA: CSLI Publications. CSLI Lect. Notes. 119, 431-445 (2001).
Summary: In this paper we construct a rather expressive combination of description logic \({\mathcal A} {\mathcal L} {\mathcal C}\) and propositional dynamic logic PDL intended for representing knowledge about dynamic application domains. We develop a mosaic-type technique to prove that the satisfaction problem for the resulting logic is decidable.
For the entire collection see [Zbl 0979.00027].
For the entire collection see [Zbl 0979.00027].
MSC:
03B70 | Logic in computer science |
68T27 | Logic in artificial intelligence |
03B45 | Modal logic (including the logic of norms) |
68T30 | Knowledge representation |
03B42 | Logics of knowledge and belief (including belief change) |