Publication:
Elements of semantic analysis based on lambda-calculus

Простая страница элемента
dc.contributor.authorIsmailova, L.
dc.contributor.authorWolfengagen, V.
dc.contributor.authorKosikov, S.
dc.contributor.authorИсмаилова, Лариса Юсифовна
dc.contributor.authorВольфенгаген, Вячеслав Эрнстович
dc.date.accessioned2024-12-25T17:07:37Z
dc.date.available2024-12-25T17:07:37Z
dc.date.issued2022
dc.description.abstractThis 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.
dc.format.extentС. 471-476
dc.identifier.citationIsmailova, 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
dc.identifier.doi10.1016/j.procs.2022.11.093
dc.identifier.urihttps://www.doi.org/10.1016/j.procs.2022.11.093
dc.identifier.urihttps://www.scopus.com/record/display.uri?eid=2-s2.0-85146119794&origin=resultslist
dc.identifier.urihttps://openrepository.mephi.ru/handle/123456789/28247
dc.relation.ispartofProcedia Computer Science
dc.titleElements of semantic analysis based on lambda-calculus
dc.typeConference Paper
dspace.entity.typePublication
oaire.citation.issueC
oaire.citation.volume213
relation.isAuthorOfPublication5d4d81d1-001d-4284-b6d7-0285bcf446fe
relation.isAuthorOfPublication23f144a8-cfa0-4c80-b566-1c175c9afbb1
relation.isAuthorOfPublication.latestForDiscovery5d4d81d1-001d-4284-b6d7-0285bcf446fe
relation.isOrgUnitOfPublication010157d0-1f75-46b2-ab5b-712e3424b4f5
relation.isOrgUnitOfPublication.latestForDiscovery010157d0-1f75-46b2-ab5b-712e3424b4f5
Файлы
Коллекции
Публикации