Knowledge-Based Programs as Plans - The Complexity of Plan Verification
نویسندگان
چکیده
Knowledge-based programs (KBPs) are high-level protocols describing the course of action an agent should perform as a function of its knowledge. The use of KBPs for expressing action policies in AI planning has been surprisingly underlooked. Given that to each KBP corresponds an equivalent plan and vice versa, KBPs are typically more succinct than standard plans, but imply more online computation time. Here we compare KBPs and standard plans according to succinctness and to the complexity of plan verification.
منابع مشابه
Knowledge-Based Programs as Plans - The Complexity of Plan Verification - (Extended Abstract)
Knowledge-based programs (KBPs) are high-level protocols describing the course of action an agent should perform as a function of its knowledge. The use of KBPs for expressing action policies in AI planning has been surprisingly underlooked. Given that to each KBP corresponds an equivalent plan and vice versa, KBPs are typically more succinct than standard plans, but imply more online computati...
متن کاملKnowledge-Based Programs as Plans
Knowledge-based programs (KBPs) are high-level protocols describing the course of action an agent should perform as a function of its knowledge. The use of KBPs for expressing action policies in AI planning has been surprisingly underlooked. Given that to each KBP corresponds an equivalent plan and vice versa, KBPs are typically more succinct than standard plans, but imply more online computati...
متن کاملKnowledge-Based Programs as Plans: Succinctness and the Complexity of Plan Existence (Extended Abstract)∗
Knowledge-based programs (KBPs) are high-level protocols describing the course of action an agent should perform as a function of its knowledge. The use of KBPs for expressing action policies in AI planning has been surprisingly overlooked. Given that to each KBP corresponds an equivalent plan and vice versa, KBPs are typically more succinct than standard plans, but imply more on-line computati...
متن کاملKnowledge-Based Programs as Plans: Succinctness and the Complexity of Plan Existence
Knowledge-based programs (KBPs) are high-level protocols describing the course of action an agent should perform as a function of its knowledge. The use of KBPs for expressing action policies in AI planning has been surprisingly overlooked. Given that to each KBP corresponds an equivalent plan and vice versa, KBPs are typically more succinct than standard plans, but imply more on-line computati...
متن کاملAssessment of a 2D EPID-based Dosimetry Algorithm for Pre-treatment and In-vivo Midplane Dose Verification
Introduction: The use of electronic portal imaging devices (EPIDs) is a method for the dosimetric verification of radiotherapy plans both pretreatment and in-vivo. The aim of this study was to test a 2D EPID-based dosimetry algorithm for dose verification of some plans inside a homogenous and anthropomorphic phantom and in-vivo, as well. Materials and Methods: </strong...
متن کامل