可废除推理研究

非单调推理是针对常识推理而提出的,但是标准非单调逻辑都存在可计算性问题。

英语后缀-ble研究

-ble是英语中使用得很广泛的一个后缀,能构成大量形容词,这些词在构成和使用方面的情况错综复杂,颇难掌握,因而历来的语义学家、语法学家和研究惯用法的学者,对这个后缀都很感兴趣。