Plan Projection as Deduction and Plan Generation as Abduction in a Context-sensitive Temporal Probability Logic

Abstract

This paper presents a theoretical framework for representing plans in a context-sensitive temporal probability logic and for reasoning about plans by constructing Bayesian networks from these knowledge bases. We provide a sound and complete network construction algorithm for evaluating plans which uses context information to index only the relevant portions… (More)

Topics

  • Presentations referencing similar topics