计算机填空题标准 ★ 精品

谓词与量词的形式化 — 计算机填空题

人工智能导论（大学通用）知识表示与推理 AI 三重审校通过

题目

设论域为所有对象，A(x)表示“x是档案库”，C(y)表示“y是管理员”，R(y,x)表示“y负责x”。将“每个档案库至少有一名管理员负责，管理员可以因档案库而异”写成形如 ∀x(A(x)→____) 的逻辑表达式。空格内只使用给定谓词、量词和联结词。