良基语义

（计算机科学技术）

良基语义（well-founded semantics），计算机科学技术名词，范·戈尔德（Van Gelder）于1991年提出的定义如何通过推导规则集合导出结论的一种逻辑程序语义。