以正規邏輯方法解決中文文本蘊含辨識問題

張富傑

doi:10.6342/NTU.2014.01460

3.236.52.68，Hello！

Close
Search Quick Search Advanced Search Publication Search	Personal Service Member Login Searching History Use Bonus Card SYMSKAN
Browse Browse by University of Graduate Thesis Browse by Pinyin of Graduate Thesis Browse by Conference Proceedings Topic Browse by Conference Proceedings Publisher Browse by Pinyin of Conference Proceedings Browse by eBook Category Browse by eBook Topic Browse by eBook Publisher
Customer Services Authorize Airiti Recommend a Journal

Search Symbol (Half-width)	Description of Search Symbols
Space	"AND" indicates the intertwining of key terms used in a search
Double Quotation Marks ("") ( " " )	Double quotation marks indicate the beginning and end of a phrase, and the search will only include terms that appear in the same order of those within the quotations. Example: "image process" ： " image process "
?	Indicates a variable letter. Entering two ? will indicate two variable letters, and so on. Example: "Appl?", search results will yield apple, apply… e , appl y … ( (often used to English word searches) )
*	Indicates an unlimited number of variable letters to follow, from 1~n. Example: Enter "appl*", search results will yield apple, apples, apply, applied, application…(often used in English word searches) e , appl es , appl y , appl ied , appl ication … ( (often used to English word searches) )
AND、OR、NOT	Boolean logic combinations of key words is a skill used to expand or refine search parameters. (1) AND (1) AND: Refines search parameters (2) OR (2) OR: Expands search parameters (3) NOT: Excludes irrelevant parameters

DOI stands for Digital Object Identifier （ D igital O bject I dentifier ） ,
and is the unique identifier for objects on the internet. It can be used to create persistent link and to cite articles.

Using DOI as a persistent link

To create a persistent link, add「http://dx.doi.org/」「 http://dx.doi.org/ 」 before a DOI.
For instance, if the DOI of an article is 10.5297/ser.1201.002 , you can link persistently to the article by entering the following link in your browser: http://dx.doi.org/ 10.5297/ser.1201.002 。
The DOI link will always direct you to the most updated article page no matter how the publisher changes the document's position, avoiding errors when engaging in important research.

Cite a document with DOI

When citing references, you should also cite the DOI if the article has one. If your citation guideline does not include DOIs, you may cite the DOI link.

DOIs allow accurate citations, improve academic contents connections, and allow users to gain better experience across different platforms. Currently, there are more than 70 million DOIs registered for academic contents. If you want to understand more about DOI, please visit airiti DOI Registration （ doi.airiti.com ）。

Data Source

College of Electrical Engineering & Computer Science > Graduate Institute of Electronical Engineering
Engineering > Electrical Engineering

Bibliography Management Tool

Related Links

Report an Issue

Purchase Single Articles

Download PDF

以正規邏輯方法解決中文文本蘊含辨識問題

A Formal Logic Approach to Chinese Recognizing Textual Entailment

張富傑 , Masters　　Advisor：黃鐘揚　　

英文 DOI： 10.6342/NTU.2014.01460

形式語意學；計算語意學；自然語言理解；一階邏輯；中文文本蘊含辨識； Formal Semantics ； Computational Semantics ； Natural Language Understanding ； First Order Logic ； Chinese Recognizing Textual Entailment

Abstract │ Reference (62) │ Altmetrics

Abstract 〈TOP〉

Parallel Abstract 〈TOP〉

In the research of natural language processing (NLP), understanding the natural language is always a challenging problem. Traditionally, the research of NLP focuses on the semantics and logic of natural language. However, the present NLP research trend is focusing on the big data and machine learning techniques. These two methods have their own pros and cons; however, the traditional research of semantics and logic are seldom discussed in the recent works, and the existing machine learning techniques also have their limitations. Combining the traditional works on semantics with machine learning techniques is a good perspective to research.
We build a system to solve the Chinese recognizing textual entailment (RTE) problem by formal logic method. Based on the theory of formal semantics and computational semantics, first, we use the machine learning technique to convert Chinese sentences in natural language into syntax trees. Then, we propose an algorithm to convert the syntax trees into semantic representations. Also, we propose a method that solves the RTE problem by integrating external knowledge resources with the proposed semantic representations. With these semantic representations, we can use the theorem proving techniques to solve the problem of Chinese RTE. Then, we demonstrate that our approach can solve some simple cases of Chinese RTE. Also, we show the possibilities and difficulties to solve the real-world cases. Finally, we point out the strengths and weaknesses of our system, and the possibilities on future research to improve our system.

Reference ( 62 ) 〈TOP〉

[2] Ekaterina Ovchinnikova. Integration of World Knowledge for Natural Language Understanding. Atlantis Thinking Machines. Atlantis Press, 2012.
連結：
[3] Donald Davidson. The individuation of events. In N. Resher, editor, Essays in Honor of Carl G. Hempel, page 216 – 234. Springer, 1969.
連結：
[4] David R. Dowty. On the semantic content of the notion of ’thematic role’. In Raymond Turner Gennaro Chierchia, Barbara H. Partee, editor, Properties, Types and Meaning, pages 69–129. 1989.
連結：
[5] Terence Parsons. Events in the Semantics of English: A Study in Subatomic Semantics. MIT Press, 1990.
連結：
[6] Patrick Blackburn and Johan Bos. Representation and Inference for Natural Language. A First Course in Computational Semantics. CSLI, 2005.
連結：

Altmetrics

〈TOP〉

E-mail ：

When an article is available to download, a notice will be sent to your mailbox address.

E-mail ：