Accession Number:

ADA171436

Title:

Toward a Theory of Plan Recognition,

Descriptive Note:

Corporate Author:

ROCHESTER UNIV NY DEPT OF COMPUTER SCIENCE

Personal Author(s):

Report Date:

1985-07-01

Pagination or Media Count:

59.0

Abstract:

The problem of recognizing an agents plans arises in many contexts in work in artificial intelligence. The plan recognition techniques suggested in the literature are rarely formally justified. We review plan recognition as a special kind of non-monotonic reasoning, and demonstrate how formal techniques developed for such reasoning -- namely, circumscription and minimal entailment -- can be used in plan recognition. The first half of this paper reviews a broad range of work in artificial intelligence and philosophy which relates to plan recognition., A formal treatment of a simple case of plan recognition follows, and the paper concludes with proposals for future extensions of this work. Author

Subject Categories:

  • Psychology

Distribution Statement:

APPROVED FOR PUBLIC RELEASE