The final thing that a concept referent can be is a multi-referent. Multi-referents are used to specify that two or more concepts are really the same concept.


The syntax of a multi-referent is:


for example, "*1" or "*2" ... up to "*9".


When we write the same multi-referent in two spatially separate concepts, we are thereby indicating that this really is the same concept.


Entity > Animal, Act.

Act = Say.

// An animal is talking to itself
SpeechAct([Animal : *1]<-AGNT-[Act : Say]-RCPT->[Animal : *1]).

This example is available in the AAU directory as Aesop4.plgCG.


The SpeechAct fact says that an animal is talking to itself. The referent of both [Animal] concepts is the multi-referent *1, so the concept is really the same concept internally in the machine. Graphically, this would look as follows:

Note how this is different from coreference:

It is the former, not the latter, we are representing with multi-referents.

PrevLite: Variables
NextLite: 4.3.3 Concept descriptors

Prev: Variables
Up: 4.3.2 Referents
Next: 4.3.3 Concept descriptors