Journal article icon

Journal article

Reasoning about Actions with Sensing under Qualitative and Probabilistic Uncertainty

Abstract:

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 formal semantics via a system of deterministic transitions between epistemic states. As an important feature, the main computational tasks in E can be done in linear and quadratic time. We then introduce the...

Expand abstract

Actions


Authors


Journal:
ACM Transactions on Computational Logic (TOCL)
Volume:
10
Issue:
1
Pages:
5-1
Publication date:
2009-01-01
UUID:
uuid:0b506915-38f6-445e-ba0e-8404aafc5666
Local pid:
cs:4642
Deposit date:
2015-03-31

Terms of use


Views and Downloads






If you are the owner of this record, you can report an update to it here: Report update to this record

TO TOP