W3.PDF

Metody sztucznej inteligencji

– wyklad 3

(dla studentow Wydzialu MT Politechniki

Slaskiej

- na prawach rekopisu)

18.03.2002

Rachunek zdan: Skladnia

1. Symbole:

•stale True, False

•symbole zdanioweP,Q,...

•laczniki (spojniki) logiczne^,_,,,)(operatory dwuargu-

mentowe)

•operator jednoargumentowy¬

•nawiasy (,)

Rachunek zdan: Skladnia

2. Reguly tworzenia zdan:

•stale True, False sa zdaniami

•symbol zdaniowyP,Q,...jest zdaniem

•zdanie otoczone nawiasami jest zdaniem, np. (P)

•zdanie zanegowane jest zdaniem, np.¬P

•zdania mo zna budowac, laczac inne zdania

spojnikami logicznymi^,_,,,)

Rachunek zdan: Gramatyka BNF

Zdanie!ZdanieAtomowe|ZdanieZlozone (1)

ZdanieAtomowe! True | False (2)

|P|Q|R|... (3)

ZdanieZlozone!(Zdanie)

(4)

|ZdanieSpojnikZdanie (5)

|¬Zdanie (6)

Spojnik!^|_|,|) (7)

Priorytet operatorow:¬,^,_,),,

Rachunek zdan: Semantyka

1. Znaczenie zdan:

•Symbol zdaniowy mo ze oznaczac jakikolwiek fakt

•Znaczenie zdania zlo zonego wyprowadza sie ze znaczen jego

czesci skladowych