loading
Papers

Research.Publish.Connect.

Paper

Paper Unlock

Author: Erqing Xu

Affiliation: Cornell University, United States

ISBN: 978-989-674-021-4

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 is 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)

PDF ImageFull Text

Download
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.93.74.227

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. and (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, 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},
}

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
AU - Xu, E.
PY - 2010
SP - 151
EP - 156
DO - 10.5220/0002590401510156

Login or register to post comments.

Comments on this Paper: Be the first to review this paper.