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. NOŢIUNI GENERALE
 a) PROPOZIŢIE
– exprimarea unor idei despre însuşirile diferitelor
obiecte sau cauzele diferitelor evenimente
– TIPURI: cognitive, interogative, imperative...
– VALOARE DE ADEVĂR:
 Adevărată (A), Falsă (F), Nesigură (?)
 b) FORME LOGICE:
– Ierarhic: noţiune, propoziţie, inferenţă
– forma logică a unei propoziţii declarative
afirmative : S este P (S=subiect, P=predicat)
 c) PRINCIPIILE LOGICII
– Principiul identităţii
– Principiul noncontradicţiei
– Principiul terţului exclus
– Principiul raţiunii suficiente
 d) PROPOZIŢII CATEGORICE:
– Universale - afirmative/negative
 Toţi 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. PROPOZIŢII COMPUSE
 Aplicarea unui operator: unar – pe o propoziţie,
binar – intre doua propozitii simple
Operator Tabel de adevar (1=A, 0=F)
 Negaţia p 1 0
(non), (p, ~p) ~p 0 1

 Conjuncţia q p 1 0
(p  q, p&q) 1 1 0
(şi) 0 0 0
 Disjuncţia q p 1 0
(p  q, pq) 1 1 1
(ori, sau) 0 1 0

 Implicaţia q p 1 0
(p  q) 1 1 1
(dacă...atunci...) 0 0 1
 Disjuncţia q p 1 0
exclusivă
(pq) 1 0 1
(sau...sau...) 0 1 0

 Echivalenţa q p 1 0
(p  q, p≡q) 1 1 0
(dacă şi numai 0 0 1
dacă…atunci…)
 4.3. INFERENŢA LOGICA
 STRUCT. 2 prop. premize – 1 prop. concluzie

 Modus (p  q) q
ponens p

 Modus (p  q) ~p
tollens ~q

 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 cunostinţe
 nivel factual
 nivel conceptual
 nivel de metacunoştinţe

b) sistemul rezolutiv
“masina de inferenta”
c) sistemul explicativ

d) sistemul de comunicare
– interfaţa cu utilizatorul

e) sistemul metarezolutiv
– adecvarea şi validarea rezultatelor
 5.2. Baza de cunoştinţe
 exprimare prin propozitii
 se poate extinde
 conţine:
 cunoştinţe generale
 cunoştinţe din experienţa clinică
 formalizează cunoştinţele medicale
 se poate autocompleta (inteligenta artificiala)
 5.3. Sistemul rezolutiv


conduce interogatoriul

dirijează sistemul cognitiv

supervizează sistemul expert
 5.4. Sistemul explicativ
 explicaţii - utile in procesul
didactic
 apropiere de limbajul natural

5.5. Verificarea SE

 variaţia datelor de intrare

 5.6. SE medicale
 MYCIN: infecţii bacteriene
 PUFF: boli pulmonare
 HEADMED: neuro–psihiatrie
 CASNET: oftalmologie
 VM: ‘ventilator monitor’
 INTERNIST: medicină internă
 SE independente de domeniu
 TROPICAID
 6. Măsurarea calităţii
clasificatorului
- confruntare cu realitatea
- Separat pentru fiecare boala
 clasificator
(B+) (B-)
K+ K-
B+ 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

acurateţea 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
Sfârşit