10.3969/j.issn.1001-7402.2007.02.007
格值一阶逻辑系统LF(X)中带广义量词的不确定性推理
讨论格值一阶逻辑系统LF(X)中带广义量词的不确定性推理规则,和FMP、FMT规则.为研究带广义量词的归结自动推理作准备,也为研究语言值逻辑推理提供一阶逻辑系统的基础平台.
格值一阶逻辑系统LF(X)、广义量词、FMP、FMT不确定性推理规则
21
O159(代数、数论、组合理论)
国家自然科学基金60474022;四川师范大学校科研和教改项目
2007-06-18(万方平台首次上网日期,不代表论文的发表时间)
共6页
40-45