Complete and Infinite Traces: A Descriptive Model of Computing Agents.

摘要

A model of computing agents is presented. Computing agents are modeled as processes, which are essentially sets of traces representing possible complete sequences of actions performed by an agent and its environment. Some technical difficulties with infinite traces are resolved, with the result that one may take the parallel composition of any countable set of processes, after possibly renaming some symbols.