Follow project on Twitter

2.4.2. Controlled Natural Language

Controlled Natural Language (CNL) reasoners allow users to enter Predicate Logic in natural language-like sentences. However, Predicate Logic doesn’t go naturally beyond the present tense of basic verb “to be”. So, also CNL reasoners don’t go naturally beyond verb “is/are”.

As a consequence, CNL reasoners are unable to convert a sentence like “Paul is a son of John” to “John has a son, called Paul” – and vice versa – in a generic way (=through an algorithm), because the latter sentence contains verb “has”. As a workaround, this conversion needs to be programmed for each and ever relationship:

• First of all, a rule must be added: “If a man(1) is-a-son-of a man(2) then the man(2) has-a-son-called the man(1)”;
• In order to trigger this rule, the relationship between “Paul” and “John” needs to be written with hyphens between the words: “Paul is-a-son-of John”. And the outcome will also contain hyphens: “John has-a-son-called Paul”;
• And the above must be repeated for each and ever similar noun: for “daughter”, for “father”, for “mother”, for “teacher”, for “student”, and so on.

This engineered workaround is clearly not generic, and therefore not scientific.

Besides that, while predicate logic describes both the Inclusive OR and Exclusive OR (XOR) function, CNL reasoners don't implement conjunction “or”. So, CNL reasoners are unable to generate the following question:

> Given: “Every person is a man or a woman.
> Given: “Addison is a person.

• Generated question:
< “Is Addison a man or a woman?

As a workaround for lacking an implementation of conjunction “or”, CNL reasoners need three sentences to describe sentence “Every person is a man or a woman” in a similar way:
• “Every man is a person.”;
• “Every woman is a person.”;
• “No woman is a man and no man is a woman.”.

Even though their workaround sentence “No woman is a man and no man is a woman” describes an Exclusive OR (XOR) function, scientists are still unable – or unwilling – to implement automatically generated questions in a generic way (=through an algorithm).

Both problems mentioned above – the inability to convert a sentence through an algorithm and the inability to generate a question through an algorithm – make clear that scientists are unable – or unwilling – to integrate reasoning (=natural intelligence) and natural language in artificial systems.

Lawyers have no problems to write down logic in legal documents, using natural language. So, why are scientists unable – or unwilling – to integrate logic and natural language in artificial systems?

Legal documents are of course accurate in their description: “either ... or ...” is used to describe an Exclusive OR function, and the combination “and/or” is used to describe an Inclusive OR function. In daily life, instead of the combination “and/or”, we add “or both” to the sentence. In most other cases of conjunction “or”, we mean an Exclusive OR function.

So, in daily life, “Coffee or tea?” – short for “Either coffee or tea?” – describes an Exclusive OR function, while “Warm milk or a sleeping pill? Or both?” describes an Inclusive OR function.

Note: In these examples, the conjunction separates a series of words of the same word type. In these cases, a series of singular nouns. But also in imperative sentences like “Do …, or you'll have to face the consequences”, conjunction “or” implements an Exclusive OR function. Because the sender gives the receiver an exclusive choice: “Either do …, or you'll have to face the consequences”.

Thinknowlogy 2019r1

zal in mei 2019 worden gepubliceerd. Het zal deel 6 van een intern herontwerp bevatten. Zie mijn planning voor andere geplande publicaties. Volg dit project via Twitter, abonneer je op updates via GitHub of SourceForge, of ontvang een e-mail als een nieuwe versie beschikbaar is.

Sluit je aan bij mijn Fair Science Supporters groep op LinkedIn, om zo je steun te betuigen aan een eerlijke beoefening van de wetenschap. Of voel je vrij om mij een LinkedIn uitnodiging te sturen.

God heeft natuurwetten gecreëerd, om de natuur als een 'geoliede machine' te laten lopen, net als de radartjes in een uurwerk. Er zijn ook Natuurwetten van Intelligentie ingebed in Grammatica. Thinknowlogy implementeert deze natuurwetten van intelligentie in software.