Follow project on Twitter
NederlandsEnglish

2.4.1. Predicate Logic

Algebra / Predicate Logic is not equipped to process linguistics. It describes logic expressed by present tense verb “is/are” in a natural way. But it doesn’t describe the logic of the complimentary function of verb “is/are”, namely verb “has/have”. Neither does it describe the logic of their past tense functions, namely verb “was/were” and verb “had”. As a consequence, automated reasoners are unable to read and write sentences with possessive verb “has/have” and with past tense verbs “was/were” and “had”.

A lot of structure words (non-keywords) have a naturally intelligent function in language. However, their naturally intelligent function is not described in any scientific paper. Apparently, scientists don't understand their naturally intelligent function in language.

Being unable to describe possessive logic in a natural way, another workaround is created, by adding possessive logic in an artificial way:

• Possessive logic must be programmed directly into the reasoner, like “has_son(john,paul)”;
• Besides that, lacking a generic solution, the same logic needs to be programmed for each and every new noun. So, separate functions must be programmed for “has_daughter”, “has_father”, “has_mother”, “has_teacher”, “has_student”, and so on;
• Moreover, in order to enable multilingual reasoning, all existing functions in one language, need to be translated for each and every new language.

This is engineering (specific solutions to specific problems) instead of science (a generic solution). Actually, it is a bad example of engineering. This is madness. We need to uplift the field of AI and NLP from engineering to a science.

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.