Logic form

LogicForm (SaaS)

LogicForm is a dynamic and adaptive survey creation software designed to overcome the limitations of traditional survey tools . It allows users to create surveys with advanced logic and collaboration features, including page-level, question-level, and choice-level logic. The platform supports conditional logic, carry-forward answers, answer variables, and flexible question displays, enabling a high level of customization.

LogicForm also facilitates real-time collaboration, allowing teams to work together seamlessly on surveys. It supports response validation, response recovery, and live editing to ensure efficient survey creation and data collection. The SaaS is currently available at logicform.io, offering a beta program where users can access all features for free during the development phase.

LogicForm (Knowledge Representation)

This article is about the term as used in knowledge representation. For the term used in logic, see Logical form.

Logic forms are simple, first-order logic knowledge representations of natural language sentences formed by the conjunction of concept predicates related through shared arguments. Each noun, verb, adjective, adverb, pronoun, preposition and conjunction generates a predicate. Logic forms can be decorated with word senses to disambiguate the semantics of the word. There are two types of predicates: events are marked with e, and entities are marked with x. The shared arguments connect the subjects and objects of verbs and prepositions together. Example input/output might look like this:

Input:  The Earth provides the food we eat every day.
Output: Earth:n_#1(x1) provide:v_#2(e1, x1, x2) food:n_#1(x2) we(x3) eat:v_#1(e2, x3, x2; x4) day:n_#1(x4)

Logic forms are used in some natural language processing techniques, such as question answering, as well as in inference both for database systems and QA systems.

References

• Vasile Rus (2002). Logic Form for WordNet Glosses. Ph.D. thesis, Southern Methodist University.
• Vasile Rus and Dan Moldovan (September 2002). "High performance logic form transformation". International Journal on Artificial Intelligence Tools. 11 (3): 437–454. doi:10.1142/S0218213002000976.
• Dan Moldovan and Vasile Rus (2001). "Logic Form transformation of wordNet and its Applicability to question answering". Proceedings of ACL 2001, Toulouse, France. Archived from the original on 2006-09-13.
• Jerry R. Hobbs (1986). "Overview of the TACITUS project". Computational Linguistics. pp. 12(3).
• Vasile Rus (2004). "A First Evaluation of Logic Form Identification Systems" (PDF). SENSEVAL-3: Third International Workshop on the Evaluation of Systems for the Semantic Analysis of Text. Archived from the original (PDF) on 2005-11-03.