Rapid Text-Based Authoring of Defeasible Higher-Order Logic Formulas, via Textual Logic and Rulelog

(Summary of Invited Talk)
  • Benjamin N. Grosof
Part of the Lecture Notes in Computer Science book series (LNCS, volume 8035)


We present textual logic (TL), a novel approach that enables rapid semi-automatic acquisition of rich logical knowledge from text. The resulting axioms are expressed as defeasible higher-order logic formulas in Rulelog, a novel extended form of declarative logic programs. A key element of TL is textual terminology, a phrasal style of knowledge in which words/word-senses are used directly as logical constants. Another key element of TL is a method for rapid interactive disambiguation as part of logic-based text interpretation. Existential quantifiers are frequently required, and we describe Rulelog’s approach to making existential knowledge be defeasible. We describe results from a pilot experiment that represented the knowledge from several thousand English sentences in the domain of college-level cell biology, for purposes of question-answering.


Logic Program Knowledge Acquisition Word Sense Question Answering Logical Knowledge 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Chen, W., Kifer, M., Warren, D.: HiLog: A foundation for higher-order logic programming. Journal of Logic Programming 15(3), 187–230 (1993)MathSciNetzbMATHCrossRefGoogle Scholar
  2. 2.
    Cyc: Cyc (2013) (project begun in approx. 1984),
  3. 3.
    Flora-2: Flora-2 (2013) (project begun in approx. 2000),
  4. 4.
    Grosof, B., Andersen, C., Dean, M., Kifer, M.: Omni-directional Hyper Logic Programs in SILK and RIF. In: Proc. RuleML 2010, the 4th Intl. Web Rule Symp (Demonstration and Poster) (2010)Google Scholar
  5. 5.
    Grosof, B., Burstein, M., Dean, M., Andersen, C., Benyo, B., Ferguson, W., Inclezan, D., Shapiro, R.: A SILK Graphical UI for Defeasible Reasoning, with a Biology Causal Process Example. In: Proc. RuleML 2010, the 4th Intl. Web Rule Symp. (Demonstration and Poster) (2010)Google Scholar
  6. 6.
    Grosof, B., Swift, T.: Radial Restraint: A Semantically Clean Approach to Bounded Rationality for Logic Programs. In: Proc. AAAI 2013, the 27th AAAI Conf. on Artificial Intelligence (July 2013)Google Scholar
  7. 7.
    Lloyd, J.W.: Foundations of Logic Programming. Springer, Berlin (1984)zbMATHCrossRefGoogle Scholar
  8. 8.
    RuleML: Rule Markup and Modeling Initiative (2013) (project begun in approx. 2000),
  9. 9.
    SILK: SILK: Semantic Inferencing on Large Knowledge (2013) (project begun in 2008),
  10. 10.
    Swift, T., Warren, D.S.: XSB: Extending Prolog with Tabled Logic Programming. TPLP 12, 157–187 (2012)MathSciNetzbMATHGoogle Scholar
  11. 11.
    Wan, H., Grosof, B., Kifer, M., Fodor, P., Liang, S.: Logic Programming with Defaults and Argumentation Theories. In: Hill, P.M., Warren, D.S. (eds.) ICLP 2009. LNCS, vol. 5649, pp. 432–448. Springer, Heidelberg (2009)CrossRefGoogle Scholar
  12. 12.
    XSB: XSB (2013) (project begun in approx. 1993),

Copyright information

© Springer-Verlag Berlin Heidelberg 2013

Authors and Affiliations

  • Benjamin N. Grosof
    • 1
  1. 1.Benjamin Grosof & Associates, LLCUSA

Personalised recommendations