作者:阿马里利斯·德利亚尼，罗伯特·a·科瓦尔斯基
ACM通信，1979年3月，第22卷第3期，184-192页
10.1145/359080.359090
评论
定义了语义网络的一种扩展形式，它可以看作是逻辑子句形式的一种语法变体。扩展语义网络凭借其与逻辑的关系，具有精确的语义、推理规则和程序性解释。另一方面，通过将语义网络视为子句表示的抽象数据结构，我们提供了一个具有潜在有用的索引方案和路径跟踪策略的定理证明程序，以指导证明的搜索。
本文的全文是优质内容
没有发现记录
登录阅读全文
需要访问吗?
请选择下面的一个选项以访问高级内容和功能。
创建一个网上帐户
如果你已经是ACM会员，通信订阅者或数码图书馆订阅者，请设置网页帐户，以浏览本网站的优质内容。
参加ACM
成为ACM的会员，可以充分利用ACM卓越的计算信息资源、网络机会等优势。
订阅ACM杂志通讯
获得50多年的中华中医药学会内容的完整访问权限，并每月获得杂志印刷版。
购买这篇文章
非会员可以购买这篇文章或刊登这篇文章的杂志。
