计算机工程与应用
計算機工程與應用
계산궤공정여응용
COMPUTER ENGINEERING AND APPLICATIONS
2006年
8期
11-15
,共5页
薛云皎%钱乐秋%彭鑫%徐如志
薛雲皎%錢樂鞦%彭鑫%徐如誌
설운교%전악추%팽흠%서여지
声明式逻辑%智能主体%分布式构件库%检索%数据源选择
聲明式邏輯%智能主體%分佈式構件庫%檢索%數據源選擇
성명식라집%지능주체%분포식구건고%검색%수거원선택
分布式构件库系统中,智能主体可通过协作联合完成用户的检索要求.对构件检索来说,确定哪些构件库拥有目标构件是一个需要首先解决的数据源选择问题.智能主体拥有自己的知识库,并且需要具备学习能力,能更新其知识库以保持检索结果的有效性.文章讨论了可更新的主体,它可以将新的信息合并到给定的知识库中.我们提出了一种基于逻辑程序设计的知识表达和更新方法,该方法遵从声明式更新策略以执行更新任务.我们所提出的可更新主体具有清晰的语义,也能够以恰当的方式处理不一致的信息,从而较智能地解决了数据源选择问题.
分佈式構件庫繫統中,智能主體可通過協作聯閤完成用戶的檢索要求.對構件檢索來說,確定哪些構件庫擁有目標構件是一箇需要首先解決的數據源選擇問題.智能主體擁有自己的知識庫,併且需要具備學習能力,能更新其知識庫以保持檢索結果的有效性.文章討論瞭可更新的主體,它可以將新的信息閤併到給定的知識庫中.我們提齣瞭一種基于邏輯程序設計的知識錶達和更新方法,該方法遵從聲明式更新策略以執行更新任務.我們所提齣的可更新主體具有清晰的語義,也能夠以恰噹的方式處理不一緻的信息,從而較智能地解決瞭數據源選擇問題.
분포식구건고계통중,지능주체가통과협작연합완성용호적검색요구.대구건검색래설,학정나사구건고옹유목표구건시일개수요수선해결적수거원선택문제.지능주체옹유자기적지식고,병차수요구비학습능력,능경신기지식고이보지검색결과적유효성.문장토론료가경신적주체,타가이장신적신식합병도급정적지식고중.아문제출료일충기우라집정서설계적지식표체화경신방법,해방법준종성명식경신책략이집행경신임무.아문소제출적가경신주체구유청석적어의,야능구이흡당적방식처리불일치적신식,종이교지능지해결료수거원선택문제.