Complete and Infinite Traces: A Descriptive Model of Computing Agents

Abstract

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.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Jan 01, 1986
Accession Number
ADA442962

Entities

People

  • Kevin S. Van Horn

Organizations

  • California Institute of Technology

Tags

Communities of Interest

  • Materials and Manufacturing Processes

DTIC Thesaurus Topics

  • Abstracts
  • Availability
  • Classification
  • Contracts
  • Environment
  • Information Operations
  • Instructions
  • Monitoring
  • Organizational Structure
  • Security
  • Sequences
  • Standards

Readers

  • Agent-Based Social Robotics and Mobile-Assisted Learning in Virtual Environments.
  • Computational Linguistics
  • Mathematical Modeling and Probability Theory.