KnowBuddy is a collaborative tool for curating and disambiguating text into grammatical English and 'ontology' (which means "knowledge" including logical axioms of various sorts).
KnowBuddy goes further than clarifying lexical or syntactic ambiguities. KnowBuddy clarifies the logical semantics of English to the point of producing formal, logical, axiomatic knowledge suitable for artificial intelligence.
Once you register, you can use KnowBuddy in any of the following ways:
- try it in your browser using a publicly shared knowledge base as your 'scratch pad'.
- launch it as a application that automatically installs if Java is enabled in your browser.
- Using the app, you can create a personal knowledge base or select among publicly available knowledge bases.
- The app supports a native user interface on Intel-compatible processors running 64-bit Windows, Mac/OSX, or Linux GTK.
- launch the Java application from the command-line as follows:
- javaws https://linguist.haleyai.com/webstart/KnowBuddy.jnlp
For more information, please visit Haley AI or send mail to email@example.com.
Please also get in touch if you may be interested in collaboration or compensation ranging from consultants or employees to micro-task work in the following areas:
- deep question answering and dialog with intelligent agents
- automated reasoning using theorem proving or logic programming systems
- moderate to large-scale linguistic, analytic, knowledge acquisition & reasoning
For example, we have tens of thousands of tasks available that take from seconds to minutes.
And, we are hiring people interested in the above general areas and topics such as the following:
- Stickel, Mark E. "A Prolog-like inference system for computing minimum-cost abductive explanations in natural-language interpretation." Annals of Mathematics and Artificial Intelligence 4.1 (1991): 89-105.
- Montazeri, Niloofar, and Jerry R. Hobbs. "Elaborating a knowledge base for deep lexical semantics." Proceedings of the Ninth International Conference on Computational Semantics. Association for Computational Linguistics, 2011.
- Wolfe, Ellie Pavlick1 Travis, et al. "FrameNet+: Fast Paraphrastic Tripling of FrameNet."
- WordNet, FrameNet, VerbNet, PPDB, and distributed word representations for NLU (lexical and logical semantics interpretation/disambiguation).
- Statistical, neural, and unification-based grammars for NLP, NLU, and NLG (c.f., the English Resource Grammar)
- Kwiatkowski, T., Zettlemoyer, L., Goldwater, S., & Steedman, M. Inducing Probabilistic CCG Grammars from Logical Form with Higher-Order Unification.
- Fahlman, S. E. (2013). The Scone knowledge-base project (home page).
- Vulcan's SILK, Flora, and XSB Prolog