知识交换格式KIF是一种被广泛接受的公共知识表示语言,本文简介了KIF及作用,并实现了一简单的数字电路知识表示,从而实现数字电路的计算机理解与互操作.
刘遵雄,徐祥征,聂国星.数字电路的KIF表示[J].华东交通大学学报,2004,21(2):93-96..[J]. JOURNAL OF EAST CHINA JIAOTONG UNIVERSTTY,2004,21(2):93-96