We describe the generation of partial solutions to Prolog queries posed during the design of medical treatment plans. Given a set of Prolog encoded safety principles, the queries request advise on plan revisions to conform with safety requirements. The user unfolds queries interactively, navigating a path through the solution search space by interacting with natural language representations of ...

The general problem of planning for uncertain domains remains a difficult challenge. Research that focuses on constructing plans by reasoning with explicit models of uncertainty has produced some promising mechanisms for coping with specific types of domain uncertainties; however, these approaches generally have difficulty scaling. Research in robust planning has alternatively emphasized the us...

Automatic mimicry is based on the tight linkage between motor and perception action representations in which internal models play a key role. Based on the anatomical connection, we hypothesized that the direct effective connectivity from the posterior superior temporal sulcus (pSTS) to the ventral premotor area (PMv) formed an inverse internal model, converting visual representation into a moto...