Article: An Architectural Approach to Ensuring Consistency in Hierarchical Execution

JAIR is pleased to announce the publication of the following article:

Wray, R.E. and Laird, J.E. (2003)
  "An Architectural Approach to Ensuring Consistency in Hierarchical 
   Execution", Volume 19, pages 355-398.

   For quick access via your WWW browser, use this URL:
     http://www.jair.org/abstracts/wray03a.html

Abstract:
Hierarchical task decomposition is a method used in many agent systems
to organize agent knowledge.  This work shows how the combination of a
hierarchy and persistent assertions of knowledge can lead to
difficulty in maintaining logical consistency in asserted
knowledge. We explore the problematic consequences of persistent
assumptions in the reasoning process and introduce novel potential
solutions.  Having implemented one of the possible solutions, Dynamic
Hierarchical Justification, its effectiveness is demonstrated with an
empirical analysis. 

The article is available via:
   
 -- comp.ai.jair.papers (also see comp.ai.jair.announce)

 -- World Wide Web: The URL for our World Wide Web server is
       http://www.jair.org/
    For direct access to this article and related files try:
       http://www.jair.org/abstracts/wray03a.html

 -- Anonymous FTP from Carnegie-Mellon University (USA):
        ftp://ftp.cs.cmu.edu/project/jair/volume19/wray03a.ps
    The compressed PostScript file is named wray03a.ps.Z 

For more information about JAIR, visit our WWW or FTP sites, or
contact [EMAIL PROTECTED]



-- 
Steven Minton
JAIR Managing Editor