16、逻辑推理与知识表示中的公式运用

逻辑推理与知识表示中的公式运用

1. 公式的真值与变量

在逻辑推理和知识表示中，公式的真值与变量的使用是基础概念。例如，已知“Event#23 is a birthEvent”且“Event#23 has TimePt#24 as a time”，那么公式“There is a Person:x and an Event:y where Person:x has “John” as a firstName and Person:x has Event:y as a birth”为真。因为可以将变量 Person:x 替换为常量 Person#17，变量 Event:y 替换为常量 Event#23，得到“Person#17 has “John” as a firstName and Person#17 has Event#23 as a birth”，这在模型中被认为是真的。

然而，像“Person:x has “Harry” as a firstName”这样包含变量的公式，本身没有真值，它类似于一个带有代词的句子。只有当该公式处于“there is”量词的作用域内，如“There is a Person:x where Person:x has “Harry” as a firstName”，才能有真值。在上述模型中，这个公式为假，因为没有合适的替换能使嵌入的公式为真。未处于“there is”量词作用域内的变量被称为自由变量，只有没有自由变量的公式才有真值。

2. 回答事实性问题

事实性问题主要分为两类：
- Wh - 问题 ：例如“Where was John born?”，期望的答案是代表世界中某事