Towards a Wide-Coverage Tableau Method for Natural Logic

  • Lasha AbzianidzeEmail author
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 9067)


The first step towards a wide-coverage tableau prover for natural logic is presented. We describe an automatized method for obtaining Lambda Logical Forms from surface forms and use this method with an implemented prover to hunt for new tableau rules in textual entailment data sets. The collected tableau rules are presented and their usage is also exemplified in several tableau proofs. The performance of the prover is evaluated against the development data sets. The evaluation results show an extremely high precision above 97 % of the prover along with a decent recall around 40 %.


Combinatory Categorial Grammar Lambda Logical Form Natural logic Theorem prover Tableau method Textual entailment 



I would like to thank Reinhard Muskens for his discussions and continuous feedback on this work. I also thank Matthew Honnibal, James R. Curran and Johan Bos for sharing the retrained CCG parser and anonymous reviewers of LENLS11 for their valuable comments. The research is part of the project “Towards Logics that Model Natural Reasoning” and supported by the NWO grant (project number 360-80-050).


  1. 1.
    Bos, J., Clark, S., Steedman, M., Curran, J.R., Hockenmaier, J.: Wide-coverage semantic representations from a CCG parser. In: Proceedings of the 20th International Conference on Computational Linguistics (COLING 2004), pp. 1240–1246 (2004)Google Scholar
  2. 2.
    Bos, J.: Towards a large-scale formal semantic lexicon for text processing. from form to meaning: processing texts automatically. In: Proceedings of the Biennal GSCL Conference, pp. 3–14 (2009)Google Scholar
  3. 3.
    Champollioni, L.: Quantification and negation in event semantics. In: Baltic International Yearbook of Cognition, Logic and Communication, vol. 6 (2010)Google Scholar
  4. 4.
    Clark, S., Curran, J.R.: Wide-coverage efficient statistical parsing with CCG and log-linear models. Comput. Linguist. 33(4), 493–552 (2007)CrossRefzbMATHGoogle Scholar
  5. 5.
    Cooper, R., Crouch, D., van Eijck, J., Fox, C., van Genabith, J., Jaspars, J., Kamp, H., Milward, D., Pinkal, M., Poesio, M., Pulman, S.: Using the framework. Technical Report LRE 62–051 D-16. The FraCaS Consortium (1996)Google Scholar
  6. 6.
    Fellbaum, C. (ed.): WordNet: An Electronic Lexical Database. MIT press, Cambridge (1998)zbMATHGoogle Scholar
  7. 7.
    de Groote, Ph.: Towards abstract categorial grammars. In: Proceedings of the Conference on ACL 39th Annual Meeting and 10th Conference of the European Chapter, pp. 148–155 (2001)Google Scholar
  8. 8.
    Honnibal, M., Curran, J.R., Bos, J.: Rebanking CCGbank for improved NP interpretation. In: Proceedings of the 48th Meeting of the Association for Computational Linguistics (ACL), pp. 207–215 (2010)Google Scholar
  9. 9.
    MacCartney, B., Manning, C.D.: Modeling semantic containment and exclusion in natural language inference. In: Proceedings of Coling-2008, Manchester, UK (2008)Google Scholar
  10. 10.
    Marelli, M., et al.: A sick cure for the evaluation of compositional distributional semantic models. In Proceedings of LREC, Reykjavik (2014)Google Scholar
  11. 11.
    Muskens, R.: Language, lambdas, and logic. In: Kruijff, G., Oehrle, R. (eds.) Resource-Sensitivity, Binding and Anaphora. Studies in Linguistics and Philosophy, vol. 80, pp. 23–54. Springer, Heidelberg (2003)CrossRefGoogle Scholar
  12. 12.
    Muskens, R.: An analytic tableau system for natural logic. In: Aloni, M., Bastiaanse, H., de Jager, T., Schulz, K. (eds.) Logic, Language and Meaning. LNCS, vol. 6042, pp. 104–113. Springer, Heidelberg (2010) CrossRefGoogle Scholar
  13. 13.
    Steedman, M., Baldridge, J.: Combinatory Categorial Grammar. In: Borsley, R.D., Borjars, K. (eds.) pp. 181–224. Blackwell Publishing (2011)Google Scholar
  14. 14.
    Winter, Y., Zwarts, J.: Event semantics and abstract categorial grammar. In: Kanazawa, M., Kornai, A., Kracht, M., Seki, H. (eds.) MOL 12. LNCS, vol. 6878, pp. 174–191. Springer, Heidelberg (2011) CrossRefGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2015

Authors and Affiliations

  1. 1.Tilburg University - TiLPSTilburgThe Netherlands

Personalised recommendations