4.3.3 Concept descriptors

Introduction

Concept descriptors are used to associate data with a concept.

This data can be any type of Prolog+CG data, but most often, we use CGs as concept descriptors. This enables us to write nested graphs.

Syntax

Concept descriptors are separated from the concept type and concept referent by an equals sign:

[Type = Descriptor]

or

[Type : Referent = Descriptor]

Example

Entity > Proposition, Animal, Act.

Animal = Wolf, Lamb.
Act = Persuade.

prop([Proposition =
        [Animal : Wolf]<-AGNT-[Act : Persuade]-RCPT->[Animal : Lamb]
     ]).

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

Explanation

Here, the subgraph

[Animal : Wolf]<-AGNT-[Act : Persuade]-RCPT->[Animal : Lamb]

is the descriptor of the concept Proposition.

You will often use CGs as descriptors of concepts with types such as Proposition, Utterance, Cause, Effect, If, Then, etc.


PrevLite: 4.3.2.3 Multi-referents
NextLite: 4.3.4 Summary

Prev: 4.3.2.3 Multi-referents
Up: 4.3 Concepts
Next: 4.3.4 Summary