article · 2004
Qualitative and Probabilistic Uncertainty in Reasoning about Actions with Sensing Luca Iocchi Thomas Lukasiewicz Daniele Nardi Riccardo Rosati
L. Iocchi, T. Lukasiewicz, D. Nardi, R. Rosati, Daniele Nardi, Riccardo Rosati
Cited by 0Abstract and details only
Abstract
about actions with sensing under qualitative and probabilistic uncertainty, which is an extension of the description logic by actions with nondeterministic and probabilistic effects. We define a formal semantics of PN-ALCK 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.
Cite this paper
Iocchi, L., Lukasiewicz, T., Nardi, D., Rosati, R., Nardi, D., & Rosati, R. (2004). Qualitative and Probabilistic Uncertainty in Reasoning about Actions with Sensing Luca Iocchi Thomas Lukasiewicz Daniele Nardi Riccardo Rosati.
Iocchi, L., et al. “Qualitative and Probabilistic Uncertainty in Reasoning about Actions with Sensing Luca Iocchi Thomas Lukasiewicz Daniele Nardi Riccardo Rosati.” 2004.
Iocchi, L., T. Lukasiewicz, D. Nardi, R. Rosati, Daniele Nardi, and Riccardo Rosati. 2004. “Qualitative and Probabilistic Uncertainty in Reasoning about Actions with Sensing Luca Iocchi Thomas Lukasiewicz Daniele Nardi Riccardo Rosati.”
Iocchi, L. et al. (2004) ‘Qualitative and Probabilistic Uncertainty in Reasoning about Actions with Sensing Luca Iocchi Thomas Lukasiewicz Daniele Nardi Riccardo Rosati’.
@article{iocchi2004qualitative,
title = {{Qualitative and Probabilistic Uncertainty in Reasoning about Actions with Sensing Luca Iocchi Thomas Lukasiewicz Daniele Nardi Riccardo Rosati}},
author = {Iocchi, L. and Lukasiewicz, T. and Nardi, D. and Rosati, R. and Nardi, Daniele and Rosati, Riccardo},
year = {2004}
}Made from the index record. Check names, capitalisation and page numbers against the paper. Need another style? AI for Research has over 10,000.