中文摘要：

本文从逻辑语义研究的视角出发，把汉语中由动词充当的谓词情况归纳为论元控制谓词和非论元控制谓词，其中，论元控制谓词又分为主语论元控制谓词和宾语论元控制谓词。本文对这几类谓词的语义性质进行了形式化的定义，并对宾语论元控制谓词做出了进一步的次类区分和归纳。此外，本文在最后部分对所划分出的谓词类别在Prolog语言环境下做了典型个案的实现。

英文摘要：

This paper classifies the verb-predicates into two kinds, argument controlling predicates and non-argument controlling predicates, while the former can be further divided into argument-as-subject controlling predicates and argument-as-object controlling predicates. These classifications are well defined from the view of formal analysis. Besides, the paper treats the argument-as-object controlling predicates with further detailed sub-classifications. Finally, the Prolog implementation is used to execute a case example of each kind.