Seminar 3

Semantica LP
Definiie. O funcie S : A B se numete asignare.
Teorema de extensie. Pentru fiecare asignare S exist o unic extensie a acesteia, S : LP B
(numit structur sau interpretare), care satisface:
(i) S(A) = S(A), pentru fiecare A A.
(ii) S( F) = S' (F) , pentru fiecare F LP.
(iii) S(F1 F2) = S(F1) S(F2), pentru fiecare F1, F2 LP.
(iv) S(F1 F2) = S(F1) + S(F2), pentru fiecare F1, F2 LP.

Exerciii
1. Scriei tabelele de adevr ale funciilor booleene (negaia), + (adunarea boolean sau
disjuncia), (produsul boolean sau conjuncia) i (implicaia).
2. Fie F = A \/ B /\ C
a) Determinati o structur S astfel nct S(F) = 1
b) Determinati o structur S astfel nct S(F) = 0
Definiii.
F LP este satisfiabil dac exist mcar o structur S pentru care S(F) = 1
F LP este valid (tautologie) dac pentru orice structur S, S(F) = 1
F LP este nesatisfiabil (contradicie) dac pentru orice structur S, S(F) = 0
Notaii:
S F (S este model pentru F) daca S(F) = 1

S F (S nu este model pentru F) daca S(F) = 0

Forme normale n LP
Definiii.
Se numete literal o variabil propoziional sau negaia sa.
A A se numete literal pozitiv.
O formul de forma A, A A se numete literal negativ.
Dac L este un literal, atunci complementarul su, , va nota literalul A, dac L este un
literal pozitiv, i respectiv literalul A dac L este negativ.
Definiii.
O clauz este o disjuncie de literali.
O formul F LP se afl n form normal conjunctiv (FNC) dac este o conjuncie
de disjuncii de literali, adic o conjuncie de clauze. Simbolic:
m

ni

i=1

j1

F ( Li,j )

Analog se definete noiunea de form normal disjunctiv (FND), ca o disjuncie de

conjuncii de literali.

Exerciiu
S se determine FND i FNC pentru formula:

Clauze i formule Horn

O clauz Horn este o disjuncie de literali care conine cel mult un literal pozitiv.
O formul Horn este o conjuncie de clauze Horn.

Scrierea implicaional

Algoritmul Horn
Atenie! Studiai ntreg algoritmul aa cum este el prezentat la curs. Aici este doar un rezumat
care s v ajute s l nelegei i s l aplicai n exerciii.
1. Se verific dac formula este n FNC prin identificarea clauzelor din care este compus.
2. Se aduce fiecare clauz n forma implicaional i se verific dac este formul Horn.
3. Deoarece implicaia este 0 doar cnd
, vom proceda iterativ la a marca variabilele
din formul cu scopul de a gsi o asignare pentru care formula s fie satisfiabil.
4. Rspunsul este
a. NU, dac am reuit s construim o clauz de tipul
b. DA, n orice alt caz, i n plus o asignare pentru care S(F) = 1 este dat de:
S(Ai) = 1, dac variabila Ai a fost marcat i
S(Ai) = 0, n caz contrar

Exerciiu
S se aplice algoritmul Horn formulei:
a) ( A D ) ( C A D ) ( A B ) D E
b) ( B D) E C B ( B D)
c) (A \/ B) /\ (B \/ C) /\ (A \/ D \/ B)