INVERSION FUNCTION OF MDS FOR SENTENCES ANALYSIS

Erqing Xu

2010

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.

Paper Citation

in Harvard Style

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, pages 151-156. DOI: 10.5220/0002590401510156

in Bibtex Style

@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},
}

in EndNote Style

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