Inteligenţă artificială 6 Reprezentarea cunoaşterii

Formule bine formate

Logica predicatelor

• Sunt numeroase cazurile în care un enunţ depinde de mai multe argumente

• De exemplu, în propoziţia „Socrate este om”, avem de-a face cu o clasă, cea a oamenilor, şi cu un obiect care are proprietăţile corespunzătoare clasei

• În această situaţie, avem de-a face cu un predicat

• Instanţa „Socrate” face predicatul „om” adevărat:

• Afirmaţie: Socrate este om.
• Reprezentare: om(Socrate)

Cuantificatori

Cuantificatori

Logica predicativă şi limbajul natural

• În limbajul natural, multe propoziţii sunt ambigue şi pentru ele există mai multe moduri de reprezentare

• Reprezentările simple sunt preferabile, însă pot face imposibile unele tipuri de raţionament

•