# Natural Language Semantics and Its Computable Analysis

Abstract : With an illustrative example of $5 \times 3 = 5 \times 3$, the first section explained the major problem in the natural language interpretation process. The second section introduced Frege’s famous idea of ‘sense’. And this paper argues that Frege’s definition is not constructive. The Third section contributes a subtle amendment to the syntax of IL (Intentional Logic). Traditionally, the three basic types e, t and s were not treated as a part of vocabulary of IL, while this paper argues that this treatment has allowed a much explicit way to coding programs in real algorithm. Given this treatment, “an expression $\alpha$ of type $\tau$” is shortened to “$\alpha |\tau$”. In the end of section three, this paper gave a natural language sentence to illustrate the intention and extension operators. And furthermore, there comes the analyses of information preservation ability of these operators.
Keywords :
Document type :
Conference papers
Domain :

Cited literature [7 references]

https://hal.inria.fr/hal-02118837
Contributor : Hal Ifip Connect in order to contact the contributor
Submitted on : Friday, May 3, 2019 - 1:27:27 PM
Last modification on : Friday, May 3, 2019 - 2:53:04 PM
Long-term archiving on: : Wednesday, October 2, 2019 - 6:09:59 AM

### File

474230_1_En_23_Chapter.pdf
Files produced by the author(s)

### Citation

Zhao Liang, Chongli Zou. Natural Language Semantics and Its Computable Analysis. 2nd International Conference on Intelligence Science (ICIS), Nov 2018, Beijing, China. pp.221-229, ⟨10.1007/978-3-030-01313-4_23⟩. ⟨hal-02118837⟩

### Metrics

Les métriques sont temporairement indisponibles