2004年人工智能與哲學(xué)研討會(huì)

智能科學(xué)的邏輯問(wèn)題史忠植

Shizz@中國(guó)科學(xué)院計(jì)算技術(shù)研究所2022/11/241史忠植Logic2004年人工智能與哲學(xué)研討會(huì)2022/11/211史忠內(nèi)容提要引言知識(shí)表示知識(shí)發(fā)現(xiàn)

知識(shí)共享心智社會(huì)結(jié)束語(yǔ)2022/11/242史忠植Logic內(nèi)容提要引言2022/11/212史忠植Logic人工智能的五個(gè)基本問(wèn)題

Kirsh1991年指出:

(1)知識(shí)與概念化是否是人工智能的核心？(2)認(rèn)知能力能否與載體分開(kāi)來(lái)研究？(3)認(rèn)知的軌跡是否可用類(lèi)自然語(yǔ)言來(lái)描述？(4)學(xué)習(xí)能力能否與認(rèn)知分開(kāi)來(lái)研究？(5)所有的認(rèn)知是否有一種統(tǒng)一的結(jié)構(gòu)？2022/11/243史忠植Logic人工智能的五個(gè)基本問(wèn)題Kirsh1991年指出:2人工智能符號(hào)主義連接主義行為主義

2022/11/244史忠植Logic人工智能符號(hào)主義2022/11/214史忠植Lo

科學(xué)發(fā)展大趨勢(shì)

21世紀(jì):

智能科學(xué)

智能科學(xué)是一門(mén)交叉學(xué)科，主要由

F腦科學(xué)

F認(rèn)知科學(xué)

F人工智能等學(xué)科共同研究智能行為的基本理論和實(shí)現(xiàn)技術(shù)。

2022/11/245史忠植Logic科學(xué)發(fā)展大趨勢(shì)

21世紀(jì):智能科學(xué)

智能不僅要功能模擬,而且要機(jī)理模擬Actionsfromthoughts(Nature409,2001)

2022/11/246史忠植Logic智能科學(xué)智能不僅要功能模擬,而且要機(jī)理模擬Actions

知識(shí)表示問(wèn)題——也就是如何最佳地捕捉智能行為的關(guān)鍵特征以供在計(jì)算機(jī)上使用，或者說(shuō)以供與人交流——一直是人工智能的一個(gè)永恒主題知識(shí)表示2022/11/247史忠植Logic知識(shí)表示問(wèn)題——也就是如何最佳地捕捉智能行為問(wèn)題不確定性不完全動(dòng)態(tài)行為有效推理可塑性同構(gòu)性2022/11/248史忠植Logic問(wèn)題不確定性2022/11/218史忠植Logic命題邏輯一階謂詞邏輯模態(tài)邏輯模糊邏輯動(dòng)態(tài)邏輯時(shí)序邏輯…

邏輯是重要的知識(shí)表示語(yǔ)言2022/11/249史忠植Logic命題邏輯邏輯是重要的知識(shí)表示語(yǔ)言2022/11/219史忠知識(shí)發(fā)現(xiàn)知識(shí)發(fā)現(xiàn)是從數(shù)據(jù)集中抽取和精化新的模式。

