top of page
Automated reasoning system,
demonstrating the natural logic of
language. Open source software.
Block 5: Past tense reasoning
Definition 10:
“{proper noun 1} was a/an/the {singular noun} of {proper noun 2}”
from which can be concluded“
{proper noun 2} has no {singular noun} anymore”
“{proper noun 1} was a/an/the {singular noun} of {proper noun 2}”
from which can be concluded“
{proper noun 2} had a/an {singular noun}, called {proper noun 1}”
Example:
Variables:
-
proper noun 1 = “James”,
-
proper noun 2 = “Peter”,
-
singular noun = “father”
Given:
-
“James was the father of Peter.”
Generated conclusions:
-
“Peter has no father anymore.”
-
“Peter had a father, called James.”
Definition 11:
“Every {singular noun 1} is a/an {singular noun 2}”
and
“{proper noun} was a/an {singular noun 1}”
from which can be concluded
“{proper noun} was a/an {singular noun 2}”
Example:
Variables:
-
proper noun = “James”,
-
singular noun 1 = “father”,
-
singular noun 2 = “man”
Given:
-
“Every father is a man.”
Already known:
-
“James was a father.” (*)
Generated conclusion:
-
“James was a man.”
(*) Sentence “James was the father of Peter” of the previous example should be recognized as “James was a father”.
Menu
-
Block 5: Past tense reasoning
-
Block 6: Detection of a conflict and generation of a question
bottom of page