A Formal System for the Illocutionary Force and Its Applications in Al

本文以John R.塞尔和D.范德维克关于语用逻辑的研究工作为基础,构造了命题的语用逻辑的形式公理系统PF,证明了PF的三类定理:关于语用行为的定理、关于条件的语用行为的定理以及关于语用力量的定理。作者还构造了PF的语义模型,给出了系统的语义解释,并证明了系统的可靠性、一致性和完全性。本文以语用逻辑的方法,分析了人工智能语言PROLOC的语法和语义,以及语用逻辑在学习策略中的应用。最后讨论了语用逻辑的形式化和语言逻辑在认知科学中的应用等问题。作者的工作是继乔姆斯基的形式语法学、蒙太格的形式语义学之后,对语用学的基础理论语用逻辑的形式化研究所做的尝试。