擴(kuò)展的加權(quán)約束邏輯程序及其在產(chǎn)品配置中的應(yīng)用.pdf

1、當(dāng)前，邏輯程序設(shè)計(jì)已經(jīng)成為人工智能領(lǐng)域知識(shí)表示和推理的一種重要工具。其中回答集編程是一種描述性的問題解決框架，是國際上一個(gè)非?；钴S的研究方向。加權(quán)約束邏輯程序是回答集程序的一種重要形式。
　　 Soininen等人提出了配置規(guī)則語言CRL和加權(quán)約束邏輯程序語言，并將其應(yīng)用于產(chǎn)品配置問題。但該方法具有一定的局限性，比如它無法描述多約束可選的情況。因此，本文在加權(quán)約束邏輯程序的基礎(chǔ)上，提出了一種新的擴(kuò)展的加權(quán)約束邏輯程序語言，并給出

2、了其穩(wěn)定模型語義。新程序?qū)⒁?guī)則的頭部擴(kuò)展為析取約束的形式，進(jìn)一步增強(qiáng)了知識(shí)描述和推理的能力，語法更加豐富，應(yīng)用范圍更加廣泛，但計(jì)算復(fù)雜度并未增加。同時(shí)，本文以電腦配置為例，說明了新語言在產(chǎn)品配置問題中的應(yīng)用。
　　 進(jìn)一步的，產(chǎn)品配置問題以客戶需求為主要的約束條件。但是由于領(lǐng)域知識(shí)的專業(yè)性，客戶需求極有可能出現(xiàn)不合理情況，此時(shí)程序?qū)o法給出合理的配置解。針對(duì)這一問題，本文提出了一種加權(quán)定量的產(chǎn)品配置解優(yōu)化方法。該方法可以在客戶需