A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2006; you can also visit the original URL.
The file type is
We present the description logic PN-ALCK α NF for reasoning about actions with sensing under qualitative and probabilistic uncertainty, which is an extension of the description logic ALCK α NF by actions with nondeterministic and probabilistic effects. We define a formal semantics of PN-ALCK α NF in terms of deterministic, nondeterministic, and probabilistic transitions between epistemic states, which are sets of possible states of the world. We introduce the notions of a conditional plan anddblp:conf/nmr/IocchiLNR04 fatcat:kudlibgwgnc2vni56ay6bchee4