DeSymbol is a program that translates first-order predicate logic expressions into English. It is designed to help students practice when learning or reviewing symbolic logic: students begin by translating English sentences into symbolic logic notation, and then they can use DeSymbol to translate the logic back into English to check their work.
The newest version of DeSymbol adds the ability for the user to expand the system’s vocabulary, using a web interface. The user can enter new nouns, verbs, or adjectives, specifying each word’s part of speech, its singular and plural forms, and (for verbs) whether the verb takes an object. Each user’s specialized vocabulary can then be used in forming logic expressions. This allows students to customize DeSymbol to fit a desired collection of English sentences.
Provine, Darren F. and Tinkham, Nancy Lynn, "Supplemental Vocabulary Acquisition in The Desymbol Logic Translator" (2009). ACMS Conference Proceedings 2009. 14.
Applied Mathematics Commons, Computer Sciences Commons, Higher Education Commons, History of Science, Technology, and Medicine Commons, Mathematics Commons, Science and Mathematics Education Commons, Teacher Education and Professional Development Commons