Conference item icon

Conference item

Qualitative and Probabilistic Uncertainty in Reasoning about Actions with Sensing

Abstract:

We present the description logic PN-ALCK_NF^alpha for reasoning about actions with sensing under qualitative and probabilistic uncertainty, which is an extension of the description logic ALCK_NF^alpha by actions with nondeterministic and probabilistic effects. We define a formal semantics of PN-ALCK_NF^alpha in terms of deterministic, nondeterministic, and probabilistic transitions between epistemic states, which are sets of possible states of the world. We intro...

Expand abstract

Actions


Access Document


Files:

Authors


Host title:
Proceedings of the 10th International Workshop on Non−Monotonic Reasoning‚ NMR 2004‚ Whistler‚ Canada‚ June 6−8‚ 2004
Publication date:
2004-01-01
ISBN:
929900210X
UUID:
uuid:1effc605-8a38-474d-92cb-e8a51524978d
Local pid:
cs:6708
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