top of page
Automated reasoning system,
demonstrating the natural logic of
language. Open source software.
Block 6: Detection of a conflict and generation of a question
Definition 12:
“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 = “Alex”
Given:
-
“Every person is a man or a woman.”
_____________________________
In case you are planning to implement Block 8: Advanced reasoning as well:
_____________________________
Generated assumptions:
-
“A man is probably not a woman.”
-
“James is probably not a woman.”
-
“A woman is probably not a man.”
_____________________________
Given:
-
“Alex 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:
-
“Alex is a person.”
Generated question:
-
“Is Alex a man or a woman?”
Definition 13:
“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 = “Alex”,
-
singular noun 1 = “man”,
-
singular noun 2 = “woman”
Given:
-
“Alex is not a woman.”
Detected that the generated question has been answered:
-
“Is Alex a man or a woman?”
Generated assumption:
-
“Alex is probably a man.”
Menu
-
Block 6: Detection of a conflict and generation of a question
bottom of page