| Title | About possibilities of applying logical analysis of natural language in computer science |
| Publication Type | Conference Paper |
| Year of Publication | 2019 |
| Authors | Bilanová, Z., Perháč, J. |
| Conference Name | 2019 IEEE 13th International Symposium on Applied Computational Intelligence and Informatics (SACI) |
| Keywords | compositionality, Computer science, Computing Theory and Compositionality, expressive logical method, formal languages, formal logic, formal representation, Human Behavior, human factors, logical analysis, logical analysis of natural language, logical apparatuses, montague intensional logic, natural language Montague intensional logic, Natural languages, programming language semantics, pubcrawl, semantic machine, transparent intensional logic |
| Abstract | This paper deals with the comparison of the most popular methods of a logical analysis of natural language Montague intensional logic and Transparent intensional logic. At first, these logical apparatuses are compared in terms of their founding theoretical principles. Later, the selected sentence is examined through the logical analysis. The aim of the paper is to identify a more expressive logical method, which will be a suitable basis for the future design of an algorithm for the automated translation of the natural language into a formal representation of its meaning through a semantic machine. |
| DOI | 10.1109/SACI46893.2019.9111507 |
| Citation Key | bilanova_about_2019 |
About possibilities of applying logical analysis of natural language in computer science