A First-Order Theory of Agent Models with a Layered Architecture

Noriaki Izumi, Shinobu Takamatsu, Koichi Kise, Kunio Fukunaga

We propose a first-order theory of agent models by syntactic formulation. This formalization gives a unified model of intelligent agents for planning, executing, sensing, and replanning.

This page is copyrighted by AAAI. All rights reserved. Your use of this site constitutes acceptance of all of AAAI's terms and conditions and privacy policy.