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