Readings in Distributed Artificial Intelligence

HELPING Parameter Specifications. The Parameter Specifications are a

set of predications on the Parameters. In our input formalism, the second element

of an input clause is the name of the predicate for that clause, and all the other

elements are arguments of that predicate. Thus, the clause (HELPER PER-

FORMS TASK) is stored as a particular instance of the predicate PERFORMS,

with HELPEE and TASK as arguments:

A0004

I

pred-^

PERFORMS

agent-^

HELPEE

I

object-*

TASK

An element of

a

clause may simply be a name of a node, or it may be an entire

predicate

itself.

Some predicates take propositional arguments. For example, the

clause HELPEE WANTS