Foundations of Assisted Cognition Systems

this report. Kautz [79] modeled plan recognition logically in a manner that allowed goals and plans to be described at various levels of abstraction. Etzioni et al. [94, 95, 92, 93] developed a version space algorithm for plan recognition that is provably sound and polynomial time [94, 93]. Weld et al. developed goal recognition algorithms using inductive logic programming [90] and version-space algebra [89, 168, 88] in the context of programming by demonstratio