知識(shí)發(fā)現(xiàn)的范圍非常廣泛,可以是經(jīng)濟(jì)、工業(yè)、農(nóng)業(yè)、軍事、社會(huì)、商業(yè)、科學(xué)的數(shù)據(jù)或衛(wèi)星觀測(cè)得到的數(shù)據(jù)。數(shù)據(jù)的形態(tài)有數(shù)字、符號(hào)、圖形、圖象、聲音等。數(shù)據(jù)組織方式也各不相同,可以是有結(jié)構(gòu)、半結(jié)構(gòu)、非結(jié)構(gòu)的。知識(shí)發(fā)現(xiàn)的結(jié)果可以表示成各種形式,包括規(guī)則、法則、科學(xué)規(guī)律、方程或概念網(wǎng)。2022/11/2410史忠植Logic知識(shí)發(fā)現(xiàn)知識(shí)發(fā)現(xiàn)是從數(shù)據(jù)集中抽取和精化新的模式。知識(shí)知識(shí)發(fā)現(xiàn)一般說(shuō)，演繹推理的前提蘊(yùn)涵結(jié)論，前提為真，結(jié)論就一定為真。歸納推理的前提與結(jié)論之間不具有這種蘊(yùn)涵關(guān)系，歸納推理的結(jié)論超出了前提的范圍，因而當(dāng)前提為真時(shí)，結(jié)論不一定真。歸納邏輯是關(guān)于或然性推理的邏輯。2022/11/2411史忠植Logic知識(shí)發(fā)現(xiàn)一般說(shuō)，演繹推理的前提蘊(yùn)涵結(jié)論，前提為真，結(jié)論就一定知識(shí)發(fā)現(xiàn)正當(dāng)古典歸納邏輯向前發(fā)展的時(shí)候，18世紀(jì)的英國(guó)哲學(xué)家休謨（D.Hume）對(duì)歸納推理的合理性提出了質(zhì)疑。休謨提出的問(wèn)題是：歸納法具有理性的依據(jù)嗎？如何為歸納法的合理性進(jìn)行辯護(hù)？休謨本人的回答是：為歸納法的合理性進(jìn)行辯護(hù)是不可能的，因此歸納法沒(méi)有合理性，只不過(guò)是人的一種心理本能。2022/11/2412史忠植Logic知識(shí)發(fā)現(xiàn)正當(dāng)古典歸納邏輯向前發(fā)展的時(shí)候，18世紀(jì)的英國(guó)哲學(xué)家知識(shí)發(fā)現(xiàn)1921年，英國(guó)著名的經(jīng)濟(jì)學(xué)家凱恩斯(J.M.Keynes)將概率理論與歸納邏輯相結(jié)合，建立了第一個(gè)概率邏輯系統(tǒng)，這標(biāo)志著現(xiàn)代歸納邏輯的產(chǎn)生。此后，邏輯學(xué)家們紛紛提出各自的歸納邏輯系統(tǒng)。現(xiàn)代歸納邏輯的特點(diǎn)是，第一，把概率概念引進(jìn)歸納邏輯。人們充分認(rèn)識(shí)到歸納推理的或然性，試圖從量上刻畫(huà)這種或然性，很自然地采用了概率概念。現(xiàn)代歸納邏輯的研究幾乎都是結(jié)合概率、統(tǒng)計(jì)理論進(jìn)行的。第二，不再把歸納看作發(fā)現(xiàn)和證明普遍性命題(規(guī)律、定律)的活動(dòng)，而把它看作檢驗(yàn)假說(shuō)的活動(dòng)。歸納法的職能不是發(fā)現(xiàn)全稱命題更不能證明它，歸納法主要是通過(guò)檢驗(yàn)來(lái)決定一個(gè)假說(shuō)是否可被接受。第三，數(shù)理邏輯即現(xiàn)代演繹邏輯的方法對(duì)歸納邏輯的研究產(chǎn)生很大影響，公理化形式化的方法被引入歸納邏輯的研究，產(chǎn)生了許多不同類(lèi)型的形式化的歸納邏輯系統(tǒng)。2022/11/2413史忠植Logic知識(shí)發(fā)現(xiàn)1921年，英國(guó)著名的經(jīng)濟(jì)學(xué)家凱恩斯(J.M.K知識(shí)發(fā)現(xiàn)本世紀(jì)二、三十年代以后，隨著數(shù)學(xué)概率論趨于成熟，概率歸納邏輯得以產(chǎn)生和發(fā)展。概率歸納邏輯是應(yīng)用概率論來(lái)系統(tǒng)地研究和表述或然性推理的。本世紀(jì)七十年代前后，出現(xiàn)了一種非數(shù)學(xué)概率論的歸納邏輯理論，這種理論也被稱為“非帕斯卡概率歸納邏輯”2022/11/2414史忠植Logic知識(shí)發(fā)現(xiàn)本世紀(jì)二、三十年代以后，隨著數(shù)學(xué)概率論趨于成熟，概率知識(shí)發(fā)現(xiàn)經(jīng)驗(yàn)主義概率歸納邏輯邏輯貝葉斯派主觀貝葉斯派條件化歸納邏輯非帕斯卡概率歸納邏輯2022/11/2415史忠植Logic知識(shí)發(fā)現(xiàn)經(jīng)驗(yàn)主義概率歸納邏輯2022/11/2115史忠植語(yǔ)義Web

Ontology

LanguagesKnowledgeRepresentationXMLNamespacesURIUnicodeSignatureEncryptionRulesProofTrust“thestateoftheart”RDFRDFSchemaOWL2022/11/2416史忠植Logic語(yǔ)義WebOntology

LanguagesKnowl

語(yǔ)義網(wǎng)格2022/11/2417史忠植Logic語(yǔ)義網(wǎng)格2022/11/2共享概念模型概念模型（conceptualization）通過(guò)抽象出客觀世界中一些現(xiàn)象（Phenomenon）的相關(guān)概念而得到的模型，其表示的含義獨(dú)立于具體的環(huán)境狀態(tài)明確（explicit）所使用的概念及使用這些概念的約束都有明確的定義形式化（formal）Ontology是計(jì)算機(jī)可讀的。共享（share）Ontology中體現(xiàn)的是共同認(rèn)可的知識(shí)，反映的是相關(guān)領(lǐng)域中公認(rèn)的概念集，它所針對(duì)的是團(tuán)體而不是個(gè)體。2022/11/2418史忠植Logic共享概念模型概念模型（conceptualization）本體OntologyBerners-Lee于2000-12-18在XML2000的會(huì)議上正式提出了語(yǔ)義Web。語(yǔ)義Web的目標(biāo)是使得Web上的信息具有計(jì)算機(jī)可以理解的語(yǔ)義，滿足智能軟件代理(Agent)對(duì)WWW上異構(gòu)和分布信息的有效訪問(wèn)和搜索。Berners-Lee為未來(lái)的Web發(fā)展提出了基于語(yǔ)義的體系結(jié)構(gòu)-語(yǔ)義Web體系結(jié)構(gòu)。該體系中從底層到高層分別為：UNICODE和URI、XML、RDF、Ontology、Logic、Proof、Trust。2022/11/2419史忠植Logic本體OntologyBerners-Lee于2000-12本體Ontology

Berners-Lee于2000-12-18在XML2000的會(huì)議上正式提出了語(yǔ)義Web[24]。語(yǔ)義Web的目標(biāo)是使得Web上的信息具有計(jì)算機(jī)可以理解的語(yǔ)義，滿足智能軟件代理(Agent)對(duì)WWW上異構(gòu)和分布信息的有效訪問(wèn)和搜索。Berners-Lee為未來(lái)的Web發(fā)展提出了基于語(yǔ)義的體系結(jié)構(gòu)-語(yǔ)義Web體系結(jié)構(gòu)。該體系中從底層到高層分別為[25]：UNICODE和URI、XML、RDF、Ontology、Logic、Proof、Trust。2022/11/2420史忠植Logic本體OntologyBerners-Lee于2000-1

動(dòng)態(tài)描述邏輯DDLConceptname：C1,C2,…；Rolename：R1,R2,…；Individualconstant：a,b,c,…；Individualvariable：x,y,z,…；Conceptoperation：,?,?,,；Axiomoperation：,∧,；Action：A1,A2,…；Actionconstraction：；(composition)，?(alternation)，*(repeat)，？(test)；Actionvariable：α,β,…；Axiomvariable：,,π,…；Statevariable：u,v,w,…；

2022/11/2421史忠植Logic動(dòng)態(tài)描述邏輯DDLConceptname：C1,C2,心智社會(huì)(SocietyofMind)WorldAMindMAMindMindMindWorldBMindMBMindMindMindMindMA+BWorldA+BClient2022/11/2422史忠植Logic心智社會(huì)(SocietyofMind)WorldAMi主體基本結(jié)構(gòu)環(huán)境主體感知作用黑箱軟件主體2022/11/2423史忠植Logic主體基本結(jié)構(gòu)環(huán)境主體感知作用黑箱軟件主體2022/11/21智能主體的工作過(guò)程環(huán)境交互信息融合信息處理作用交互感知作用2022/11/2424史忠植Logic智能主體的工作過(guò)程環(huán)境交互信息融合信息處理作用交互感知作用2

反應(yīng)主體環(huán)境當(dāng)前世界傳感器動(dòng)作效應(yīng)器條件-動(dòng)作規(guī)則主體2022/11/2425史忠植Logic反應(yīng)主體環(huán)當(dāng)前世界傳感器動(dòng)作效應(yīng)器條件-動(dòng)作主體2認(rèn)知主體環(huán)境信息融合傳感器動(dòng)作效應(yīng)器主體規(guī)劃知識(shí)庫(kù)目標(biāo)內(nèi)部狀態(tài)2022/11/2426史忠植Logic認(rèn)知主體環(huán)信息融合傳感器動(dòng)作效應(yīng)器主體規(guī)劃知BDI結(jié)構(gòu)知識(shí)信念規(guī)劃意圖目標(biāo)愿望2022/11/2427史忠植LogicBDI結(jié)構(gòu)知信規(guī)意圖目標(biāo)愿望BDI解釋器BDI-interpreterinitialize-state();dooptions:=option-gen(event-queue,B,G,I);selected-options:=deliberate(options,B,G,I);update-intentions(selected-options,I);execute(I);event-queue:=get-new-events();drop-successful-attitudes(B,G,I);drop-impossible-attitudes(B,G,I);untilquit.Beliefs,desires(goals),andintentionssatisfiedorunrealizablebeliefs,goals,andintentions2022/11/2428史忠植LogicBDI解釋器BDI-interpreterBeliefs,形式化規(guī)范方法

形式定義主體系統(tǒng)需求主體系統(tǒng)是一個(gè)意圖系統(tǒng)2022/11/2429史忠植Logic形式化規(guī)范方法形式定義主體系統(tǒng)需求2022/11/2129形式化對(duì)象信念目標(biāo)規(guī)劃協(xié)作動(dòng)作交互2022/11/2430史忠植Logic形式化對(duì)象信念2022/11/2130史忠植Logic形式化規(guī)范方法邏輯–時(shí)序模態(tài)邏輯

2種模型:Coehn-Levesque意圖理論

Rao-GeorgeffBDI模型

2022/11/2431史忠植Logic形式化規(guī)范方法邏輯–時(shí)序模態(tài)邏輯2022/11/213多主體環(huán)境MAGE

RequirementAnalysisSystemDesignSystemDevelopmentBehaviourLibraryAgentLibraryAgentSocietySystemDeployment

AUMP

VAStudioMAGERunningSupport2022/11/2432史忠植Logic多主體環(huán)境MAGERequirementAnalysi結(jié)束語(yǔ)邏輯是智能科學(xué)的重要基楚我國(guó)必須積極開(kāi)展符號(hào)邏輯的研究2022/11/2433史忠植Logic結(jié)束語(yǔ)邏輯是智能科學(xué)的重要基楚2022/11/2133史忠植謝謝!QUESTIONS！2022/11/2434史忠植Logic謝謝!QUESTIONS！2022/11/2134史忠2004年人工智能與哲學(xué)研討會(huì)

智能科學(xué)的邏輯問(wèn)題史忠植

Shizz@中國(guó)科學(xué)院計(jì)算技術(shù)研究所2022/11/2435史忠植Logic2004年人工智能與哲學(xué)研討會(huì)2022/11/211史忠內(nèi)容提要引言知識(shí)表示知識(shí)發(fā)現(xiàn)

知識(shí)共享心智社會(huì)結(jié)束語(yǔ)2022/11/2436史忠植Logic內(nèi)容提要引言2022/11/212史忠植Logic人工智能的五個(gè)基本問(wèn)題

Kirsh1991年指出:

(1)知識(shí)與概念化是否是人工智能的核心？(2)認(rèn)知能力能否與載體分開(kāi)來(lái)研究？(3)認(rèn)知的軌跡是否可用類(lèi)自然語(yǔ)言來(lái)描述？(4)學(xué)習(xí)能力能否與認(rèn)知分開(kāi)來(lái)研究？(5)所有的認(rèn)知是否有一種統(tǒng)一的結(jié)構(gòu)？2022/11/2437史忠植Logic人工智能的五個(gè)基本問(wèn)題Kirsh1991年指出:2人工智能符號(hào)主義連接主義行為主義

2022/11/2438史忠植Logic人工智能符號(hào)主義2022/11/214史忠植Lo

科學(xué)發(fā)展大趨勢(shì)

21世紀(jì):

智能科學(xué)

智能科學(xué)是一門(mén)交叉學(xué)科，主要由

F腦科學(xué)

F認(rèn)知科學(xué)

F人工智能等學(xué)科共同研究智能行為的基本理論和實(shí)現(xiàn)技術(shù)。

2022/11/2439史忠植Logic科學(xué)發(fā)展大趨勢(shì)

21世紀(jì):智能科學(xué)

智能不僅要功能模擬,而且要機(jī)理模擬Actionsfromthoughts(Nature409,2001)

2022/11/2440史忠植Logic智能科學(xué)智能不僅要功能模擬,而且要機(jī)理模擬Actions

知識(shí)表示問(wèn)題——也就是如何最佳地捕捉智能行為的關(guān)鍵特征以供在計(jì)算機(jī)上使用，或者說(shuō)以供與人交流——一直是人工智能的一個(gè)永恒主題知識(shí)表示2022/11/2441史忠植Logic知識(shí)表示問(wèn)題——也就是如何最佳地捕捉智能行為問(wèn)題不確定性不完全動(dòng)態(tài)行為有效推理可塑性同構(gòu)性2022/11/2442史忠植Logic問(wèn)題不確定性2022/11/218史忠植Logic命題邏輯一階謂詞邏輯模態(tài)邏輯模糊邏輯動(dòng)態(tài)邏輯時(shí)序邏輯…

邏輯是重要的知識(shí)表示語(yǔ)言2022/11/2443史忠植Logic命題邏輯邏輯是重要的知識(shí)表示語(yǔ)言2022/11/219史忠知識(shí)發(fā)現(xiàn)知識(shí)發(fā)現(xiàn)是從數(shù)據(jù)集中抽取和精化新的模式。

知識(shí)發(fā)現(xiàn)的范圍非常廣泛,可以是經(jīng)濟(jì)、工業(yè)、農(nóng)業(yè)、軍事、社會(huì)、商業(yè)、科學(xué)的數(shù)據(jù)或衛(wèi)星觀測(cè)得到的數(shù)據(jù)。數(shù)據(jù)的形態(tài)有數(shù)字、符號(hào)、圖形、圖象、聲音等。數(shù)據(jù)組織方式也各不相同,可以是有結(jié)構(gòu)、半結(jié)構(gòu)、非結(jié)構(gòu)的。知識(shí)發(fā)現(xiàn)的結(jié)果可以表示成各種形式,包括規(guī)則、法則、科學(xué)規(guī)律、方程或概念網(wǎng)。2022/11/2444史忠植Logic知識(shí)發(fā)現(xiàn)知識(shí)發(fā)現(xiàn)是從數(shù)據(jù)集中抽取和精化新的模式。知識(shí)知識(shí)發(fā)現(xiàn)一般說(shuō)，演繹推理的前提蘊(yùn)涵結(jié)論，前提為真，結(jié)論就一定為真。歸納推理的前提與結(jié)論之間不具有這種蘊(yùn)涵關(guān)系，歸納推理的結(jié)論超出了前提的范圍，因而當(dāng)前提為真時(shí)，結(jié)論不一定真。歸納邏輯是關(guān)于或然性推理的邏輯。2022/11/2445史忠植Logic知識(shí)發(fā)現(xiàn)一般說(shuō)，演繹推理的前提蘊(yùn)涵結(jié)論，前提為真，結(jié)論就一定知識(shí)發(fā)現(xiàn)正當(dāng)古典歸納邏輯向前發(fā)展的時(shí)候，18世紀(jì)的英國(guó)哲學(xué)家休謨（D.Hume）對(duì)歸納推理的合理性提出了質(zhì)疑。休謨提出的問(wèn)題是：歸納法具有理性的依據(jù)嗎？如何為歸納法的合理性進(jìn)行辯護(hù)？休謨本人的回答是：為歸納法的合理性進(jìn)行辯護(hù)是不可能的，因此歸納法沒(méi)有合理性，只不過(guò)是人的一種心理本能。2022/11/2446史忠植Logic知識(shí)發(fā)現(xiàn)正當(dāng)古典歸納邏輯向前發(fā)展的時(shí)候，18世紀(jì)的英國(guó)哲學(xué)家知識(shí)發(fā)現(xiàn)1921年，英國(guó)著名的經(jīng)濟(jì)學(xué)家凱恩斯(J.M.Keynes)將概率理論與歸納邏輯相結(jié)合，建立了第一個(gè)概率邏輯系統(tǒng)，這標(biāo)志著現(xiàn)代歸納邏輯的產(chǎn)生。此后，邏輯學(xué)家們紛紛提出各自的歸納邏輯系統(tǒng)。現(xiàn)代歸納邏輯的特點(diǎn)是，第一，把概率概念引進(jìn)歸納邏輯。人們充分認(rèn)識(shí)到歸納推理的或然性，試圖從量上刻畫(huà)這種或然性，很自然地采用了概率概念。現(xiàn)代歸納邏輯的研究幾乎都是結(jié)合概率、統(tǒng)計(jì)理論進(jìn)行的。第二，不再把歸納看作發(fā)現(xiàn)和證明普遍性命題(規(guī)律、定律)的活動(dòng)，而把它看作檢驗(yàn)假說(shuō)的活動(dòng)。歸納法的職能不是發(fā)現(xiàn)全稱命題更不能證明它，歸納法主要是通過(guò)檢驗(yàn)來(lái)決定一個(gè)假說(shuō)是否可被接受。第三，數(shù)理邏輯即現(xiàn)代演繹邏輯的方法對(duì)歸納邏輯的研究產(chǎn)生很大影響，公理化形式化的方法被引入歸納邏輯的研究，產(chǎn)生了許多不同類(lèi)型的形式化的歸納邏輯系統(tǒng)。2022/11/2447史忠植Logic知識(shí)發(fā)現(xiàn)1921年，英國(guó)著名的經(jīng)濟(jì)學(xué)家凱恩斯(J.M.K知識(shí)發(fā)現(xiàn)本世紀(jì)二、三十年代以后，隨著數(shù)學(xué)概率論趨于成熟，概率歸納邏輯得以產(chǎn)生和發(fā)展。概率歸納邏輯是應(yīng)用概率論來(lái)系統(tǒng)地研究和表述或然性推理的。本世紀(jì)七十年代前后，出現(xiàn)了一種非數(shù)學(xué)概率論的歸納邏輯理論，這種理論也被稱為“非帕斯卡概率歸納邏輯”2022/11/2448史忠植Logic知識(shí)發(fā)現(xiàn)本世紀(jì)二、三十年代以后，隨著數(shù)學(xué)概率論趨于成熟，概率知識(shí)發(fā)現(xiàn)經(jīng)驗(yàn)主義概率歸納邏輯邏輯貝葉斯派主觀貝葉斯派條件化歸納邏輯非帕斯卡概率歸納邏輯2022/11/2449史忠植Logic知識(shí)發(fā)現(xiàn)經(jīng)驗(yàn)主義概率歸納邏輯2022/11/2115史忠植語(yǔ)義Web

Ontology

LanguagesKnowledgeRepresentationXMLNamespacesURIUnicodeSignatureEncryptionRulesProofTrust“thestateoftheart”RDFRDFSchemaOWL2022/11/2450史忠植Logic語(yǔ)義WebOntology

LanguagesKnowl

語(yǔ)義網(wǎng)格2022/11/2451史忠植Logic語(yǔ)義網(wǎng)格2022/11/2共享概念模型概念模型（conceptualization）通過(guò)抽象出客觀世界中一些現(xiàn)象（Phenomenon）的相關(guān)概念而得到的模型，其表示的含義獨(dú)立于具體的環(huán)境狀態(tài)明確（explicit）所使用的概念及使用這些概念的約束都有明確的定義形式化（formal）Ontology是計(jì)算機(jī)可讀的。共享（share）Ontology中體現(xiàn)的是共同認(rèn)可的知識(shí)，反映的是相關(guān)領(lǐng)域中公認(rèn)的概念集，它所針對(duì)的是團(tuán)體而不是個(gè)體。2022/11/2452史忠植Logic共享概念模型概念模型（conceptualization）本體OntologyBerners-Lee于2000-12-18在XML2000的會(huì)議上正式提出了語(yǔ)義Web。語(yǔ)義Web的目標(biāo)是使得Web上的信息具有計(jì)算機(jī)可以理解的語(yǔ)義，滿足智能軟件代理(Agent)對(duì)WWW上異構(gòu)和分布信息的有效訪問(wèn)和搜索。Berners-Lee為未來(lái)的Web發(fā)展提出了基于語(yǔ)義的體系結(jié)構(gòu)-語(yǔ)義Web體系結(jié)構(gòu)。該體系中從底層到高層分別為：UNICODE和URI、XML、RDF、Ontology、Logic、Proof、Trust。2022/11/2453史忠植Logic本體OntologyBerners-Lee于2000-12本體Ontology

Berners-Lee于2000-12-18在XML2000的會(huì)議上正式提出了語(yǔ)義Web[24]。語(yǔ)義Web的目標(biāo)是使得Web上的信息具有計(jì)算機(jī)可以理解的語(yǔ)義，滿足智能軟件代理(Agent)對(duì)WWW上異構(gòu)和分布信息的有效訪問(wèn)和搜索。Berners-Lee為未來(lái)的Web發(fā)展提出了基于語(yǔ)義的體系結(jié)構(gòu)-語(yǔ)義Web體系結(jié)構(gòu)。該體系中從底層到高層分別為[25]：UNICODE和URI、XML、RDF、Ontology、Logic、Proof、Trust。2022/11/2454史忠植Logic本體OntologyBerners-Lee于2000-1

動(dòng)態(tài)描述邏輯DDLConceptname：C1,C2,…；Rolename：R1,R2,…；Individualconstant：a,b,c,…；Individualvariable：x,y,z,…；Conceptoperation：,?,?,,；Axiomoperation：,∧,；Action：A1,A2,…；Actionconstraction：；(composition)，?(alternation)，*(repeat)，？(test)；Actionvariable：α,β,…；Axiomvariable：,,π,…；Statevariable：u,v,w,…；

2022/11/2455史忠植Logic動(dòng)態(tài)描述邏輯DDLConceptname：C1,C2,心智社會(huì)(SocietyofMind)WorldAMindMAMindMindMindWorldBMindMBMindMindMindMindMA+BWorldA+BClient2022/11/2456史忠植Logic心智社會(huì)(SocietyofMind)WorldAMi主體基本結(jié)構(gòu)環(huán)境主體感知作用黑箱軟件主體2022/11/2457史忠植Logic主體基本結(jié)構(gòu)環(huán)境主體感知作用黑箱軟件主體2022/11/21智能主體的工作過(guò)程環(huán)境交互信息融合信息處理作用交互感知作用2022/11/2458史忠植Logic智能主體的工作過(guò)程環(huán)境交互信息融合信息處理作用交互感知作用2

反應(yīng)主體環(huán)境當(dāng)前世界傳感器動(dòng)作效應(yīng)器條件-動(dòng)作規(guī)則主體2022/11/2459史忠植Logic反應(yīng)主體環(huán)當(dāng)前世界傳感器動(dòng)作效應(yīng)器條件-動(dòng)作主體2認(rèn)知主體環(huán)境信息融合傳感器動(dòng)作效應(yīng)器主體規(guī)劃知識(shí)庫(kù)目標(biāo)內(nèi)部狀態(tài)2022/11/2460史忠植Logic認(rèn)知主體環(huán)信息融合傳感器動(dòng)作效應(yīng)器主體規(guī)劃知BDI結(jié)構(gòu)知識(shí)信念規(guī)劃意圖目標(biāo)愿望2022/11/2461史忠植Logic