Publication:
Elements of semantic analysis based on lambda-calculus

Дата
2022
Авторы
Ismailova, L.
Wolfengagen, V.
Kosikov, S.
Journal Title
Journal ISSN
Volume Title
Издатель
Научные группы
Организационные подразделения
OrgUnit Logo
Организационная единица
Институт интеллектуальных кибернетических систем
Цель ИИКС и стратегия развития - это подготовка кадров, способных противостоять современным угрозам и вызовам, обладающих знаниями и компетенциями в области кибернетики, информационной и финансовой безопасности для решения задач разработки базового программного обеспечения, повышения защищенности критически важных информационных систем и противодействия отмыванию денег, полученных преступным путем, и финансированию терроризма.
Выпуск журнала
Аннотация
This paper considers the applicative computing technology (ACT), within the framework of which the semantic analysis of a number of natural language constructs is performed. The necessary elements of grammatical analysis are involved. Much first-order logical means is used, and predicate variables are necessarily used for analysis. At the same time, the advantages of higher-order systems, which include ACT, are extracted. The fact is that the semantics of a natural language is characterized by a multi-tiered nesting of grammatical structures, which conflicts with first-order logical systems.
Описание
Ключевые слова
Цитирование
Ismailova, L. Elements of semantic analysis based on lambda-calculus / Ismailova, L., Wolfengagen, V., Kosikov, S. // Procedia Computer Science. - 2022. - 213. - № C. - P. 471-476. - 10.1016/j.procs.2022.11.093
URI
https://www.doi.org/10.1016/j.procs.2022.11.093
 https://www.scopus.com/record/display.uri?eid=2-s2.0-85146119794&origin=resultslist
 https://openrepository.mephi.ru/handle/123456789/28247
Коллекции
Публикации