Accession Number:

ADA461424

Title:

Many Agents Are Better Than One

Descriptive Note:

Technical note

Corporate Author:

SRI INTERNATIONAL MENLO PARK CA ARTIFICIAL INTELLIGENCE CENTER

Personal Author(s):

Report Date:

1987-03-01

Pagination or Media Count:

18.0

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.

Subject Categories:

  • Test Facilities, Equipment and Methods

Distribution Statement:

APPROVED FOR PUBLIC RELEASE