Another kind of human machine interaction is possible in this framework. Note that
each subprocess is characterized both by specific types of knowledge and by
inference and related control problems. One way in which a module can interact with
a domain expert is by proposing available knowledge and letting the human make the
control choices by using knowledge that has not been made explicit in the problem-
solving theory. As a practical matter, this can be an effective way of using the module
as a knowledge source, even without a complete theory of problem-solving using that
knowledge. The VEXED system in fact works in this mode. It proposes
Become an O’Reilly member and get unlimited access to this title plus top books and audiobooks from O’Reilly and nearly 200 top publishers, thousands of courses curated by job role, 150+ live events each month, and much more.