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.

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