EPISODIC LOGIC: NATURAL LOGIC + REASONING

Karl Stratos, Lenhart K. Schubert, Jonathan Gordon

2011

Abstract

There are two extreme stances in mechanizing natural language inference. One seeks to reformulate a raw message so as to conform with the syntax and semantics of some formal logical system (such as FOL) suited for reliable, potentially deep general reasoning. The other uses what has become known as Natural Logic—an easy but shallow way of treating natural language itself as logic and reasoning directly on this level. Finding the right balance between these opposing stances is one of the key tasks in advancing the ability of machines to understand human language, and thus, for example, make inferences from text. In this paper, we provide arguments and evidence that EPILOG, a general reasoner for the natural language–like Episodic Logic, can be equipped with the knowledge needed for effective Natural Logic–like inference while also providing greater generality.

References

  1. Beaver, D. I. and Geurts, B. (2011). Presupposition. In Zalta, E. N., editor, The Stanford Encyclopedia of Philosophy. Summer 2011 edition.
  2. Clausen, D. and Manning, C. (2009). Presupposed content and entailments in natural language inference. In Proc. of the ACL-IJCNLP Workshop on Applied Textual Inference.
  3. Karttunen, L. (1973). Presuppositions of compound sentences. In Linguistic Inquiry, volume 4, pages 167- 193.
  4. MacCartney, B. and Manning, C. D. (2008). Modeling semantic containment and exclusion in natural language inference. In Proc. of the 22nd International Conference on Computational Linguistics (COLING 7808).
  5. Morbini, F. and Schubert, L. K. (2007). Towards realistic autocognitive inference. In Proc. of the AAAI Spring Symp. on Logical Formalizations of Commonsense Reasoning.
  6. Morbini, F. and Schubert, L. K. (2008). Metareasoning as an integral part of commonsense and autocognitive reasoning. In Proc. of the AAAI Workshop on Metareasoning.
  7. Nairn, R., Condoravdi, C., and Karttunen, L. (2006). Computing relative polarity for textual inference. In Proc. of Inference in Computational Semantics (ICoS-5).
  8. Schubert, L. K. and Hwang, C. (2000). Episodic Logic meets Little Red Riding Hood: A comprehensive, natural representation for language understanding. In Iwanska, L. and Shapiro, S., editors, Natural Language Processing and Knowledge Representation: Language for Knowledge and Knowledge for Language.
  9. Schubert, L. K., Van Durme, B., and Bazrafshan, M. (2010). Entailment inference in a natural logic-like general reasoner. In Proc. of the AAAI 2010 Symp. on Commonsense Knowledge.
  10. Strawson, P. F. (1952). Introduction to Logical Theory. Methuen.
Download


Paper Citation


in Harvard Style

Stratos K., K. Schubert L. and Gordon J. (2011). EPISODIC LOGIC: NATURAL LOGIC + REASONING . In Proceedings of the International Conference on Knowledge Engineering and Ontology Development - Volume 1: KEOD, (IC3K 2011) ISBN 978-989-8425-80-5, pages 304-310. DOI: 10.5220/0003690003040310


in Bibtex Style

@conference{keod11,
author={Karl Stratos and Lenhart K. Schubert and Jonathan Gordon},
title={EPISODIC LOGIC: NATURAL LOGIC + REASONING},
booktitle={Proceedings of the International Conference on Knowledge Engineering and Ontology Development - Volume 1: KEOD, (IC3K 2011)},
year={2011},
pages={304-310},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0003690003040310},
isbn={978-989-8425-80-5},
}


in EndNote Style

TY - CONF
JO - Proceedings of the International Conference on Knowledge Engineering and Ontology Development - Volume 1: KEOD, (IC3K 2011)
TI - EPISODIC LOGIC: NATURAL LOGIC + REASONING
SN - 978-989-8425-80-5
AU - Stratos K.
AU - K. Schubert L.
AU - Gordon J.
PY - 2011
SP - 304
EP - 310
DO - 10.5220/0003690003040310