Logical Methods in Protocol Analysis.

摘要

Complex reasoning tasks can be analyzed by means of a task model that describes how the task can be decomposed into a number of primitive subtasks. The paper describes a framework that makes a formal specification of a task model possible and which uses standard logics at the level of the primitive subtasks. The use of this framework is illustrated by means of two examples on hypothetical reasoning. Empirical work on the second example, the wise men's puzzle, is used to demonstrate the use of the formal framework in protocol analysis.