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


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)


  • Presentations referencing similar topics