Extras din seminar
Consecinte logice:
Definitie: Daca F1,..,Fn,G sunt f.b.f., si daca pentru orice interpretare I pentru care F1^F2^...^Fn este adevarata, atunci G este adevarata atunci se spune ca G este o consecinta logica a lui F1,...,Fn, iar F1,..., Fn sunt axiome pentru G.
Teorema1: G este o consecinta logica a lui F1,..,Fn daca si numai daca formula F1^...^Fn->G este valida.
Teorema2: G este o consecinta logica a lui F1,..,Fn daca si numai daca formula F1^...^Fn ^ ~G este inconsistenta.
Problema1:
Fie F1: P->Q
F2: ~Q
G: ~P
Sa se demonstreze ca: G este o consecinta logica a lui F1 si F2.
Indicatie: Din T1 => F1^F2->G - valida sau din T2 => F1^F2^~G - inconsistenta.
Problema2:
Se dau:
P = Parlamentul refuza sa actioneze.
Q = Greva s-a terminat.
R = Directorul firmei demisioneaza.
S = Greva continua de mai mult de un an.
F1 : Daca parlamentul refuza sa actioneze atunci directorul firmai demisioneaza si greva continua mai mult de un an.
F2 : Parlamentul refuza sa actioneze.
F3 : Greva nu s-a terminat.
Se cere:
i) sa se transpuna în formule F1, F2 si F3;
ii) sa se demonstreze ca F3 este o consecinta logica a lui F1 ^ F2 ^ F3.
Tema 1
Sa se construiasca o problema în stilul problemei 2, sa se transpuna apoi în formule si sa se rezolve.
Se cunosc:
N = se formeaza numarul;
T = telefonul suna;
L = linie ocupata;
A = abonatul raspunde;
M = linie ocupata pe timpul convorbirii.
F1 : Se formeaza numarul, telefonul suna sau linie ocupata.
F2 : Telefonul suna, abonatul raspunde, linia este ocupata pe timpul convorbirii.
F3 : Daca linia nu e ocupata telefonul suna.
F1 F2 F3
T L A M N N’T N’TÚL T’A T’A’M ~L ~L’T
1 0 1 1 0 1 1 1 1 1 1
1 1 0 0 1 1 1 0 1 0 1
0 0 1 1 1 0 0 1 1 1 0
0 1 0 0 0 1 1 1 0 0 1
Preview document
Conținut arhivă zip
- probl inteligenta-rezolvate pentru prolog.doc
- Laborator_07.DOC
- Laborator_06.doc
- Laborator_05.DOC
- Laborator_04.DOC
- Laborator_03_anexa.doc
- Laborator_03.doc
- Laborator_02.doc
- Laborator_01.DOC
Alții au mai descărcat și
Capitolul 1 Introducere 1.1 Concepte de baza Când s-a vorbit prima data de Inteligenţa Artificială (AI – Artificial Intelligence) în 1956, totul...
I. Obiective 1 De ce utilizarea tehnicilor de IA sunt importante? Inteligenţa artificială este un domeniu important din punct de vedere economic,...
In cadrul Inteligentei Artificiale, problemele de invatare, ocupa un loc aparte. Aceste preocupari se constituie intr-o directie distincta de...
1. ASPECTE GENERALE PRIVIND DOMENIUL INTELIGENTEI ARTIFICIALE Inteligenta artificiala (IA) s-a nascut în urma cu aproximativ 45 de ani, ca domeniu...
1. STUDIU COMPARATIV PRIVIND UTILIZAREA TEHNOLOGIILOR INFORMATICE ÎN CADRUL ÎNTREPRINDERILOR DIN ROMÂNIA. PARTICULARIZARE PE DOMENIUL AUDITULUI...
1. Introducere Tot mai larga circulaţie de care se bucură termenul de "inteligenţă artificială" este pe deplin justificată: devine din ce în ce în...
Inteligenţa artificială 1• Concepte de baza Inteligenţa Artificială poate fi definită ca simularea inteligenţei umane procesată de maşini, în...
Te-ar putea interesa și
I. Arhitectura calculatoarelor 1. Scurt istoric Momentul iniţial al istoriei calculatoarelor este, de obicei legat de numele matematicianului...
In domeniul programarii calculatoarelor este cunoscuta urmatoarea clasificare a limbajelor de programare: limbaje algoritmice (PASCAL, FORTRAN,...
1) Introducere Inteligenta Artificiala 1.1 Ce este inteligenta artificiala? Inteligenţa artificială (IA) este inteligenta maşinii şi ramură a...
INTRODUCERE Obiectul inteligenţei artificiale este obţinerea de artefacte care să se comporte inteligent, similar unui om. Câteva exemple...
1. Prezentati sumar domeniile care au contribuit la fundamentarea inteligentei artificiale si enuntati criteriile care diferentiaza programele de...
Cap. 1 PROLOG - Programare Logică (rezumat) 1.1 Introducere Diverse limbaje de programare integrează raţionamentul logic printre care şi Prolog...
În domeniul inteligenţei artificiale fac parte: - Sisteme expert; - Sisteme fuzzy; - Algoritmi genetici; - Agenţi inteligenţi; - Reţele...