Abstract | ||
---|---|---|
Sensing actions, which allow an agent to increase its knowledge about the environment, are problematic for traditional planning languages. In this paper we propose a very general framework for representing both changes to the real world and to the knowledge of an agent, based on a first order linear time calculus. Our framework is more general than most existing approaches, because our semantics explicitly represents, for each point in time, not only the agent's knowledge about that timepoint, but also about the past and the future. By applying a general approximation method for classical logic to this framework, we obtain an efficient and sound but incomplete reasoning method. |
Year | DOI | Venue |
---|---|---|
2012 | 10.1007/978-3-642-35101-3_46 | Australasian Conference on Artificial Intelligence |
Keywords | Field | DocType |
classical logic,general approximation method,general representation,traditional planning language,real world,existing approach,general framework,approximate inference algorithm,order linear time calculus,incomplete reasoning method | Epistemic modal logic,Knowledge representation and reasoning,First order,Algorithm,Knowledge structure,Approximate inference,Classical logic,Artificial intelligence,Time complexity,Semantics,Mathematics | Conference |
Citations | PageRank | References |
3 | 0.39 | 14 |
Authors | ||
3 |
Name | Order | Citations | PageRank |
---|---|---|---|
Hanne Vlaeminck | 1 | 30 | 3.44 |
Joost Vennekens | 2 | 434 | 37.36 |
Marc Denecker | 3 | 1626 | 106.40 |