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, s2.....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, t2, ...U Jeżeli zbiory S.T zawierają wspólny element, to sekwencja <S,T> jest twierdzeniem, a zatem zdaniem zawsze prawdziwym (tautologią).
Wyszukiwarka
Podobne podstrony:
grupa II a Egzamin ze Sztucznej Inteligencji - Grupa IIZadl: Narysuj Neuron McCullocha-Pittsa z wejś
grupa IV a Egzamin ze Sztucznej Inteligencji - Grupa IV Zadl: Narysuj Neuron McCullocha-Pittsa z wej
26 Wiktor Bross - chirurg i uczony tematów były trudne warunki życia ze względu na niskie płace. Kon
grupa III a Egzamin ze Sztucznej Inteligencji - Grupa 111Zadl: Narysuj Neuron McCullocha-Pittsa * we
86598 IMAGE7 jednak najczęściej są kojarzone ze sztuczną inteligencją, a ściślej z komputerowymi me
KIF53 Rozwiązania zadań kontrolnych 1.1 (ZJ Nieprawda, że jeżeli inteligencja jest zaletą, to
Mechanika2 Sztuczna inteligencja zajmuje się zagadnieniami tworzenia i rozwoju właściwości maszyn t
Drzewo życia5 że mimo to ukazuje się ona jako względnie spójny system, a nie luźny zbiór wierzeń i
1.2 Fundamenty sztucznej inteligencji Sztuczna inteligencja opiera się na dorobku wielu dziedzin nau
kulturowe, społeczne, polityczne i pedagogiczne. Historyczne warunki sprawiły że o jednych narodach
więcej podobnych podstron