Follow project on Twitter
NederlandsEnglish

Blok 5: Conflictdetectie en het genereren van een vraag

De algebra van taal die hieronder genoemd wordt, past de volgende structuurwoorden toe: “is”, “of”, “en”, “ieder(e)” en “geen”.


Ieder(e) {enkelvoudig zelfstandig naamwoord 1} is {onbepaald lidwoord + enkelvoudig zelfstandig naamwoord 2} of {onbepaald lidwoord + enkelvoudig zelfstandig naamwoord 3}”
is in conflict met
“{eigennaam 1} is {onbepaald lidwoord + enkelvoudig zelfstandig naamwoord 2} en {onbepaald lidwoord + enkelvoudig zelfstandig naamwoord 3}


Ieder(e) {enkelvoudig zelfstandig naamwoord 1} is {onbepaald lidwoord + enkelvoudig zelfstandig naamwoord 2} of {onbepaald lidwoord + enkelvoudig zelfstandig naamwoord 3}”
en
“{eigennaam 1} is {onbepaald lidwoord + enkelvoudig zelfstandig naamwoord 1}”
waaruit kan worden geconcludeerd
“{eigennaam 1} is {onbepaald lidwoord + enkelvoudig zelfstandig naamwoord 2} of {onbepaald lidwoord + enkelvoudig zelfstandig naamwoord 3}”


“{eigennaam 1} is {onbepaald lidwoord + enkelvoudig zelfstandig naamwoord 2} of {onbepaald lidwoord + enkelvoudig zelfstandig naamwoord 3}”
is gelijkwaardig aan
Is {eigennaam 1} {onbepaald lidwoord + enkelvoudig zelfstandig naamwoord 2} of {onbepaald lidwoord + enkelvoudig zelfstandig naamwoord 3}?”


Is {eigennaam 1} {onbepaald lidwoord + enkelvoudig zelfstandig naamwoord 1} of {onbepaald lidwoord + enkelvoudig zelfstandig naamwoord 2}?”
en
“{eigennaam 1} is geen {onbepaald lidwoord + enkelvoudig zelfstandig naamwoord 1}”
waaruit kan worden geconcludeerd
“{eigennaam 1} is {onbepaald lidwoord + enkelvoudig zelfstandig naamwoord 2}”


Is {eigennaam 1} {onbepaald lidwoord + enkelvoudig zelfstandig naamwoord 1} of {onbepaald lidwoord + enkelvoudig zelfstandig naamwoord 2}?”
en
“{eigennaam 1} is geen {onbepaald lidwoord + enkelvoudig zelfstandig naamwoord 2}”
waaruit kan worden geconcludeerd
“{eigennaam 1} is {onbepaald lidwoord + enkelvoudig zelfstandig naamwoord 1}”


Voorbeelden:
> Ingevoerd: “Ieder persoon is een man of een vrouw.
> Ingevoerd: “Anne is een man en een vrouw.
!
! Gedetecteerd conflict: Deze zin is niet geaccepteerd, omdat het in conflict is met zichzelf.
!
> Ingevoerd: “Anne is een persoon.

• Gegenereerde vraag:
< “Is Anne een man of een vrouw?
>
> Ingevoerd: “Anne is geen vrouw.

• Gedetecteerd dat de gegenereerde vraag beantwoord is:
< “Is Anne een man of een vrouw?

• Gegenereerde conclusie:
< “Anne is een man.