This paper introduces a logic language that has a dynamic update mechanism for specifying changes to logic programs.  With an initial knowledge base, it is updated sequentially by the LUPS language.  The sequence of update commands is defined by the semantics of the dynamic logic program generated by those commands.

 

The really interesting part of this paper is figure 1 that breaks down the logic system into a set of tasks that act as components of the logic engine.  This simplification into manageable components could make the system easier to comprehend and visualize while programming, although no examples are offered to demonstrate this.

 

The common knowledge base contains knowledge about the self and the agent community, and is conceptually divided into the following components: Capabilities,

Intentions, Goals, Plans, Reactions, Object Knowledge Base, Internal

Behaviour Rules, and time.

 

***** Need more detailed summary here…