Reasoning about Actions with Sensing under Qualitative and Probabilistic Uncertainty
<p>We focus on the aspect of sensing in reasoning about actions under qualitative and probabilistic uncertainty. We first define the action language E for reasoning about actions with sensing, which has a semantics based on the autoepistemic description logic ALCK_NF, and which is given a form...
| Main Authors: | , , , |
|---|---|
| Format: | Journal article |
| Published: |
2009
|