Various planning-based know-how logics have been studied in the recent literature. In this paper, we use such a logic to do know-how-based planning via model checking. particular, can handle higher-order epistemic involving formulas as goal, e.g., find plan make sure p that adversary does not know how false future. We give PTIME algorithm for checking problem over finite transition systems and ...

The development and evolution of any system–person, organization–nation depends on how the system succeeds to bridge the gap between what the system knows and what the system does (with the knowledge). We call this the gap between knowing and doing or the knowing-doing gap. If the system does not do what it knows, it will lose out in competition with other systems, its relative performance in...