7.2.3 AND

Introduction

In normal CG notation, two connected graphs that stand side by side are implicitly assumed to be logically connected by "and".

Since Prolog+CG does not allow two adjacent graphs that are not connected to each other, we have to find some other way of representing "AND".

Template

One possible solution would be to surround the two graphs with concepts of type "Situation", "Proposition", or the like, and then place a relation called "AND" in between.

[Proposition = ...]-AND->[Proposition = ...]

Below we give an example of this:

Example of template

// AND-Template 
//
// Available in the AAU directory as And-template.plgCG
//
// Ulrik Petersen
// Created: Mid-September 2003
// Last update: September 18, 2003
//



// Type hierarchy
Entity > Physical, Abstract.
Abstract > Proposition, Attribute.
Attribute > Mortal.
Physical > Object.
Object > Person.
Person > Man.

// Catalog of instances
Person = Socrates.
Man = Socrates.

// Socrates is a man, and Socrates is Mortal
graph(Socrates1, [Proposition =
                      [Man: Socrates]
                 ]-AND->[Proposition =
                      [Person: Socrates]-ATTR->[Mortal]
                 ]).

Reference

This template comes from Ulrik Petersen.


PrevLite: 7.2.2 Utterance
NextLite: 7.2.4 If/Then

Prev: 7.2.2 Utterance
Up: 7.2 Templates
Next: 7.2.4 If/Then