人工智能產(chǎn)品配置方法研究

人工智能產(chǎn)品配置方法研究

0產(chǎn)品配置方法現(xiàn)在，市場(chǎng)用戶的需求是多樣化和個(gè)性化的，因此，公司希望根據(jù)巨大的生產(chǎn)成本和交貨日期提供定制產(chǎn)品。企業(yè)生產(chǎn)在很大程度上面向用戶定單需求進(jìn)行,許多企業(yè)開始采用模塊化設(shè)計(jì)方法和大批量定制的生產(chǎn)模式。這種模式先設(shè)計(jì)和制造好大量的產(chǎn)品構(gòu)件模塊,然后根據(jù)用戶需要,選出其中一些模塊,通過(guò)配置生成滿足用戶需求的產(chǎn)品。大批量定制生產(chǎn)需要靈活的配置生成方法提供強(qiáng)有力支持。由于用戶需求及配置約束的復(fù)雜性,使得產(chǎn)品配置方案的生成是一個(gè)非常復(fù)雜的過(guò)程,對(duì)配置人員的要求非常高。配置生成的方便性、智能化是產(chǎn)品配置方法研究的主要內(nèi)容。CON是Digital公司開發(fā)的一個(gè)基于規(guī)則的配置系統(tǒng),用于驗(yàn)證用戶訂單的技術(shù)正確性,并指導(dǎo)訂單的實(shí)際裝配,但它在系統(tǒng)的可維護(hù)性上有嚴(yán)重不足。Lavency針對(duì)軟件產(chǎn)品提出了基于知識(shí)的配置管理思想,用于解決不同軟件的兼容性問題。美國(guó)密西根大學(xué)的Kota提出了產(chǎn)品變量配置設(shè)計(jì)的通用方法,將該方法應(yīng)用于一個(gè)水力系統(tǒng)的配置設(shè)計(jì)。Hiroya提出了一個(gè)產(chǎn)品配置框架,該框架集成基于CBR的約束滿足問題求解器,并將配置框架應(yīng)用到某在線銷售系統(tǒng)。Paul研制了基于Web的配置約束管理系統(tǒng)Pconfig,用于管理計(jì)算機(jī)產(chǎn)品的復(fù)雜配置需求。Alexander指出產(chǎn)品配置系統(tǒng)面臨著知識(shí)庫(kù)不斷增長(zhǎng)的復(fù)雜性問題。有效的知識(shí)獲取方法有助于配置知識(shí)庫(kù)的建構(gòu),Surya提出了配置領(lǐng)域的知識(shí)獲取方法:Expect方法。由于實(shí)際配置問題的復(fù)雜性,配置知識(shí)庫(kù)建模和維護(hù)困難,配置求解過(guò)程復(fù)雜,從而使配置系統(tǒng)難于實(shí)現(xiàn)?；谀壳皣?guó)內(nèi)外對(duì)產(chǎn)品配置的研究,提出了基于產(chǎn)品模型的智能化配置框架,將配置規(guī)則和約束與特定產(chǎn)品模型相關(guān),這樣不同模型的配置知識(shí)具有獨(dú)立性,降低了配置知識(shí)庫(kù)的復(fù)雜度。1基于產(chǎn)品模型的產(chǎn)品配置過(guò)程1.1零部件排列行為“配置管理”一詞的英文“Configurationman-agement”含義是“Theactofmanagingthearrangementofpartsofaproduct”,表示管理產(chǎn)品中零部件排列的行為。將產(chǎn)品內(nèi)部的所有零部件按照數(shù)量、性質(zhì)及相互關(guān)系編組,稱為產(chǎn)品配置。產(chǎn)品配置的相關(guān)對(duì)象包括零部件、零部件版本以及構(gòu)件。(1)零部件的屬性分析零部件是產(chǎn)品配置管理中最重要的對(duì)象之一,是進(jìn)行配置管理的基礎(chǔ)。零部件作為一個(gè)對(duì)象有自己的屬性集,這些屬性描述了零部件的不同方面,如工程幾何屬性、供應(yīng)商、價(jià)格、體積和重量等,其中比較重要的兩類屬性是裝配接口和功能接口屬性。(2)多部件版本設(shè)計(jì)在產(chǎn)品設(shè)計(jì)過(guò)程中為了充分考慮零部件的加工條件和用戶需求的不同,往往會(huì)同時(shí)設(shè)計(jì)多個(gè)零部件版本。同一零部件的多個(gè)版本具有相同的裝配接口和功能接口屬性,亦即就可裝配性和功能有效性而言,不同版本具有互換性。版本是零部件的實(shí)例化。零部件版本也有自己的屬性集,這些屬性描述版本的有效性、狀態(tài)等。(3)關(guān)系的一個(gè)零部件構(gòu)件是零部件的抽象,它代表了具有相似形狀、功能和裝配關(guān)系的一個(gè)零部件系列。這些零部件具有相同或者相似的功能。構(gòu)件具有一組接口和功能參數(shù),但并沒有具體取值。構(gòu)件的實(shí)例化是零部件,實(shí)例化時(shí)通過(guò)限定參數(shù)取值確定構(gòu)件實(shí)例。1.2“發(fā)動(dòng)機(jī)”的功能文中用產(chǎn)品模型來(lái)表示產(chǎn)品的功能結(jié)構(gòu),模型中的節(jié)點(diǎn)用構(gòu)件表示。構(gòu)件表示產(chǎn)品的某個(gè)功能單元,如汽車產(chǎn)品要求具有動(dòng)力驅(qū)動(dòng)的功能特性,在汽車設(shè)計(jì)中,用“發(fā)動(dòng)機(jī)”來(lái)代表這個(gè)功能要求?！鞍l(fā)動(dòng)機(jī)”就是一個(gè)構(gòu)件,表示產(chǎn)品中完成動(dòng)力驅(qū)動(dòng)的部分。產(chǎn)品模型是配置的基礎(chǔ),它包含了多種可能的配置。產(chǎn)品模型代表了具有相似結(jié)構(gòu)和功能的一系列產(chǎn)品的集合,可以在新產(chǎn)品開發(fā)時(shí)建立,也可以通過(guò)對(duì)企業(yè)現(xiàn)有產(chǎn)品系列進(jìn)行歸納整理從而建立模型。產(chǎn)品模型并不是一成不變的,在企業(yè)實(shí)際生產(chǎn)過(guò)程中可以不斷對(duì)模型進(jìn)行修正,使之更完善。建立企業(yè)產(chǎn)品模型,使得設(shè)計(jì)人員更容易開發(fā)出一系列個(gè)性化產(chǎn)品,而且為產(chǎn)品配置過(guò)程奠定了基礎(chǔ)。1.2.1在產(chǎn)品模型中，結(jié)構(gòu)因素之間的關(guān)系分析設(shè)計(jì)者將產(chǎn)品分解成一系列構(gòu)件,構(gòu)件再分解為下級(jí)構(gòu)件,這樣就形成了產(chǎn)品模型的裝配層次關(guān)系。構(gòu)件關(guān)系可分為裝配數(shù)量關(guān)系和裝配約束關(guān)系。(1)構(gòu)件的裝配關(guān)系裝配數(shù)量關(guān)系表明相關(guān)的兩個(gè)構(gòu)件在數(shù)量上的搭配。有3種基本的數(shù)量關(guān)系:1:1、1:N、N:M。1:1表示某構(gòu)件的1個(gè)實(shí)例與另一構(gòu)件的1個(gè)實(shí)例相關(guān);1:N表示一個(gè)構(gòu)件的實(shí)例可以和另一構(gòu)件的多個(gè)實(shí)例裝配在一起;同理,N:M表示一個(gè)構(gòu)件的多個(gè)實(shí)例與另一構(gòu)件的多個(gè)實(shí)例之間存在裝配關(guān)系。產(chǎn)品模型中虛線表示選裝件,若裝配數(shù)量為0則表示不選裝。選裝件是否選裝一方面取決于用戶對(duì)產(chǎn)品的功能要求,另一方面則由模型中其他相關(guān)構(gòu)件的實(shí)例化取值來(lái)決定。(2)物理及功能約束構(gòu)件之間的裝配約束關(guān)系分為物理約束和功能約束。物理約束一方面指構(gòu)件幾何拓?fù)浞矫娴囊?這可以通過(guò)一些CAD系統(tǒng)進(jìn)行驗(yàn)證,另一方面是指構(gòu)件之間的物理裝配接口規(guī)則。功能約束主要指構(gòu)件之間的功能接口規(guī)則。這里主要討論物理及功能接口規(guī)則。構(gòu)件之間接口規(guī)則定義了構(gòu)件之間的連接條件,即如何實(shí)現(xiàn)構(gòu)件之間的銜接。裝配接口一般通過(guò)接口參數(shù)來(lái)對(duì)兩個(gè)裝配在一起的構(gòu)件進(jìn)行限定。例如:有C1和C2兩個(gè)構(gòu)件,分別具有接口參數(shù)a1及a2,二者的裝配約束關(guān)系可表示為1.2.2廣義產(chǎn)品模型如前所述,產(chǎn)品模型代表了一類產(chǎn)品的產(chǎn)品結(jié)構(gòu),其每個(gè)節(jié)點(diǎn)都是構(gòu)件。如果產(chǎn)品模型的某些構(gòu)件節(jié)點(diǎn)已經(jīng)實(shí)例化為零部件,也就是說(shuō)該構(gòu)件的功能確定由某零部件來(lái)完成,故將部分實(shí)例化的產(chǎn)品模型稱為廣義產(chǎn)品模型。這時(shí)產(chǎn)品模型節(jié)點(diǎn)既有構(gòu)件,也有零部件。1.3零件的實(shí)例化產(chǎn)品配置的生成過(guò)程實(shí)質(zhì)上就是產(chǎn)品模型的具體化、實(shí)例化過(guò)程。從產(chǎn)品模型到具體配置需要經(jīng)過(guò)以下步驟。(1)確定選裝件是否選擇產(chǎn)品模型中一般定義有選裝構(gòu)件,在生成產(chǎn)品配置時(shí)應(yīng)該根據(jù)用戶的功能需求以及模型中構(gòu)件之間的配置約束關(guān)系確定是否選裝。(2)模型構(gòu)件的實(shí)例化將構(gòu)件實(shí)例化為零部件。實(shí)例化的依據(jù)是用戶的配置需求以及產(chǎn)品配置規(guī)則。實(shí)例化過(guò)程只針對(duì)模型樹上的葉子節(jié)點(diǎn)構(gòu)件,由于中間節(jié)點(diǎn)構(gòu)件由葉子節(jié)點(diǎn)裝配而成,因此當(dāng)葉子節(jié)點(diǎn)實(shí)例化完成以后,中間節(jié)點(diǎn)(包括根節(jié)點(diǎn))也隨之實(shí)例化。(3)零部件的實(shí)例化將模型中的零部件具體化為零部件版本,因?yàn)橹挥芯唧w版本才是可用于制造的具體對(duì)象。實(shí)例化的依據(jù)是用戶需求以及企業(yè)制定的版本有效性規(guī)則。(4)產(chǎn)品配置驗(yàn)證企業(yè)中每個(gè)產(chǎn)品都存在一些配置約束,產(chǎn)品配置完成以后,必須進(jìn)行驗(yàn)證,確保配置結(jié)果的完整性和一致性。另外,用戶的某些需求也可能存在潛在矛盾之處,都需要檢驗(yàn)配置結(jié)果的正確性。2基于產(chǎn)品模型的智能配置結(jié)構(gòu)2.1可行性解的生成產(chǎn)品配置的生成過(guò)程實(shí)質(zhì)上是一個(gè)基于產(chǎn)品模型的配置約束求解的過(guò)程,隨著用戶需求條件的不同,可行解可能不是唯一的。產(chǎn)品配置的目標(biāo)就是找出滿足約束條件的可行解。配置求解模型主要涉及兩個(gè)方面。(1)用戶配置條件設(shè)定企業(yè)產(chǎn)品模型確定以后,可以針對(duì)該模型定義一些產(chǎn)品特征變量,以此作為用戶的輸入配置條件。例如對(duì)于轎車可以定義諸如最高時(shí)速、耗油量/公里、總價(jià)格等配置變量。(2)構(gòu)件cii方面的問題產(chǎn)品配置過(guò)程的約束條件主要包括:①模型構(gòu)件實(shí)例化的取值范圍。顯然,構(gòu)件實(shí)例化需要零部件庫(kù)的支持。②構(gòu)件的裝配約束。③變量配置規(guī)則。④零部件版本的有效性規(guī)則。假定某產(chǎn)品有m個(gè)特征配置變量,記為x=[x1,x2,…,xm]T;產(chǎn)品模型中存在n個(gè)獨(dú)立構(gòu)件(獨(dú)立構(gòu)件指模型中葉子節(jié)點(diǎn),包括選裝構(gòu)件),記為C=[C1,C2,…,Cn]T;構(gòu)件Ci(i=1,…,n)實(shí)例化取值范圍為零部件集合{pi,1,pi,2,…,pi,ti},ti是第i個(gè)構(gòu)件所對(duì)應(yīng)零部件集合的元素個(gè)數(shù)。配置結(jié)果中Ci的取值為某一滿足用戶需求條件和有效性規(guī)則的零部件版本。另外用Q=[Q1,Q2,…,Qn]T表示每個(gè)構(gòu)件實(shí)例的裝配數(shù)量,若Qi=0則表示該構(gòu)件為選裝件,且不選裝。假定變量配置規(guī)則集為Rcon{r1,r2,…,rs};裝配約束規(guī)則集為Rc{r1,r2,…,rt};版本有效性約束規(guī)則集為Reff{r1,r2,…,ru},其中s、t、u為規(guī)則數(shù)量。基于上述假定,產(chǎn)品配置問題的求解模型如下目標(biāo)變量記為產(chǎn)品配置過(guò)程可表示為x、M、Bck、P的函數(shù)如下式中f——配置求解過(guò)程2.2明確的驗(yàn)證依據(jù)由第1.3節(jié)中的配置過(guò)程得知,配置生成的關(guān)鍵在于構(gòu)件、零部件的實(shí)例化過(guò)程,這個(gè)過(guò)程需要一定的經(jīng)驗(yàn)和規(guī)則支持;在產(chǎn)品配置生成的過(guò)程中也需要對(duì)結(jié)果的正確性進(jìn)行驗(yàn)證,而驗(yàn)證的依據(jù)是產(chǎn)品配置規(guī)則和約束。對(duì)于一個(gè)普通用戶或配置人員來(lái)說(shuō),他不太可能了解產(chǎn)品的所有方面以至于能夠確定產(chǎn)品中某個(gè)零件具體是什么型號(hào),尤其對(duì)于如汽車這樣具有非常復(fù)雜裝配結(jié)構(gòu)的產(chǎn)品更是如此。另外,第2.1節(jié)的產(chǎn)品配置求解模型表明,配置過(guò)程是一個(gè)在給定輸入條件下基于配置知識(shí)庫(kù)的推理求解過(guò)程。圖1為基于產(chǎn)品模型的智能配置框架,該框架以產(chǎn)品模型為基礎(chǔ),在配置知識(shí)庫(kù)和零部件庫(kù)的支持下,通過(guò)知識(shí)推理與求解過(guò)程得出滿足需求的配置方案。3基于產(chǎn)品模型的產(chǎn)品庫(kù)3.1配置知識(shí)社會(huì)需要規(guī)則構(gòu)建目前經(jīng)常使用的知識(shí)表示方法有四種:產(chǎn)生式規(guī)則、謂詞邏輯、語(yǔ)義網(wǎng)絡(luò)以及框架。配置規(guī)則和裝配約束是最主要的配置知識(shí)。文中的配置知識(shí)庫(kù)主要采用規(guī)則來(lái)構(gòu)建,這是基于產(chǎn)生式規(guī)則的如下特點(diǎn):①有效表達(dá)過(guò)程性知識(shí)。規(guī)則提供的“if-then”型的表達(dá)方式恰好表達(dá)了一個(gè)過(guò)程的操作,因此過(guò)程性知識(shí)用規(guī)則表示非常方便。②用產(chǎn)生式規(guī)則構(gòu)造知識(shí)庫(kù)便于知識(shí)獲取,而且易于理解。③規(guī)則的獨(dú)立性。知識(shí)庫(kù)中每一條規(guī)則為一個(gè)基本的知識(shí)單元,彼此獨(dú)立,從而使知識(shí)庫(kù)易于修改和更新。3.2配置特征集和變量集在以產(chǎn)品模型為基礎(chǔ),基于知識(shí)的配置過(guò)程中,用戶以何種方式輸入其個(gè)性化需求或配置條件顯得非常重要。由于用戶的需求千差萬(wàn)別,因此必須將配置條件規(guī)范化、參數(shù)化,便于在產(chǎn)品配置求解過(guò)程中被求解器所識(shí)別。一般來(lái)說(shuō),每個(gè)產(chǎn)品都會(huì)具有很多關(guān)鍵特征,例如轎車產(chǎn)品的顏色、耗油量/公里、最高時(shí)速以及價(jià)格等等。特征是某產(chǎn)品區(qū)別于其他產(chǎn)品的重要標(biāo)志。產(chǎn)品特征組合在一起構(gòu)成特征集,用戶可以通過(guò)特征集來(lái)識(shí)別不同產(chǎn)品。產(chǎn)品特征集描述如下式中m——產(chǎn)品特征數(shù)量用戶在配置之前,可以根據(jù)產(chǎn)品的特征集提交配置需求,即設(shè)定特征的取值。為便于進(jìn)行配置推導(dǎo)運(yùn)算,根據(jù)特征集導(dǎo)出一組配置變量,構(gòu)成配置變量集,描述如下式中n——配置變量個(gè)數(shù)特征與配置變量是一種多對(duì)多的關(guān)系,有可能某個(gè)特征用幾個(gè)變量來(lái)描述,也可能某個(gè)變量同時(shí)與多個(gè)特征有關(guān),它們的關(guān)系如圖2所示。用戶根據(jù)產(chǎn)品特征集輸入一組特征作為配置條件,然后智能配置系統(tǒng)自動(dòng)映射為一組配置變量。這樣用戶需求體現(xiàn)為一系列配置變量的取值,從而將配置需求形式化。3.3產(chǎn)品配置規(guī)則配置規(guī)則表達(dá)產(chǎn)品模型中各功能構(gòu)件、零部件以及零部件版本之間的存在性約束,通過(guò)限制產(chǎn)品配置過(guò)程中構(gòu)件、零部件以及版本的選擇和組合來(lái)確保產(chǎn)品配置的正確性。配置規(guī)則的定義實(shí)際上是對(duì)產(chǎn)品信息和產(chǎn)品知識(shí)的獲取、加工和抽象。產(chǎn)品配置規(guī)則分為如下幾種類型。3.3.1第4類:gaolge由第3.2節(jié)可知,用戶需求最終可映射為一組配置變量的取值,在配置產(chǎn)品時(shí)根據(jù)配置變量的取值來(lái)實(shí)例化產(chǎn)品模型中的構(gòu)件,而對(duì)象實(shí)例化的依據(jù)就是變量配置規(guī)則。發(fā)動(dòng)機(jī)是汽車產(chǎn)品模型的基本構(gòu)件模塊。假定有“Gasoline”和“Diesel”兩種可供選擇的發(fā)動(dòng)機(jī)型號(hào),并定義一個(gè)配置變量:“最高時(shí)速”。相應(yīng)的變量配置規(guī)則如下。如果“最高時(shí)速”>160km/h那么“發(fā)動(dòng)機(jī)”=“Gasoline”當(dāng)用戶要求的“最高時(shí)速”為180km/h時(shí),則根據(jù)規(guī)則自動(dòng)將“發(fā)動(dòng)機(jī)”構(gòu)件實(shí)例化為“Gasoline”。在變量配置規(guī)則的運(yùn)算中可以采用多種邏輯運(yùn)算法則,例如:“=”、“<”、“>”、“<>”、“LIKE”、“AND”、“OR”等等,并且可以綜合多種邏輯運(yùn)算。配置變量既可以是字符型,也可以為數(shù)字、日期、邏輯等類型。3.3.2零件約束關(guān)系在一個(gè)復(fù)雜產(chǎn)品中,由于零部件種類繁多,零部件之間存在較復(fù)雜的裝配關(guān)系,這些關(guān)系需要裝配約束規(guī)則來(lái)表達(dá)。裝配約束可分為兩個(gè)層次,一是零部件層次,該層次的規(guī)則表達(dá)了具體兩個(gè)零部件的組合與互斥關(guān)系。其二是裝配及功能接口參數(shù)層次,該層次并未說(shuō)明具體零部件的約束關(guān)系,而是通過(guò)限定相關(guān)構(gòu)件實(shí)例的接口參數(shù)取值來(lái)表達(dá)零部件之間的約束。如果模型構(gòu)件Ci和Cj之間存在關(guān)聯(lián)關(guān)系,則零部件層次的裝配約束關(guān)系如下。(1)組合關(guān)系如果Ci=pi則Cj=pj,表示pi、pj這兩個(gè)零部件的組合關(guān)系。其中Ci、Cj表示構(gòu)件,pi、pj表示零部件。(2)互斥關(guān)系如果Ci=pi則Cj≠pj,表示pi、pj這兩個(gè)零部件的互斥關(guān)系。(3)數(shù)量關(guān)系如果Q(Ci)=p則Q(Cj)=q,其中Q(Ci)、Q(Cj)表示構(gòu)件Ci和Cj的裝配數(shù)量,p、q≥0,當(dāng)p、q為0時(shí)表示Ci或Cj為可選構(gòu)件,且配置時(shí)不選裝。接口參數(shù)層次的裝配約束表達(dá)如下如果F(Ci.ati)則G(Cj.αtj)式中F,G——條件判別表達(dá)式α——接口參數(shù)3.3.3版本選擇的依據(jù)產(chǎn)品模型構(gòu)件全部實(shí)例化為零部件以后,產(chǎn)品配置過(guò)程還沒有全部完成,零部件需要進(jìn)一步實(shí)例化為版本才可用于生產(chǎn)裝配。由于零部件大都具有多個(gè)版本,這樣就存在一個(gè)版本的選擇問題。版本選擇的依據(jù)是有效性規(guī)則。有效性規(guī)則可分為時(shí)間有效性、制造地點(diǎn)有效性及批次有效性。對(duì)于每個(gè)零部件應(yīng)該為其定義一些有效性屬性例如制造地點(diǎn)、有效時(shí)間段以及有效的批次。在配置時(shí),系統(tǒng)根據(jù)配置變量的取值來(lái)確定零部件的哪一個(gè)版本為有效。有效性作為零部件版本的一個(gè)屬性,描述了版本的有效范圍。有效性有著廣泛的應(yīng)用,通過(guò)它可以確定具體版本是否用于某次生產(chǎn)(即有效)。為不同的版本設(shè)置有效性規(guī)則便于在實(shí)際配置過(guò)程中得到正確的配置。在一個(gè)配置生成過(guò)程中允許對(duì)一個(gè)對(duì)象同時(shí)實(shí)施多個(gè)有效性規(guī)則。3.4求解復(fù)雜度的問題配置知識(shí)庫(kù)是智能化產(chǎn)品配置過(guò)程的基礎(chǔ)。知識(shí)庫(kù)建模的基本要求是:能夠有效地、準(zhǔn)確地表達(dá)特定領(lǐng)域的各種知識(shí);能夠與相應(yīng)的推理機(jī)密切配合,方便知識(shí)的演繹;便于管理、解釋以及維護(hù)?；谀Ｐ偷呐渲弥R(shí)庫(kù)的主要特征是配置規(guī)則和約束均與特定產(chǎn)品配置模型相關(guān),這樣降低了知識(shí)庫(kù)的復(fù)雜度,更容易推理求解。產(chǎn)品配置知識(shí)庫(kù)的構(gòu)建過(guò)程如圖3所示,具體步驟如下。(1)根據(jù)產(chǎn)品的裝配結(jié)構(gòu)以及功能模塊建立產(chǎn)品模型,確定必選構(gòu)件和選裝構(gòu)件,并使構(gòu)件與零部件庫(kù)中的零部件實(shí)例建立關(guān)系。(2)根據(jù)用戶需求以及產(chǎn)品功能建立產(chǎn)品特征集{f1,f2,f3…,fn},然后映射為一組配置參數(shù)變量。(3)根據(jù)模型構(gòu)件之間的接口關(guān)系建立構(gòu)件兼容性及裝配約束規(guī)則集Rc,用來(lái)保證構(gòu)件實(shí)例化為零部件之后能夠滿足幾何和功能上的兼容性及可裝配性要求。(4)根據(jù)零部件庫(kù)中具體零部件版本的適用范圍建立有效性規(guī)則集Reff。(5)根據(jù)用戶需求及產(chǎn)品特征建立變量配置規(guī)則集。(6)將多種配置規(guī)則合成,構(gòu)成配置知識(shí)庫(kù)。在合成過(guò)程中,應(yīng)檢驗(yàn)多個(gè)規(guī)則集的一致性。配置知識(shí)庫(kù)建立以后,它并不是靜止不變的。市場(chǎng)需求的不斷變化迫使企業(yè)不斷開發(fā)新產(chǎn)品來(lái)滿足用戶的需要,隨著產(chǎn)品的不斷改進(jìn)完善,配置知識(shí)庫(kù)也將逐步得到修正與更新。3.5用戶配置作出匹配結(jié)果的前提c知識(shí)庫(kù)構(gòu)建完成以后,就可將其用于產(chǎn)品的配置求解,求解推理過(guò)程如圖4所示,圖中采用正向推理求解方法。在正向推理中,用戶首先提供一批事實(shí)亦即配置條件,并將其放入初始事實(shí)庫(kù)中,正向推理將這些事實(shí)與規(guī)則的前提條件進(jìn)行匹配,把匹配成功規(guī)則的結(jié)論作為新事實(shí)加入事實(shí)庫(kù),并繼續(xù)上述過(guò)程,將更新的事實(shí)庫(kù)中的所有事實(shí)再與規(guī)則相匹配,直到?jīng)]有可匹配的規(guī)則為止。如果同一目標(biāo)變量在推理過(guò)程中被賦予了不同的值,則配置過(guò)程應(yīng)該終止,交由用戶處理,這是由于用戶配置條件出現(xiàn)矛盾,從而不存在滿足用戶需求的配置方案。配置過(guò)程中,可能限于配置知識(shí)庫(kù)的完善程度,有時(shí)需要進(jìn)行人工交互,以確定模型中各構(gòu)件的選擇。4零件配置interpersonal可配置產(chǎn)品模型是建立產(chǎn)品智能配置系統(tǒng)的基礎(chǔ)。產(chǎn)品模型不但表達(dá)了產(chǎn)品的裝配拓?fù)浣Y(jié)構(gòu),而且定義了構(gòu)件選擇約束及實(shí)例化規(guī)則等配置知識(shí)。如圖5所示為某系列汽車的產(chǎn)品配置模型示意圖,由于汽車產(chǎn)品非常復(fù)雜,為說(shuō)明問題圖中僅列出了少數(shù)幾種構(gòu)件,包括發(fā)動(dòng)機(jī)、傳動(dòng)系統(tǒng)、車身框架以及音響等,其中音響構(gòu)件可由子構(gòu)件收