23、实体定义获取与非单调推理在问答系统中的应用

实体定义获取与非单调推理在问答系统中的应用

1. 垂直领域新实体定义

在垂直领域中，定义新实体通常有两种常见的理解方式。其一，引入新实体可缩短包含定义实体的自然语言（NL）表达式，同时为对话理解（DU）系统增添特定知识。例如在过程控制领域，派生实体能使允许的NL命令更简洁，被定义项可能是一个新的过程控制规则。

以“启动泵”这一对于DU系统来说是新的术语定义为例，假设系统已熟悉泵、流量、转换、冷却等实体。定义为：若从泵流向吸收器的试剂的转换结果必须冷却，则该泵启动。

此定义有两种解读方式。第一种是在给定带有吸收器和试剂转换的泵实例的情况下引入“启动”概念，目的是通过“启动”实体缩短上述表述，但这种方式不太自然，需区分“有必要启动泵时……”和“启动泵意味着……”这两种定义。实际上，上述定义是引入了一种新的控制算法。

其最正确的表示如下：

engage_pump(Xreag1, Xapp,  absorb)  :- pump(Xapp), 
flow(Xreag1, Xapp,  absorb), 
% 试剂Xreag1从Xapp流向吸收器absorb
transform(Xreag1, Xreag2, absorb),
% 试剂Xreag1转换为试剂Xreag2
cool(Xdegree,  Xreag2, Xapp2).
% 试剂Xreag2在设备（热交换器）Xapp2中被冷却Xdegree

需注意，此定义是专门为吸收器启动泵而设计，对于任意设备，第三个参数用常量 absorb 实例化。基于此例，有以下典型的语义规则用于定义处理：
1. 若一元谓词的参