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

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.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Dec 08, 1986
Accession Number
ADA461769

Entities

People

  • Amy L. Lansky

Organizations

  • SRI International

Tags

DTIC Thesaurus Topics

  • Abstracts
  • Availability
  • Classification
  • Contracts
  • Information Operations
  • Instructions
  • Monitoring
  • Multithreading
  • Organizational Structure
  • Security
  • Semantics
  • Standards

Fields of Study

  • Computer science

Readers

  • Agent-Based Social Robotics and Mobile-Assisted Learning in Virtual Environments.
  • Database Systems and Applications
  • Mathematical Modeling and Probability Theory.