机构名称：
¥ 3.0
一阶谓词逻辑的语法和语义模型的域是 DOMAIN（域）——它包含的对象或域元素的集合。域必须是非空的——每个可能世界都必须包含至少一个对象。图 8.2 显示了一个包含五个对象的模型：狮心王理查德，1189 年至 1199 年的英格兰国王；他的弟弟，邪恶的约翰国王，1199 年至 1215 年的统治者；理查德和约翰的左腿；以及一顶王冠。模型中的对象可能以各种方式相关。在图中，理查德和约翰是兄弟。从形式上讲，关系 TUPLE 就是相关对象的元组的集合。（元组是按固定顺序排列的对象集合，用尖括号括住对象。）因此，此模型中的兄弟关系是集合
人工智能 科目代码：CS8691 ...
主要关键词
相关文件推荐
