内涵时态逻辑的语义解释系统

摘要

语义的表示与解释是自然语言理解研究中的一个核心问题,内涵逻辑和时态逻辑是目前广泛使用的形式化语义描述语言.本文借鉴Cresswell可能世界语义学的思想,扩展了基本时态逻辑系统,使之能够更有效地描述自然语言的语义.在此基础上,设计与实现了一个时态逻辑自动语义解释系统.