Skip to Main content Skip to Navigation
Conference papers

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.
Document type :
Conference papers
Complete list of metadata

Cited literature [7 references]  Display  Hide  Download
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


Files produced by the author(s)


Distributed under a Creative Commons Attribution 4.0 International License



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⟩



Les métriques sont temporairement indisponibles