TamioMano
,FumihiroMaruyama
,KazushiHayashi
,TaekoKakuda
,NobuakiKawato
,陈炳孚,TakaoUehara
. 1988, 14(05): 66-73.
本文作者开发了一个设计CMOS电路的知识库专家系统。该系统使用occam高级程序设计语言写的并发算法。该项课题作为日本第五代计算机系统(FGCS)的一个组成部分。本系统的目的是把设计者的专业识知送入计算机并有效地使用,支撑一个从技术指标开始到完成CMOS电路的整个过程。Prolog语言被选为实现工具和知识表示语言。本文举例说明用于系统的知识,特别强调功能设计阶段,这个阶段很大程度上依赖于设计者的专业知识。本文也描述了如何用Prolog语言表达知识和如何建立推理机制。在构成本系统时,对Prolog语言作为新一代CAD系统的实现语言作出估价。