Follow project on Twitter

2.4.3. The function of word types in reasoning

There is another fundamental problem when Predicate Logic is applied to linguistics: It doesn't specify word types.

For example, instead of “All humans are mortal”, it is perfectly fine in Predicate Logic to write “All blue are mortal”. But this sentence construction is grammatically invalid for any adjective. It is only valid for plural nouns.

In order to be applicable to natural language, Predicate Logic should describe the word type of each variable. In this case, it should define that the first variable (second word) should be a plural noun, and that the second variable (last word) should be an adjective.

Let's consider the following equation: “Every car has an engine” equals to “An engine is part of every car”. I state that this equation is true for any singular noun. However, unaware of the function of word types in language, scientists try to prove my fundamental approach wrong by using a proper noun, like: “John has a son” equals to “A son is part of every John”, which is nonsense of course.

So, despite of using different types in common programming languages – such as booleans, integers and strings – scientists are ignorant of the function of the different word types when it comes to reasoning in natural language.

The algebra of language that I used in the challenge to beat my Controlled Natural Language reasoner repairs both problems: Preserving word type information, as well as reasoning beyond the present tense of basic verb “is/are” (see Predicate Logic). Abbreviations can be used later, in order to make the notation compact.

Thinknowlogy 2018r1

zal in mei 2018 worden gepubliceerd, waarbij de Chinese taal zal zijn toegevoegd. Zie mijn planning voor andere geplande publicaties. Volg dit project via Twitter, abonneer je op updates via SourceForge, abonneer je op updates via GitHub 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, en/of mijn Fair Science • Artificial Intelligence (AI) and knowledge technology (NLP) netwerkgroep, welke toegewijd is aan eerlijk onderzoek naar Kunstmatige Intelligentie (AI) en kennistechnologie. Of stuur mij een LinkedIn uitnodiging.

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.