13、基于总结逻辑形式的问答系统技术解析

基于总结逻辑形式的问答系统技术解析

1. 元编程技术介绍

在查询表示的语义处理中，有四个基本的服务谓词起着关键作用，它们的具体信息如下表所示：
| 谓词 | 注释 | 示例 |
| — | — | — |
| var_const | 将表达式中所有变量的出现转换为规范常量，使得同一变量的每对出现对应的常量相等。当所有参数都是实际或规范常量时，公式会进行语法转换 | var_const(p(V1,V2,V1), p(v1,v2,v1)) |
| var_var | 将表达式中所有变量的出现转换为其他名称的变量，使得同一变量的每对出现对应的常量相等。此谓词用于制作公式的副本以检查其可满足性，而不影响原始公式变量的值 | var_var(p(V1,V2,V1), p(U1,U2,U1)), call(p(U1,U2,U1)) |
| clause_list | 将子句转换为列表 | clause_list((p(V1),q(V2,V1)), [ p(V1), q(V2,V1) ] |
| change_char | 替换公式字符串表示中的一个字符。特别用于将常量的初始字符替换为 _ 并转换回变量（规范常量） | change_char(‘x’,’_’, any( xV1), any(_V1) ). xV1 - 常量, _V1 - 变量 |

从严格匹配过渡到弱化匹配是领域开发策略的一个重要问题。在调试阶段，关闭近似匹配，以便系统能为所有预先设计的问题提供精确答案。知识工程师需要通过精确匹配来确保所有问题都能得到正确回答。而扩展匹配则是发布版本的基础，当遇到意外问题时，可利用近似机制的全部能力来处理。