Loading...
Please wait, while we are loading the content...
Similar Documents
Efficient reasoning about actions based on assignments and announcements Reasoning about actions and change and Cognitive robotics and Other KR reasoning
| Content Provider | Semantic Scholar |
|---|---|
| Copyright Year | 2006 |
| Abstract | We propose a reasoning about actions framework based on a combination of epistemic logic and star-free PDL, into which we integrate Reiter’s solution to the frame problem. We then show that prediction (alias plan verification) can be reduced in polynomial time to dynamic epistemic logic with assignments that has recently been proposed by Kooi et al.. We establish decidability and complexity results. In particular, NP-completeness in the single-agent case. |
| File Format | PDF HTM / HTML |
| Alternate Webpage(s) | http://citeseerx.ist.psu.edu/viewdoc/download;jsessionid=05DE54E2F55BA70B1E18CFA1DF038A78?doi=10.1.1.103.1748&rep=rep1&type=pdf |
| Alternate Webpage(s) | http://www.cs.otago.ac.nz/staffpriv/hans/ijcai07-1197.pdf |
| Language | English |
| Access Restriction | Open |
| Content Type | Text |
| Resource Type | Article |