top of page
Automated reasoning system,
demonstrating the natural logic of
language. Open source software.
Block 2: Indirect conversions
Definition 4:
“Every {singular noun 1} has a/an {singular noun 2} and a/an {singular noun 3}”
from which can be concluded
“A/An {singular noun 2} and a/an {singular noun 3} are part of every {singular noun 1}”
Example:
Variables:
-
singular noun 1 = “family”,
-
singular noun 2 = “parent”,
-
singular noun 3 = “child”
Given:
-
“Every family has a parent and a child.”
Generated conclusion:
-
“A parent and a child are part of every family.”
Definition 5a:
“Every {singular noun 1} has a/an {singular noun 2} and a/an {singular noun 3}”
and
“{proper noun} is a/an {singular noun 2 or 3}”
from which can be concluded
“{proper noun} is part of a/an {singular noun 1}”
Definition 5b:
“Every {singular noun 1} has a/an {singular noun 2} and a/an {singular noun 3}”
and
“{proper noun} is a/an {singular noun 2}”
from which can be assumed
“{proper noun} has probably a/an {singular noun 3}”
“Every {singular noun 1} has a/an {singular noun 2} and a/an {singular noun 3}”
and
“{proper noun} is a/an {singular noun 3}”
from which can be assumed
“{proper noun} has probably a/an {singular noun 2}”
Example 5a:
Variables:
-
proper noun = “Michael”,
-
singular noun 1 = “family”,
-
singular noun 2 = “parent”,
-
singular noun 3 = “child”
Given:
-
“Michael is a parent.”
Conclusion generated by definition 5a:
-
“Michael is part of a family.”
Assumption generated by definition 5b:
-
“Michael has probably a child.”
Example 5b:
Variables:
-
proper noun = “Adam”,
-
singular noun 1 = “family”,
-
singular noun 2 = “parent”,
-
singular noun 3 = “child”
Given:
-
“Adam is a child.”
Conclusion generated by definition 5a:
-
“Adam is part of a family.”
Assumption generated by definition 5b:
-
“Adam has probably a parent.”
Definition 6a:
“Every {singular noun 1} has a/an {singular noun 2} and a/an {singular noun 3}”
and
“{proper noun} has a/an {singular noun 2 or 3}”
from which can be assumed
“{proper noun} is probably part of a/an {singular noun 1}”
Definition 6b:
“Every {singular noun 1} has a/an {singular noun 2} and a/an {singular noun 3}”
and
“{proper noun} has a/an {singular noun 2}”
from which can be assumed
“{proper noun} is probably a/an {singular noun 3}”
“{proper noun} has a/an {singular noun 3}”
from which can be assumed
“{proper noun} is probably a/an {singular noun 2}”
Examples:
Variables:
-
proper noun = “Peter”,
-
singular noun 2 = “parent”,
-
singular noun 3 = “child”
Given:
-
“Peter has a parent.”
Assumption generated by definition 6b:
-
“Peter is probably a child.”
Assumption generated by definition 6a:
-
“Peter is probably part of a family.”
Variables:
-
proper noun = “Ronald”,
-
singular noun 2 = “parent”,
-
singular noun 3 = “child”
Given:
-
“Ronald has a child.”
Assumption generated by definition 6b:
-
“Ronald is probably a parent.”
Assumption generated by definition 6a:
-
“Ronald is probably part of a family.”
Menu
-
Block 2: Indirect conversions
-
Block 6: Detection of a conflict and generation of a question
bottom of page