top of page
Automated reasoning system,
demonstrating the natural logic of
language. Open source software.
Block 1: Direct conversions
Definition 1:
“{proper noun 1} is a/an/the {singular noun} of {proper noun 2}”
equals to
“{proper noun 2} has a/an {singular noun}, called {proper noun 1}”
Examples:
Variables:
-
proper noun 1 = “Paul”,
-
proper noun 2 = “John”,
-
singular noun = “son”
Given:
-
“Paul is a son of John.”
Generated conclusion:
-
“John has a son called Paul.”
Variables:
-
proper noun 1 = “Laura”,
-
proper noun 2 = “Anna”,
-
singular noun = “daughter”
Given:
-
“Anna has a daughter called Laura.”
Generated conclusion:
-
“Laura is a daughter of Anna.”
Definition 2:
“Every {singular noun 1} has a/an {singular noun 2}”
equals to
“A/An {singular noun 2} is part of every {singular noun 1}”
Examples:
Variables:
-
singular noun 1 = “car”,
-
singular noun 2 = “engine”
Given:
-
“Every car has an engine.”
Generated conclusion:
-
“An engine is part of every car.”
Variables:
-
singular noun 1 = “sailboat”,
-
singular noun 2 = “sail”
Given:
-
“A sail is part of every sailboat.”
Generated conclusion:
-
“Every sailboat has a sail.”
Definition 3:
“Every kind of {singular noun 1} has a specific {singular noun 2}”
equals to
“A/An {singular noun 2} is characteristic for every kind of {singular noun 1}”
Examples:
Variables:
• singular noun 1 = “liquid”,
• singular noun 2 = “boiling point”
Given:
-
“Every kind of liquid has a specific boiling point.”
Generated conclusion:
-
“A boiling point is characteristic for every kind of liquid.”
Variables:
• singular noun 1 = “gas”,
• singular noun 2 = “condensation point”
Given:
-
“A condensation point is characteristic for every kind of gas.”
Generated conclusion:
-
“Every kind of gas has a specific condensation point.”
Menu
-
Block 1: Direct conversions
-
Block 6: Detection of a conflict and generation of a question
bottom of page