10
1 و. ض انعهيى عى انسح فتح- [email protected] صطناعيء الذكـــــــا ا المعرفــــــة تمثيلاضيلمنطق الريلمعرفة با تمثيل ا: - - - true or false : - - - -

تمثيل المعرفة تقنيات البحث

Embed Size (px)

Citation preview

1

[email protected] فتح انسحًٍ عىض انعهيى . و

الذكـــــــاء اإلصطناعي

تمثيل المعرفــــــة

:تمثيل المعرفة بالمنطق الرياضي

-

-

-

true or

false

:

-

-

-

-

2

[email protected] فتح انسحًٍ عىض انعهيى . و

true

-

-

false

-

-

IF

-

Predicatecat animal

constant

A,B,X

functions

variablea,b,x

connectiveΛ V

3

[email protected] فتح انسحًٍ عىض انعهيى . و

Argument1 ,…, Argument npredicate _ name

Argument

- Artificial intelligence is a computer course انركاء االصطناعي يقسز حاسىب

COMPUTER_COURSE(Artificial INTELLIGENCE)

- Cat is animal ٌانقظ حيىا

ANIMAL(Cat)

Easy come easy go - يا يكسة تسهىنح يضيع تسهىنح

COME(easy),GO(easy)

- Ahmed mother is married to Ahmed father او احًد يتزوجح يٍ اتى احًد

MARRIED(mother,(AHMED),father,(AHMED)(

(predicate)

(Argument)

4

[email protected] فتح انسحًٍ عىض انعهيى . و

meaningالمعنى symbolالرمز

for all: انكم

يىجد :exist (ال)اننفي : not

Λ (و)انحصس : and

V (او)انشًىل : or

then : (اذًا)انشسط →

Gt ٍاكثسي:

Lt ٍاقم ي:

Ge اكثساويساوي :

Le اقم او يساوي:

equal:= يساوي =

If animal gives milk it is a mammal إذا كاٌ انحيىاٌ يعطي حهيثا إذا انحيىاٌ يٍ ذواخ انثدي

ANIMAL(give(milk),MAMMAL(ANIMAL))

X ت animal

Y ت Milk

Z ت mammal

1.

2.(x Λ y) (z Λ x)

5

[email protected] فتح انسحًٍ عىض انعهيى . و

x y Z x Λ y z Λ x x Λ y z Λx

T

T

T

T

T

T

F

F

T

F

T

F

T

T

F

F

T

F

T

F

T

F

F

F

Cat is an animal

Dog is an animal

Dogcatcher is a human

Animal has 4 legs

Person is human

Animal(cat)

Cat(has(4 legs))

Person(dogcatcher)

¬Animal(dogcatcher)

6

[email protected] فتح انسحًٍ عىض انعهيى . و

XY

nodes

edges

7

[email protected] فتح انسحًٍ عىض انعهيى . و

(: Search tree) شجرة البحث – 2

انًدينح انًنىزج

8

[email protected] فتح انسحًٍ عىض انعهيى . و

Path

Paths

states

initial state

successor Function

9

[email protected] فتح انسحًٍ عىض انعهيى . و

goal test

Path cost

blind search

10

[email protected] فتح انسحًٍ عىض انعهيى . و

A A A

B C B C B C

FIFO