Abstract | ||
---|---|---|
We suggest to express policies for contingent planning by knowledge-based programs (KBPs). KBPs, introduced by Fagin et al. (1995) [32], are high-level protocols describing the actions that the agent should perform as a function of their current knowledge: branching conditions are epistemic formulas that are interpretable by the agent. The main aim of our paper is to show that KBPs can be seen as a succinct language for expressing policies in single-agent contingent planning. |
Year | DOI | Venue |
---|---|---|
2020 | 10.1016/j.artint.2020.103365 | Artificial Intelligence |
Keywords | DocType | Volume |
Planning under uncertainty,Contingent planning,Epistemic logic,Knowledge-based programs,Belief tracking | Journal | 288 |
Issue | ISSN | Citations |
1 | 0004-3702 | 0 |
PageRank | References | Authors |
0.34 | 0 | 4 |
Name | Order | Citations | PageRank |
---|---|---|---|
Bruno Zanuttini | 1 | 289 | 25.43 |
Jérôme Lang | 2 | 2838 | 260.90 |
Abdallah Saffidine | 3 | 126 | 19.72 |
François Schwarzentruber | 4 | 170 | 29.05 |