An Object-Oriented Approach to Counter-Model Constructions in A Fragment of Natural Language
Abstract
This article presents a technical construction of reasonings and counter-models for some sen-tenteces called fragments as in [10] in English. We bring speaking English and logical inferences together in computer based approach to natural language. We give not only the infrences in the language [7] but also counter-model constructions in case of no inference from input sentences. Approach of this construction considers usage of minimal set elements.
References
- Andrade, E. J. and Becerra, E., 2007, Corcoran's Aristotelian syllogistic as a subsystem of first-order logic, Revista Colombiana de Matematicas, 41(1): pp. 67-80.
- Aristotle, Categories, 1984, The complete works of Aristotle, Princeton University Press, (In J. Barnes (Ed.), vol. 1, 1256 p.
- Bird, S., 2006, NLTK: the natural language toolkit. In Proceedings of the COLING/ACL on Interactive presentation sessions, Association for Computational Linguistics, pp. 69-72.
- Hopcroft, J. E., Motwani, R. and Ullman, J. D., 2001, Introduction to Automata Theory, Languages and Computation. ACM SIGACT News, 32(1), pp. 60-65.
- J. Corcoran, 1972, Completeness of an ancient logic, Journal of Symbolic Logic 37, 696-702
- Lukasiewicz, J., 1951, Aristotle's syllogistic from the standpoint of modern formal logic, Clarendon Press, Oxford.
- Moss, L. S., 2008, Completeness theorems for syllogistic fragments, eds. Logics for linguistic structures. Vol. 201. Walter de Gruyter, pp. 143-175.
- Moss, L. S., 2011 Syllogistic logic with complements, Games, Norms and Reasons. Springer Netherlands, pp. 179-197.
Details
Primary Language
English
Subjects
-
Journal Section
-
Authors
Publication Date
December 22, 2015
Submission Date
April 20, 2015
Acceptance Date
-
Published in Issue
Year 2015 Volume: 4 Number: 2