UNIVERSITATEA DE MEDICINA SI

FARMACIE Victor Babe

TIMISOARA
DISCIPLINA DE
INFORMATICA MEDICALA
www.medinfo.umft.ro/dim

CURSUL 12

Decizia medical
asistat de calculator
II

4. ELEMENTE
DE
LOGIC

4.1. NOIUNI GENERALE

a) PROPOZIIE
exprimarea unor idei despre nsuirile diferitelor
obiecte sau cauzele diferitelor evenimente
TIPURI: cognitive, interogative, imperative...
VALOARE DE ADEVR:

Adevrat (A), Fals (F), Nesigur (?)

b) FORME LOGICE:
Ierarhic: noiune, propoziie, inferen
forma logic a unei propoziii declarative
afirmative : S este P (S=subiect, P=predicat)

c) PRINCIPIILE LOGICII

Principiul identitii
Principiul noncontradiciei
Principiul terului exclus
Principiul raiunii suficiente

d) PROPOZIII CATEGORICE:
Universale - afirmative/negative

Toi S sunt P. Nici un S nu este P.

Particulare - afirmative, negative

Unii S sunt P. Unii S nu sunt P.

Singulare

(se trateaza la fel ca cele universale, dar multimea

are un singur element)

4.2. PROPOZIII COMPUSE

Aplicarea unui operator: unar pe o propoziie,

binar intre doua propozitii simple
Operator
Tabel de adevar
(1=A, 0=F)
Negaia p
1
0
(non), ( p, ~p)
~p
0
1
Conjuncia
(p q, p&q)
(i) 0
0

q
1
0

p
1

1
0

Disjuncia
q
(p q, p q) 1
(ori, sau)
0

p
1
1

1
1
0

Implicaia
q
(p q) 1
1
(dac...atunci...)

p
1
0

Disjuncia
exclusiv
(p q)
1
(sau...sau...)

Echivalena
(p q, pq)
(dac i numai

q
0
0
q

dacatunci)

1
0

1
1

p
1
0

1
0
1

4.3. INFERENA LOGICA

STRUCT. 2 prop. premize 1 prop. concluzie

Modus (p q)
ponens
p

Modus (p q)
tollens ~ q

~p

Silogismul

(p q)

(p r)

(q r)

4.4. Aplicatie a
inferentei logice

[4.5. LIMBAJUL PROLOG]

domains
person, activity = symbol
predicates
likes (person, activity)
clauses
likes (ellen, tennis)
likes (tom, baseball)
likes (bill, X) if likes (tom, X)
RUN: goal: likes (bill, baseball)
TRUE

5. Metode euristice
sisteme expert
5.1. Structura sistemelor
expert

a) sistemul cognitiv
- baza de cunostine
nivel

factual
nivel conceptual
nivel de metacunotine

b) sistemul rezolutiv
masina de inferenta

c) sistemul explicativ
d) sistemul de comunicare
interfaa cu utilizatorul

e) sistemul metarezolutiv
adecvarea i validarea rezultatelor

5.2. Baza de cunotine

exprimare prin propozitii

se poate extinde
conine:
cunotine generale
cunotine din experiena clinic

formalizeaz cunotinele medicale

se poate autocompleta (inteligenta artificiala)

5.3. Sistemul rezolutiv

conduce interogatoriul
dirijeaz sistemul cognitiv
supervizeaz sistemul expert

5.4. Sistemul explicativ

explicaii - utile in procesul
didactic
apropiere de limbajul natural

5.5. Verificarea SE

variaia datelor de intrare

5.6. SE medicale
MYCIN: infecii bacteriene
PUFF: boli pulmonare
HEADMED: neuropsihiatrie
CASNET: oftalmologie
VM: ventilator monitor
INTERNIST: medicin intern
SE independente de domeniu
TROPICAID

6. Msurarea calitii
clasificatorului
-

confruntare cu realitatea
Separat pentru fiecare boala

clasificator
(B+) (B-)
K+ KB+ N11 N12 L1
real
B- N21 N22 L2
C1 C 2 N

6.1. TERMENI
Real pozitivi RP = N11
Fals negativi FN = N12
Fals pozitivi FP = N21
Real negativi RN = N22

6.2. INDICATORI
sensibilitatea capacitate incl.in K+ a B+
SN = p(K+/B+) = N11/L1
specificitatea capacitate excl.din K+ a B(si includere in K-)
SP = p(K-/B-) = N22/L2

valoare predictiva pozitiva

VPP = p(B+/K+) = N11/C1
valoare predictiva negativa
VPN = p(B-/K-) = N22/C2
acurateea AC =(N11+N22)/N
rata erorii de clasificare
RE = (N12+ N21)/N

Valoare prag

6.3. Curba ROC SN = f(1 SP)

Receiver Operator Characteristic
SN si SP variaza invers proportional

Sfrit