Follow project on Twitter
NederlandsEnglish

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

The algebra of language listed below, applies structure words: “is”, “or”, “and”, “every” and “not”.


Every {singular noun 1} is {indefinite article + singular noun 2} or {indefinite article + singular noun 3}”
conflicts with
“{proper noun 1} is {indefinite article + singular noun 2} and {indefinite article + singular noun 3}


Every {singular noun 1} is {indefinite article + singular noun 2} or {indefinite article + singular noun 3}”
and
“{proper noun 1} is {indefinite article + singular noun 1}”
from which can be concluded
“{proper noun 1} is {indefinite article + singular noun 2} or {indefinite article + singular noun 3}”


“{proper noun 1} is {indefinite article + singular noun 2} or {indefinite article + singular noun 3}”
equals to
Is {proper noun 1} {indefinite article + singular noun 2} or {indefinite article + singular noun 3}?”


Is {proper noun 1} {indefinite article + singular noun 1} or {indefinite article + singular noun 2}?”
and
“{proper noun 1} is not {indefinite article + singular noun 1}” from which can be concluded “{proper noun 1} is {indefinite article + singular noun 2}”


Is {proper noun 1} {indefinite article + singular noun 1} or {indefinite article + singular noun 2}?”
and
“{proper noun 1} is not {indefinite article + singular noun 2}”
from which can be concluded
“{proper noun 1} is {indefinite article + singular noun 1}”


Implementation:
> 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 itself.
!
> Given: “Addison is a person.

• Generated question:
< “Is Addison a man or a 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.