Page 29 - 人工智慧導論_試閱_課本PDF

第2章 知識及知識表示

Ǻ ̙˸ً͜࿒٤ගʕٙ࿁൥ڌͪٝᗆʕٙ࿁൥f

ǻ ̙˸ً͜࿒٤ගʕًٙ࿒ڌͪٝᗆʕٙԫྼf
Ǽ ̙˸ً͜࿒٤ගʕٙਗЪڌͪٝᗆʕٙ஝ۆf

ǽ ̙˸ً͜࿒٤ගڌͪٝᗆʕٙ௅ʱʩٝᗆdνߒҼ׌ٝᗆf
ȅ ڌͪᔊఊe׸׵Դ͜jً͜࿒٤ග˙جڌͪٝᗆೌሞ݊࿁൥eԫྼe஝ۆேܘ

ᔊఊdΪϤ׸׵౛౥Դ͜f
2. ً࿒٤ග˙جڌͪٝᗆɰπίɓ֛ٙʔԑd˴ࠅ݊j

ቇΥ׵ٝᗆᐏ՟ʕٙฤరഄଫdೌجڌͪልᕏٙٝᗆjً࿒٤ග˙جڌͪͦۃ
˴ࠅᏐ͜׵ٝᗆᐏ՟ʕٙฤరഄଫdΝ̴ࣛٙٝᗆڌͪഐ࿴ᔊఊdቇ͜׵ɓছ
ٝᗆ᜗ӻٙڌͪd࿁ልᕏٝᗆٙڌͪϞɓ֛ٙᗭܓf

2-4 謂詞邏輯表示法

ፗ൚ᜌ፨ڌͪجમ͜ᅰଣᜌ፨ʕٙୌ໮ᜌ፨ڌͪٝᗆٙ˙جdவ݊ɓ၇Պۨٙ
ୌ໮˴່ٝᗆڌͪجd̴ঐڌͪٝᗆʕٙ࿁൥eԫྼe஝ۆʿʩٝᗆf

2-4.1 謂詞邏輯表示的基本概念

一 個體
ࡈ᜗݊܄ᝈ˰ޢʕٙπίٙዹͭي᜗d̴݊ፗ൚ᜌ፨ʕٙ௰ਿ͉ఊЗdν

1,2,3,nഃІ್ᅰiੵɧeҽ̬nഃࡈɛf̴̙͜ a,b,cix,y,z ഃڌͪfࡈ᜗Ϟᜊඎ
ၾ੬ඎʘʱdࡈ᜗ᜊᅰϞᜊʷᇍఖ၈މࡈ᜗ਹf

二 函數與項

ࡈ᜗̙˸ᔷ౬ϓ̤ɓࡈ᜗dவ၇ᔷ౬၈މՌᅰdՌᅰ̙͜ fegeh ഃڌͪfνࡈ
᜗ x ̙ஷཀՌᅰ f ᔷ౬ϓࡈ᜗ yd̴̙ڌͪމjy = f(x)fϾࡈ᜗ʿ͟Ռᅰה͛ϓٙࡈ

᜗୕၈މධfΪϤධɰ݊ࡈ᜗d̴݊ɓ၇ࡈ᜗ٙᓒ̂f

三 謂詞
ፗ൚ڌͪࡈ᜗ʘගٙᗫڷfԷν̃Ҕᗫڷ̙͜ P(x,y) ڌͪdՉʕd P ڌͪፗ൚˜̃

Ҕ™dx,y ݊ࡈ᜗ᜊᅰdՉࡈ᜗ਹމ˜ɛ™ٙණΥfፗ൚݊Ϟ࠽ٙd̴אމ T€ڌͪ
ॆٙdאމ F€ڌͪ৿ٙfί̃Ҕᗫڷʕdν x,y ʱйމੵஉeੵډiϤࣛν؈
˼ࡁމ̃ҔdۆϞ P( ੵஉdੵډ ) = Tiνʔމ̃ҔۆϞ P( ੵஉdੵډ )=Ffፗ൚
ʕසϞɓࡈࡈ᜗၈މɓʩፗ൚iϞՇࡈࡈ᜗၈މɚʩፗ൚fપϾᄿʘdϞ n ࡈࡈ᜗

29