资源描述:
《知识库操作语言的设计与实现》由会员上传分享,免费在线阅读,更多相关内容在行业资料-天天文库。
1、年小型徽型计算机系统第!卷第!期知识库操作语言的设计与实现’廖明宏郭福顺程退安张学海∀哈尔滨工业大学#∃∃∃%&∋()∗)+,−./.∗,012)0).∋/∋,3.34/5.362)∗−)一7/+)∗31)8/∋,.−2/.−9/−)2:;<0:=>?<=>−≅<4≅Α?≅=Β?Χ=>∋≅:;=ϑ?;=>Κ≅Χ?;:∀(<:,,,ΑΦ<≅Γ∋‘Ι?。司。,#∃∃∃%&ΔΕ<Η口/ΕΑΦΔ;ΧΦ5=<ΛΜΧΝ>Χ一Ε;ΑΧΝΟ;Χ?:=Χ#;ΑΠΧΧ:;Μ一Π≅ΔΠ<ΑΧΧ<ΟΠ≅ΦΧΔ≅ΑΧΝΦ<Ο;=;>ΧΓΡΘ=<ΛΜΧΝ>Χ一
2、Ε;ΑΧΝΑ丫ΑΦΧΟ∋?ΧΘ=<ΛΜΧΝ>Χ一Ε;ΑΧΝ<ΠΧΔ;Φ:=>Μ;=>≅;>ΧΠΔΧΑΧ=ΦΧΝ?ΧΔΧ#:=ΦΧ=ΝΧΝΦ<ΠΔ<Σ:ΝΧ;ΟΧ;=ΑΗ<Δ≅ΑΧΔΑΦ<<Δ>;=:ΤΧ;=ΝΟ;=;>ΧΦ?ΧΘ=<ΛΜΧΝ>Χ一Ε;ΑΧΝΟ;Χ?:=ΧΓ,Λ连?;ΣΧΝΧΑ:>=ΧΝ,=Φ?:ΑΠ;ΠΧΔΦ?ΧΝΧΑ:>=<Η;Θ=<ΛΜΧΝ>Χ一Ε;ΑΧΝΟ;Χ?:=Χ#:=ΦΔ<Ν≅ΧΧΝ:=,ΡΕΔ:ΧΗΦ?ΧΝΧΑ:>=;=Ν:ΟΠΜΧΟΧ=Φ;Φ:<=<ΗΦ?ΧΘ=<ΛΜΧΝ>Χ一Ε;ΑΧΝ<ΠΧΔ;Φ:=>Μ;=
3、>≅;>Χ#Ν:ΑΓΧ≅ΑΑΧ=ΧΦ;Ν:Ν:Μ5ΧΥΛ<Δ=<ΛΜΧΝ>Χ一Ε;ΑΧΝΑΥΑΦΧΟ5=<ΛΜΧΝ>Χ一Ε;ΑΧΝΟ;Χ?:=Χ5=<ΛΜ>Χ一Ε;ς<Δ;Φ:=>ΝΑ5ΧΝΧΝ伴;=>≅;>ΧΜ,知摘要知钦库机是管理知识库来统的专用机识库操作语言∀572&是为用户提供对知识库机进行组织和管理的语言工具Γ本文介绍一个知识库机的设计并重Γ点讨论它的知识库操作语言的设计与实现。关镇词知识库系统知识库机知识库操作语言户ΓΓ七七Ω、口Γ亡皿随,、Γ着计算机的广泛应用它的功能已从数值计算数据处理发展到知识处理由此而产生了知识库系统Γ随着知
4、识量的不断增加,人们对知识库系统的容量和推理速度的要求也越,,Γ“”来越高为此掀起了研制专门用于管理知识库系统的知识库机的研究热潮我们在Ξ%计划的,。,资助下研制了一个知识库机该机以产生式系统为核心的知识表示和推理手段以规则,库Ψ数据库Ψ推理机为知识库机的基本模式并研制了以知识管理为中心的知识库管理系统。该知识库机的用户接口是一个知识操作语言∀572&及其环境Γ该环境包括知识库系统ς一,“,收稿日期Ζ∃[一本课厄是Ξ%研究项目Ζ%一的工作环境和操作语言的支撑环境。其中,知识库系统的工作环境又包括知识的输入、知识、。的∴修改和删除等操作而操
5、作语言的支撑环境包括语言的编辑调试和运行环境本文首次,,。简单介绍了知识库机的主要设计思想然后重点讨论知识库操作语言572的设计和实现二、知识库机的总体设计∀5,在讨论知识库操作语言72&的设计思想之前有必要对其宿主一知识库机的总体设计作以介绍。Γ一「咙Μ设计依据色&以产生式系统作为核心的知识处理手厂一户∴段ΧΖ&以产生式系统的有效匹配算法∀即8ΦΧ,口算法&为理论依据用后端智能存储器实现高流Β效流水匹配操作∴水··1线9&前后端机采用双向通讯、系统负载平衡以使通讯开销较小。ΖΓ系统的总体结构我们研制的知识库机的总体结构如图所。,∴图示其
6、中前后端机采用),/+总线连接572知识库机的总体结构,∴∴为知识库操作语言87和∗7分别为规则库和数据库它们可由用户建立在磁盘中后端机,∴的Ι19为Ζ位处理器其局部存储器0存放用于后端操作的一些管理程序等流水线主要50中∴,50∴40完成知识存储器的检索工作0Β9为存储控制器实现对流水线及的控制,用于。为标志存储器存放由572提供的各类操作标志由前端向后端机发送,二元家产生新的习甲Ο兀素用∗0/方式发往井装入后端机50中动作后端机40中建立相应的操作标志∀;&初∀Ε&始化推理图ΖΓ系统工作过程知识库机的工作过程可用图Ζ来说明。,初,,,首先始
7、化阶段它利用572提供的规则库及数据库管理模块装入87和∗7然后,,。Χ将87解释为8ΧΦ网并发往后端机存入50中后端机在40中建立相应的操作标志一Ζ[一,,接着是推理阶段前端机将∗7中的元素∀即60元素&发送到后端机后端机接收60,ς。,元素后开始流水匹配并产生匹配结果示例集后端机将示例集发往前端机由前端机进行,,,,冲突归结并执行规则的右首部产生新的60元素再将它们发送到后端机如此循环执行,直到推Γ理结束或非正常终止、三572的设计、572的设计原则知,,识库操作语言∀572&是知识库机的用户接口为用户提供规则库和数据库的管理同时还必须组织
8、和启动后端机进行推理。为使,。572更具有普遍性必须满足以下几条设计原则Μ&良好的可读性,,。572文本应具有良好的可读性用户能够方便地