Accession Number:

ADA461769

Title:

A Representation of Parallel Activity Based on Events, Structure, and Causality

Descriptive Note:

Technical rept.

Corporate Author:

SRI INTERNATIONAL MENLO PARK CA COMPUTER AND INFORMATION SCIENCES DIV

Personal Author(s):

Report Date:

1986-12-08

Pagination or Media Count:

51.0

Abstract:

Most AI domain representations have been based on state-oriented world models. In this paper we present an event-based model that focuses on domain events both atomic and nonatomic and on the causal and temporal relationships among them. Emphasis is also placed on representing locations of activity and using them to structure the domain representation. Our model is based on first-order temporal logic, which has a well-understood semantics and has been employed extensively in concurrency theory. We show how temporal-logic constraints on event histories records of past activity can facilitate the description of many of the complex synchronization properties of parallel, multiagent domains.

Subject Categories:

  • Theoretical Mathematics
  • Cybernetics

Distribution Statement:

APPROVED FOR PUBLIC RELEASE