# 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 :
Domain :

Cited literature [7 references]

https://hal.inria.fr/hal-02118837
Contributor : Hal Ifip <>
Submitted on : Friday, May 3, 2019 - 1:27:27 PM
Last modification on : Friday, May 3, 2019 - 2:53:04 PM
Document(s) archivé(s) le : Wednesday, October 2, 2019 - 6:09:59 AM

### File

##### Restricted access
To satisfy the distribution rights of the publisher, the document is embargoed until : 2021-01-01

### 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⟩

Record views