人工智能與知識(shí)工程-知識(shí)表示2

1、12345678910111213141516171819202122232425262728293031323334353637383940(1)自然性：接近于自然語(yǔ)言的形式語(yǔ)言，容易接受自然性：接近于自然語(yǔ)言的形式語(yǔ)言，容易接受和理解。和理解。(2)精確性：謂詞公式真值為二值邏輯，可表示精確精確性：謂詞公式真值為二值邏輯，可表示精確知識(shí)，保證經(jīng)演繹推理所得結(jié)論的精確性。知識(shí)，保證經(jīng)演繹推理所得結(jié)論的精確性。(3)嚴(yán)密性：謂詞邏輯具有嚴(yán)格的形式定義及推理規(guī)嚴(yán)密性：謂詞邏輯具有嚴(yán)格的形式定義及推理規(guī)則，利用這些推理規(guī)則及有關(guān)定理證明技術(shù)，可從已則，利用這些推理規(guī)則及有關(guān)定理證明技術(shù)，可從已知事

2、實(shí)推出新的事實(shí)，或證明作出的假設(shè)。知事實(shí)推出新的事實(shí)，或證明作出的假設(shè)。(4)容易實(shí)現(xiàn)：用謂詞邏輯表示的知識(shí)可以比較容易容易實(shí)現(xiàn)：用謂詞邏輯表示的知識(shí)可以比較容易地轉(zhuǎn)換為計(jì)算機(jī)的內(nèi)部形式，易于模塊化，便于對(duì)知地轉(zhuǎn)換為計(jì)算機(jī)的內(nèi)部形式，易于模塊化，便于對(duì)知識(shí)的增加、刪除及修改。用它表示知識(shí)所進(jìn)行的自然識(shí)的增加、刪除及修改。用它表示知識(shí)所進(jìn)行的自然演繹推理及歸結(jié)演繹推理都易于在計(jì)算機(jī)上實(shí)現(xiàn)。演繹推理及歸結(jié)演繹推理都易于在計(jì)算機(jī)上實(shí)現(xiàn)。41(1)不能揭示不確定性的知識(shí)：謂詞邏輯只能表示精確性的知不能揭示不確定性的知識(shí)：謂詞邏輯只能表示精確性的知識(shí)，不能表示不精確、模糊性的知識(shí)，但人類的知識(shí)大多都識(shí)，

3、不能表示不精確、模糊性的知識(shí)，但人類的知識(shí)大多都不同程度地具有不確定性，這就使得它表示知識(shí)的范圍受到不同程度地具有不確定性，這就使得它表示知識(shí)的范圍受到了限制。了限制。(2)易形成組合爆炸：在其推理過(guò)程中，隨著事實(shí)數(shù)目的增大易形成組合爆炸：在其推理過(guò)程中，隨著事實(shí)數(shù)目的增大及盲目地使用推理規(guī)則，有可能形成組合爆炸。目前，在這及盲目地使用推理規(guī)則，有可能形成組合爆炸。目前，在這一方面做了大量的研究工作，如定義一個(gè)過(guò)程或啟發(fā)式控制一方面做了大量的研究工作，如定義一個(gè)過(guò)程或啟發(fā)式控制策略來(lái)選取合適的規(guī)則。策略來(lái)選取合適的規(guī)則。(3)效率低：用謂詞邏輯表示知識(shí)時(shí)，其推理是根據(jù)形式邏輯效率低：用謂詞邏輯表示知識(shí)時(shí)，其推理是根據(jù)形式邏輯進(jìn)行的，把推理與知識(shí)的語(yǔ)義割裂開來(lái)了，就會(huì)使得推理過(guò)進(jìn)行的，把推理與知識(shí)的語(yǔ)義割裂開來(lái)了，