Qualitative and Probabilistic Uncertainty in Reasoning about Actions with Sensing
<p>We present the description logic <em>PN-ALCK_NF^alpha</em> for reasoning about actions with sensing under qualitative and probabilistic uncertainty, which is an extension of the description logic <em>ALCK_NF^alpha</em> by actions with nondeterministic and probabilist...
| Main Authors: | , , , |
|---|---|
| Format: | Conference item |
| Published: |
2004
|
| _version_ | 1826262413865910272 |
|---|---|
| author | Iocchi, L Lukasiewicz, T Nardi, D Rosati, R |
| author_facet | Iocchi, L Lukasiewicz, T Nardi, D Rosati, R |
| author_sort | Iocchi, L |
| collection | OXFORD |
| description | <p>We present the description logic <em>PN-ALCK_NF^alpha</em> for reasoning about actions with sensing under qualitative and probabilistic uncertainty, which is an extension of the description logic <em>ALCK_NF^alpha</em> by actions with nondeterministic and probabilistic effects. We define a formal semantics of <em>PN-ALCK_NF^alpha</em> 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 and its goodness under qualitative and probabilistic uncertainty. We then formulate the problem of conditional planning in this framework, and we present an algorithm for solving it. This algorithm is based on a reduction to reasoning in description logics, and is shown to be sound and complete in the sense that it generates all optimal plans. We also describe an application in a robotic-soccer scenario.</p> |
| first_indexed | 2024-03-06T19:35:48Z |
| format | Conference item |
| id | oxford-uuid:1effc605-8a38-474d-92cb-e8a51524978d |
| institution | University of Oxford |
| last_indexed | 2024-03-06T19:35:48Z |
| publishDate | 2004 |
| record_format | dspace |
| spelling | oxford-uuid:1effc605-8a38-474d-92cb-e8a51524978d2022-03-26T11:19:25ZQualitative and Probabilistic Uncertainty in Reasoning about Actions with SensingConference itemhttp://purl.org/coar/resource_type/c_5794uuid:1effc605-8a38-474d-92cb-e8a51524978dDepartment of Computer Science2004Iocchi, LLukasiewicz, TNardi, DRosati, R<p>We present the description logic <em>PN-ALCK_NF^alpha</em> for reasoning about actions with sensing under qualitative and probabilistic uncertainty, which is an extension of the description logic <em>ALCK_NF^alpha</em> by actions with nondeterministic and probabilistic effects. We define a formal semantics of <em>PN-ALCK_NF^alpha</em> 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 and its goodness under qualitative and probabilistic uncertainty. We then formulate the problem of conditional planning in this framework, and we present an algorithm for solving it. This algorithm is based on a reduction to reasoning in description logics, and is shown to be sound and complete in the sense that it generates all optimal plans. We also describe an application in a robotic-soccer scenario.</p> |
| spellingShingle | Iocchi, L Lukasiewicz, T Nardi, D Rosati, R Qualitative and Probabilistic Uncertainty in Reasoning about Actions with Sensing |
| title | Qualitative and Probabilistic Uncertainty in Reasoning about Actions with Sensing |
| title_full | Qualitative and Probabilistic Uncertainty in Reasoning about Actions with Sensing |
| title_fullStr | Qualitative and Probabilistic Uncertainty in Reasoning about Actions with Sensing |
| title_full_unstemmed | Qualitative and Probabilistic Uncertainty in Reasoning about Actions with Sensing |
| title_short | Qualitative and Probabilistic Uncertainty in Reasoning about Actions with Sensing |
| title_sort | qualitative and probabilistic uncertainty in reasoning about actions with sensing |
| work_keys_str_mv | AT iocchil qualitativeandprobabilisticuncertaintyinreasoningaboutactionswithsensing AT lukasiewiczt qualitativeandprobabilisticuncertaintyinreasoningaboutactionswithsensing AT nardid qualitativeandprobabilisticuncertaintyinreasoningaboutactionswithsensing AT rosatir qualitativeandprobabilisticuncertaintyinreasoningaboutactionswithsensing |