53202

nowych zadań i nowych warunków życia.

Ze sztuczną inteligencją wiąże się jedynie określony sposób zachowań systemu bez względu na rodzaj urządzenia i charakter przemian energetycznych związanych z tym zachowaniem. Może być to system: techniczny, biologiczny,

ekonomiczny, polityczny lub inny.

Sztuczna inteligencja (Artificial Inteligence -Al):

1)    własność systemu pozwalająca na uznanie, że system zachowuje się jak istota inteligentna.

2)    dziedzina nauki zajmująca się algorytmami

inteligentnych zachowań.

3)    nauka o algorytmach tworzenia i przetwarzania algorytmów.

7. Stale logiczne rachunku zdań (ich znaczenie).

Rachunek zdań (logika zdań, teoria zdań, teoria dedukcji, logika dwuwartościowa) -zajmuje się związkami między zdaniowymi w odniesieniu do zdań złożonych.

Stałe logiczne (funktory): -    negacja

a    koniunkcja

v    alternatywa

-»    implikacja

s równoważność

Przemienność: aAb= bAa avb = b v a Łączność:

(a a b) a c = a a (b a c)

(a v b) v c = a v (b v c)

Rozdzielność:

aA(bvc)=(aAb)v(aAC)

av(bAC)=(avb)A(a

vc)

8.    Co to jest tautologia? Przykłady inne niż prawa de Morgana.

Tautologia - zdanie złożone, które jest zawsze prawdziwe niezależnie od tego czy zdania składowe są prawdą czy fałszem ~(p a ~p) zasada sprzeczności ~p v pzasada wyłącznego środka (~p -> p) prawo Claviusa [(p -> q) a p] -»q

modus poneus [(p r q) a ~q] -> ~p modus lollens (P -> (d -» 0] -> [q -> (p -»r)j prawo komutacji [(p a q) -»r] -> [p -> (q -> r)j prawo eksportacjl [P -»(q -> 0] -> [(p a q)

—»r] prawo importacji

9.    Prawa de Morgana rachunku zdań oraz rachunku kwantyfikalorów.

Prawa de Morgana

rachunku zdań

~(P v q) =(~p a ~q) oraz ~(P a q) = (~p v

~q)

Prawa de Morgana

rachunku kwantyfikatorów ~a F(x) ■ v ~F(x) oraz ~v F(x) = a ~F(x) x x x x

10. Definicja sekwencji oraz podstawowe twierdzenie rachunku Gentzena.

Rachunek Gentzena -

jest to zmodyfikowana formalizacja rachunku kwantyfikatorów, przydatna w automatyzacji procesu dowodzenia twierdzeń rachunku kwantyfikatorów. Sekwencja <S,T> -uporządkowana para zbioru formuł S i T, gdzie

S={si, s₂.....s„} a T={ti,

fc, ...t,„)

Sekw. <S,T> to implikacja: s,as_!a... a Sr, —> tl V t? V ... V tm

Oznaczamy ją

następująco: Si, S2.....s„

h ti, t₂, ...U Jeżeli zbiory S.T zawierają wspólny element, to sekwencja <S,T> jest twierdzeniem, a zatem zdaniem zawsze prawdziwym (tautologią).