Cilt 4, Sayı 2, Sayfalar 0 - 0 2015-12-22

An Object-Oriented Approach to Counter-Model Constructions in A Fragment of Natural Language

Selçuk Topal [1]

828 623

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.

  • 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.
  • Pratt-Hartmann, I., 2004, Fragments of language, Journal of Logic, Language and Information, 13.2: 207-223.
  • Pratt-Hartmann, I. , 2004, Fragments of language, Journal of Logic, Language and Information, 13.2, 207-223.
  • Pratt-Hartmann, I. and Moss, L. S., 2009, Logics for the Relational Syllogistic, The Review of Symbolic Logic, 2.04: pp. 647-683.
  • Python Software Foundation, Python Language Reference, version 2.7. Available at http://www.python.org.
  • R. Smith, Categories, 1989, Aristotle's Prior Analytics, Hackett Publishing Company, 320p.
  • Thomas H. Cormen, Charles E. Leiserson, Ronald L. Rivest, 1989, Introduction to Algorithms, The MIT Press and McGraw-Hill Book Company, 597p.
  • W. A. Stein et al., 2015, Sage Mathematics Software, The Sage Development Team, http://www.sagemath.org
Konular
Dergi Bölümü Makaleler
Yazarlar

Yazar: Selçuk Topal
E-posta: selcuk.topal@yandex.com

Bibtex @ { bitlisfen264164, journal = {Bitlis Eren Üniversitesi Fen Bilimleri Dergisi}, issn = {2147-3129}, address = {Bitlis Eren Üniversitesi}, year = {2015}, volume = {4}, pages = {0 - 0}, doi = {10.17798/beufen.98426}, title = {An Object-Oriented Approach to Counter-Model Constructions in A Fragment of Natural Language}, language = {tr}, key = {cite}, author = {Topal, Selçuk} }
APA Topal, S . (2015). An Object-Oriented Approach to Counter-Model Constructions in A Fragment of Natural Language. Bitlis Eren Üniversitesi Fen Bilimleri Dergisi, 4 (2), 0-0. DOI: 10.17798/beufen.98426
MLA Topal, S . "An Object-Oriented Approach to Counter-Model Constructions in A Fragment of Natural Language". Bitlis Eren Üniversitesi Fen Bilimleri Dergisi 4 (2015): 0-0 <http://dergipark.gov.tr/bitlisfen/issue/25020/264164>
Chicago Topal, S . "An Object-Oriented Approach to Counter-Model Constructions in A Fragment of Natural Language". Bitlis Eren Üniversitesi Fen Bilimleri Dergisi 4 (2015): 0-0
RIS TY - JOUR T1 - An Object-Oriented Approach to Counter-Model Constructions in A Fragment of Natural Language AU - Selçuk Topal Y1 - 2015 PY - 2015 N1 - doi: 10.17798/beufen.98426 DO - 10.17798/beufen.98426 T2 - Bitlis Eren Üniversitesi Fen Bilimleri Dergisi JF - Journal JO - JOR SP - 0 EP - 0 VL - 4 IS - 2 SN - 2147-3129-2147-3188 M3 - doi: 10.17798/beufen.98426 UR - http://dx.doi.org/10.17798/beufen.98426 Y2 - 2017 ER -
EndNote %0 Bitlis Eren Üniversitesi Fen Bilimleri Dergisi An Object-Oriented Approach to Counter-Model Constructions in A Fragment of Natural Language %A Selçuk Topal %T An Object-Oriented Approach to Counter-Model Constructions in A Fragment of Natural Language %D 2015 %J Bitlis Eren Üniversitesi Fen Bilimleri Dergisi %P 2147-3129-2147-3188 %V 4 %N 2 %R doi: 10.17798/beufen.98426 %U 10.17798/beufen.98426