Do you want BuboFlash to help you learning these things? Or do you want to add or correct something? Click here to log in or create user.



Tags
#artificial-intelligence #language-processing #logic #pease-celt
Question
The Controlled English to Logic (CELT) system translates a restricted English grammar to expressions in [...]. The logic statements use terms from a large formal ontology, the Suggested Upper Merged Ontology (SUMO), giving each resulting statement a wealth of deep meaning, similar in kind if not in degree to capturing the meaning a human associates with words in context.
Answer
formal logic

Tags
#artificial-intelligence #language-processing #logic #pease-celt
Question
The Controlled English to Logic (CELT) system translates a restricted English grammar to expressions in [...]. The logic statements use terms from a large formal ontology, the Suggested Upper Merged Ontology (SUMO), giving each resulting statement a wealth of deep meaning, similar in kind if not in degree to capturing the meaning a human associates with words in context.
Answer
?

Tags
#artificial-intelligence #language-processing #logic #pease-celt
Question
The Controlled English to Logic (CELT) system translates a restricted English grammar to expressions in [...]. The logic statements use terms from a large formal ontology, the Suggested Upper Merged Ontology (SUMO), giving each resulting statement a wealth of deep meaning, similar in kind if not in degree to capturing the meaning a human associates with words in context.
Answer
formal logic
If you want to change selection, open original toplevel document below and click on "Move attachment"

Parent (intermediate) annotation

Open it
The Controlled English to Logic (CELT) system translates a restricted English grammar to expressions in formal logic. The logic statements use terms from a large formal ontology, the Suggested Upper Merged Ontology (SUMO), giving each resulting statement a wealth of deep meaning, similar in kind if n

Original toplevel document (pdf)

owner: test-user-peter - (no access) - Controlled English to Logic Translation - Adam Pease, p1

Summary

statusnot learnedmeasured difficulty37% [default]last interval [days]               
repetition number in this series0memorised on               scheduled repetition               
scheduled repetition interval               last repetition or drill

Details

No repetitions


Discussion

Do you want to join discussion? Click here to log in or create user.