表达量化的方式及其形式刻画问题探讨

许多自然语言句子具有QAB的形式,这里Q是量化短语;A是普通名词短语;B是动词短语。自然语言语句表达量化的方式是多种多样的,这样在形式逻辑中对量化式的刻画也是方法各异。许多英语限定词在经典一阶逻辑里能够得到刻画,尽管要使用有点复杂的累赘的说法。但是也有许多限定词不能在经典一阶逻辑中表达出来。我们可以增加新的量词符号,比如说most来丰富经典一阶逻辑的表达能力。

Research of Quantitative Methods of Expression and Their Formalism Characterizing Questions

There are many natural language sentences in the form of a QAB,where Q is to quantify the phrase;A is a common noun phrase;B is a verb phrase.Expressing quantitative approaches are varied in natural language,so the quantitative types of characterization are also in different ways.Many English determiners can be characterized,in the classical first-order logic in spite of the more complicated wordy usage,but there are a number of qualifiers which can not be expressed in classical first-order logic.We can enr...