Agile Logical Semantics for Natural Languages
This paper presents an agile method of logical semantics based on high-order Predicate Logic. An operator of <i>predicate abstraction</i> is introduced that provides a simple mechanism for logical aggregation of predicates and for logical typing. Monadic high-order logic is the natural e...
| Main Author: | |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
MDPI AG
2024-01-01
|
| Series: | Information |
| Subjects: | |
| Online Access: | https://www.mdpi.com/2078-2489/15/1/64 |
| _version_ | 1827371805305733120 |
|---|---|
| author | Vincenzo Manca |
| author_facet | Vincenzo Manca |
| author_sort | Vincenzo Manca |
| collection | DOAJ |
| description | This paper presents an agile method of logical semantics based on high-order Predicate Logic. An operator of <i>predicate abstraction</i> 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. |
| first_indexed | 2024-03-08T10:46:52Z |
| format | Article |
| id | doaj.art-09100914ddfd423d9933ae7001912bf4 |
| institution | Directory Open Access Journal |
| issn | 2078-2489 |
| language | English |
| last_indexed | 2024-03-08T10:46:52Z |
| publishDate | 2024-01-01 |
| publisher | MDPI AG |
| record_format | Article |
| series | Information |
| spelling | doaj.art-09100914ddfd423d9933ae7001912bf42024-01-26T17:03:51ZengMDPI AGInformation2078-24892024-01-011516410.3390/info15010064Agile Logical Semantics for Natural LanguagesVincenzo Manca0Dipartimento di Informatica, University of Verona, 37134 Verona, ItalyThis paper presents an agile method of logical semantics based on high-order Predicate Logic. An operator of <i>predicate abstraction</i> 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.https://www.mdpi.com/2078-2489/15/1/64logical semanticspredicate logicnatural language processinglarge language models |
| spellingShingle | Vincenzo Manca Agile Logical Semantics for Natural Languages Information logical semantics predicate logic natural language processing large language models |
| title | Agile Logical Semantics for Natural Languages |
| title_full | Agile Logical Semantics for Natural Languages |
| title_fullStr | Agile Logical Semantics for Natural Languages |
| title_full_unstemmed | Agile Logical Semantics for Natural Languages |
| title_short | Agile Logical Semantics for Natural Languages |
| title_sort | agile logical semantics for natural languages |
| topic | logical semantics predicate logic natural language processing large language models |
| url | https://www.mdpi.com/2078-2489/15/1/64 |
| work_keys_str_mv | AT vincenzomanca agilelogicalsemanticsfornaturallanguages |