Agile Logical Semantics for Natural Languages

被引：2

作者：

Manca, Vincenzo ^{[1
]}

机构：

[1] Univ Verona, Dipartimento Informat, I-37134 Verona, Italy

来源：

INFORMATION | 2024年 / 15卷 / 01期

关键词：

logical semantics; predicate logic; natural language processing; large language models;

D O I：

10.3390/info15010064

中图分类号：

TP [自动化技术、计算机技术];

学科分类号：

0812 ;

摘要：

This paper presents an agile method of logical semantics based on high-order Predicate Logic. An operator of predicate abstraction is introduced that provides a simple mechanism for logical aggregation of predicates and for logical typing. Monadic high-order logic is the natural environment in which predicate abstraction expresses the semantics of typical linguistic structures. Many examples of logical representations of natural language sentences are provided. Future extensions and possible applications in the interaction with chatbots are briefly discussed as well.

引用

页数：16

共 50 条

[1] Logical splicing in natural languages
Manca, V
[J]. ISSUES IN MATHEMATICAL LINGUISTICS, 1999, 47 : 131 - 143
[2] LOGICAL DIVERSITY OF NATURAL LANGUAGES
KEENAN, EL
[J]. ANNALS OF THE NEW YORK ACADEMY OF SCIENCES, 1976, 280 (OCT28) : 73 - 91
[3] Algebraic and logical semantics for CLP languages with dynamic scheduling
Department of Computer Science, Monash University, Clayton, Vic. 3168, Australia
[J]. J Logic Program, 1 (71-84):
[4] Static analysis of logical languages with deferred update semantics
Catania, B
Bertino, E
[J]. IEEE TRANSACTIONS ON KNOWLEDGE AND DATA ENGINEERING, 2003, 15 (02) : 386 - 404
[5] Algebraic and logical semantics for CLP languages with dynamic scheduling
Marriott, K
[J]. JOURNAL OF LOGIC PROGRAMMING, 1997, 32 (01): : 71 - 84
[6] THE MODALITY IN THE FORMAL SEMANTICS OF NATURAL LANGUAGES
de Oliveira, Roberta Pires
[J]. REVISTA VIRTUAL DE ESTUDOS DA LINGUAGEM-REVEL, 2014, 12 (08): : 1 - 7
[7] Natural Semantics of Battle Management Languages
Bencik, Marek
Dedera, L'ubomir
[J]. 2019 COMMUNICATION AND INFORMATION TECHNOLOGIES (KIT 2019), 2019, : 159 - 162
[8] A family of syntactic logical relations for the semantics of Haskell-like languages
Johann, Patricia
Voigtlaender, Janis
[J]. INFORMATION AND COMPUTATION, 2009, 207 (02) : 341 - 368
[9] Hand or hammer? On formal and natural languages in semantics
Stokhof, Martin
[J]. JOURNAL OF INDIAN PHILOSOPHY, 2007, 35 (5-6) : 597 - 626
[10] SOME APPLICATIONS OF LOGIC TO SEMANTICS OF NATURAL LANGUAGES
ROUAULT, J
[J]. AUTOMATISME, 1970, 15 (10): : 547 - &

← 1 2 3 4 5 →