Many Agents Are Better Than One

Abstract

This paper aims to show how much of the frame problem can be alleviated by using domain models that allow for the simultaneous occurrence of actions and events. First, a generalized situation calculus is constructed for describing and reasoning about events in multiagent settings. Notions of independence and causality are then introduced and it is shown how they can be used to determine the persistence of facts over time. Finally, it is shown how these notions, together with traditional predicate circumscription, make it possible to retain a simple model of action while avoiding most of the difficulties associated with the frame problem.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Mar 01, 1987
Accession Number
ADA461424

Entities

People

  • Michael P. Georgeff

Organizations

  • SRI International

Tags

DTIC Thesaurus Topics

  • Abstracts
  • Availability
  • Calculus
  • Classification
  • Contracts
  • Information Operations
  • Instructions
  • Monitoring
  • Organizational Structure
  • Reasoning
  • Security
  • Standards

Readers

  • Agent-Based Social Robotics and Mobile-Assisted Learning in Virtual Environments.
  • Systems Analysis and Design
  • Theoretical Analysis.