Follow project on Twitter
NederlandsEnglish

Blok 5: Conflictdetectie en het genereren van een vraag

Definitie 7:


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


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


“{eigennaam} is een {enkelvoudig zelfstandig naamwoord 2} of een {enkelvoudig zelfstandig naamwoord 3}”
is gelijkwaardig aan
Is {eigennaam} een {enkelvoudig zelfstandig naamwoord 2} of een {enkelvoudig zelfstandig naamwoord 3}?”


Voorbeeld:


Variabelen: enkelvoudig zelfstandig naamwoord 1 = “persoon”, enkelvoudig zelfstandig naamwoord 2 = “man”, enkelvoudig zelfstandig naamwoord 3 = “vrouw”, eigennaam = “Anne

> Gegeven: “Iedere persoon is een man of een vrouw.”
> Gegeven: “Anne is een man en een vrouw.”
!
! Gedetecteerd conflict. Deze zin is niet geaccepteerd, omdat het in conflict is met:
< “Iedere persoon is een man of een vrouw.”
<
> Gegeven: “Anne is een persoon.”

• Gegenereerde vraag:
< “Is Anne een man of een vrouw?


Definitie 8:


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


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


Voorbeeld:


Variabelen: eigennaam = “Anne”, enkelvoudig zelfstandig naamwoord 1 = “man”, enkelvoudig zelfstandig naamwoord 2 = “vrouw

> Gegeven: “Anne is geen vrouw.”

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

• Gegenereerde conclusie:
< “Anne is een man.”