每个框架都有框架名，代表某一类（）。

最简单的语义网络称为（）。

填空题最简单的语义网络称为（）。

语义网络是个（），由结点和弧组成。

填空题语义网络是个（），由结点和弧组成。

反向推理是从（）出发，反向使用规则，求证已知的事实。

填空题反向推理是从（）出发，反向使用规则，求证已知的事实。