The Act-Editor is a tool for graphically browsing and editing procedural knowledge expressible in the Act formalism .
Users edit procedural knowledge through direct pictorial manipulation.
The Act-Editor inlcudes a verification system that automatically checks predicates and objects, referenced by Acts, against dictionaries. This document describes the Act-Editor, which provides a graphical user interface for creating and manipulating Acts. The document is designed for individuals who are already familiar with the Act formalism. Such agents must monitor the world and respond appropriately to important events. The agents should be able to accept goals, synthesize complex plans for achieving those goals, and execute the plans while continuing to be responsive to changes in the world.