Follow project on Twitter
NederlandsEnglish

Block 5: Detection of a conflict and generation of a question

Definition 7:


Every {singular noun 1} is a/an {singular noun 2} or a/an {singular noun 3}”
conflicts with
“{proper noun} is a/an {singular noun 2} and a/an {singular noun 3}


Every {singular noun 1} is a/an {singular noun 2} or a/an {singular noun 3}”
and
“{proper noun} is a/an {singular noun 1}”
from which can be concluded
“{proper noun} is a/an {singular noun 2} or a/an {singular noun 3}”


“{proper noun} is a/an {singular noun 2} or a/an {singular noun 3}”
equals to
Is {proper noun} a/an {singular noun 2} or a/an {singular noun 3}?”


Example:


Variables: singular noun 1 = “person”, singular noun 2 = “man”, singular noun 3 = “woman”, proper noun = “Addison

> Given: “Every person is a man or a woman.”
> Given: “Addison is a man and a woman.”
!
! Detected conflict. This sentence is not accepted, because it is in conflict with:
< “Every person is a man or a woman.”
<
> Given: “Addison is a person.”

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


Definition 8:


Is {proper noun} is a/an {singular noun 1} or a/an {singular noun 2}?”
and
“{proper noun} is not a/an {singular noun 1}”
from which can be concluded
“{proper noun} is a/an {singular noun 2}”


Is {proper noun} a/an {singular noun 1} or a/an {singular noun 2}?”
and
“{proper noun} is not a/an {singular noun 2}”
from which can be concluded
“{proper noun} is a/an {singular noun 1}”


Example:


Variables: proper noun = “Addison”, singular noun 1 = “man”, singular noun 2 = “woman

> Given: “Addison is not a woman.”

• Detected that the generated question has been answered:
< “Is Addison a man or a woman?

• Generated conclusion:
< “Addison is a man.”