程序语义学（procedural semantics），文学-语言文字-语义学，计算机科学和人工智能研究领域中的一个概念。它并不是一种严格的语言学理论，而是计算机学界处理语义理解问题的一种方法和视角。计算机研究人员认为，在人类语言交际中，听话者通常并非被动的信息接收者，其语义理解总会体现为相应的行为反应。因此可以在计算机模拟层面，将人类语言的语义理解处理为听话人对说话人的话语做出行为反应。譬如，回答听到的问题，执行听到的命令，记住听到的事实。基于这一假设，对语义理解的模拟也就是将听到的话语转化为相应的计算机命令，如寻找问题答案、执行相关行动、在数据库中存入数据等。这样就可以将复杂的语义理解问题转换为具有可执行性的编程问题。程序语义学的概念最早是20世纪70年代初在对计算机程序语言Fortran和Algol的讨论中提出来的，其主要倡导者有W.A.伍兹、P.约翰逊-莱尔德和Y.威尔克斯、P.苏佩斯等。计算机专家T.维诺格拉德专门创造了一种编程语言MICRO-PLANNER来实现这种程序化的语义描述，D.A.诺曼等人的工作则使用了标准的编程语言LISP。