loading
Papers Papers/2022 Papers Papers/2022

Research.Publish.Connect.

Paper

Paper Unlock

Author: Erqing Xu

Affiliation: Cornell University, United States

Keyword(s): Natural language understanding, MDS, Inversion function, Proof tree.

Related Ontology Subjects/Areas/Topics: Applications ; Artificial Intelligence ; Knowledge Engineering and Ontology Development ; Knowledge-Based Systems ; Natural Language Processing ; Pattern Recognition ; Symbolic Systems

Abstract: Traditional sentence analysis refers to finding the sentence structure for a given sentence. A question different from this is: given a sentence Curry-Horwad isomorphic with a type, can we establish the proof tree representing the sentence? Therefore, this paper combines the extensional Kripke interpretation and MDS (Minimalist Deductive System); derives the Kripke model of MDS; provides the applicable inversion function such that we are able to obtain the proof tree of typed -terms which represents sentence structure; and demonstrates that the product-free proof trees obtained with inversion function of MDS enjoy the property of Church-Rosser equality. Application examples demonstrate that our work is valid. The main difference between our work and traditional sentence analysis approach is that the objects of analysis are different. The object of our work is: Kripke model of MDS and type of sentence satisfied by assignment. But the object of traditional sentence analysis approach i s sentence. This paper enlarges the range of application of sentence analysis, improves sentence analysis approach, enhances natural language understanding, and thus is meaningful. Our work has not been seen in literature. (More)

CC BY-NC-ND 4.0

Sign In Guest: Register as new SciTePress user now for free.

Sign In SciTePress user: please login.

PDF ImageMy Papers

You are not signed in, therefore limits apply to your IP address 3.144.17.45

In the current month:
Recent papers: 100 available of 100 total
2+ years older papers: 200 available of 200 total

Paper citation in several formats:
Xu, E. (2010). INVERSION FUNCTION OF MDS FOR SENTENCES ANALYSIS . In Proceedings of the 2nd International Conference on Agents and Artificial Intelligence - Volume 1: ICAART; ISBN 978-989-674-021-4; ISSN 2184-433X, SciTePress, pages 151-156. DOI: 10.5220/0002590401510156

@conference{icaart10,
author={Erqing Xu.},
title={INVERSION FUNCTION OF MDS FOR SENTENCES ANALYSIS },
booktitle={Proceedings of the 2nd International Conference on Agents and Artificial Intelligence - Volume 1: ICAART},
year={2010},
pages={151-156},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0002590401510156},
isbn={978-989-674-021-4},
issn={2184-433X},
}

TY - CONF

JO - Proceedings of the 2nd International Conference on Agents and Artificial Intelligence - Volume 1: ICAART
TI - INVERSION FUNCTION OF MDS FOR SENTENCES ANALYSIS
SN - 978-989-674-021-4
IS - 2184-433X
AU - Xu, E.
PY - 2010
SP - 151
EP - 156
DO - 10.5220/0002590401510156
PB - SciTePress

- Science and Technology Publications, Lda.
RESOURCES

Proceedings

Papers

Authors

Ontology

CONTACTS

Science and Technology Publications, Lda
Avenida de S. Francisco Xavier, Lote 7 Cv. C,
2900-616 Setúbal, Portugal.

Phone: +351 265 520 185 (National fixed network call)
Fax: +351 265 520 186
Email: info@scitepress.org

EXTERNAL LINKS

PRIMORIS

INSTICC

SCITEVENTS

CROSSREF

PROCEEDINGS SUBMITTED FOR INDEXATION BY:

dblp

Ei Compendex

SCOPUS

Semantic Scholar

Google Scholar

Microsoft Academic