计算机科学
計算機科學
계산궤과학
COMPUTER SCIENCE
2015年
z1期
542-545
,共4页
回答集程序%知识表示%不一致%最小原理%加权定量
迴答集程序%知識錶示%不一緻%最小原理%加權定量
회답집정서%지식표시%불일치%최소원리%가권정량
ASP%Knowledge representation%Inconsistency%Minimal principle%Weight quantitative
回答集程序设计是一种描述性的程序设计范例,目前成为逻辑程序设计领域中一个很重要、很活跃的研究课题.在实际应用中,由于知识的不一致性,使得程序没有回答集.为解决该问题,朱涛等人提出了基于最小原理的思想,它可以很好地处理不一致的回答集程序,但是该方法会删除对用户来说很重要的知识,并且无法根据用户自己的偏好找到最满意的解.针对该问题,以加权逻辑程序为基础,使用加权定量的方法来处理不一致的回答集程序.通过为每一个规则分配权值,权值表示废除该规则所需的代价,废除规则代价之和最小的作为最优解,方便而简洁地解决了在无解情况下求解最满意解的问题.最后,与相关工作进行比较.
迴答集程序設計是一種描述性的程序設計範例,目前成為邏輯程序設計領域中一箇很重要、很活躍的研究課題.在實際應用中,由于知識的不一緻性,使得程序沒有迴答集.為解決該問題,硃濤等人提齣瞭基于最小原理的思想,它可以很好地處理不一緻的迴答集程序,但是該方法會刪除對用戶來說很重要的知識,併且無法根據用戶自己的偏好找到最滿意的解.針對該問題,以加權邏輯程序為基礎,使用加權定量的方法來處理不一緻的迴答集程序.通過為每一箇規則分配權值,權值錶示廢除該規則所需的代價,廢除規則代價之和最小的作為最優解,方便而簡潔地解決瞭在無解情況下求解最滿意解的問題.最後,與相關工作進行比較.
회답집정서설계시일충묘술성적정서설계범례,목전성위라집정서설계영역중일개흔중요、흔활약적연구과제.재실제응용중,유우지식적불일치성,사득정서몰유회답집.위해결해문제,주도등인제출료기우최소원리적사상,타가이흔호지처리불일치적회답집정서,단시해방법회산제대용호래설흔중요적지식,병차무법근거용호자기적편호조도최만의적해.침대해문제,이가권라집정서위기출,사용가권정량적방법래처리불일치적회답집정서.통과위매일개규칙분배권치,권치표시폐제해규칙소수적대개,폐제규칙대개지화최소적작위최우해,방편이간길지해결료재무해정황하구해최만의해적문제.최후,여상관공작진행비교.
