3.3 Teoria de la demostració - La Salle

SESSIÓ 12: Representació del
coneixement
FITXA DE LA SESSIÓ
Nom: Representació del coneixement
Tipus: teòrica
Format: no presencial
Durada: 3 hores
Treball a lliurar: no
PRECEDENTS
A les sessions anteriors hem estudiat el llenguatge del CP0 i les tècniques de
demostració.
OBJECTIUS
Aprendre a utilitzar el llenguatge del CP0 per representar coneixement expressat en
llenguatge natural o matemàtic.
CONTINGUTS
2.5 Representació del coneixement
2.5.1 Representació del coneixement
Des d’un punt de vista formal una lògica pot ser considerada com un llenguatge i un
sistema deductiu. Amb el llenguatge representarem la informació (el coneixement) i
després amb el sistema deductiu podrem raonar. Així, és fonamental representar el
coneixement. A continuació caracteritzem els tipus de proposicions que podem trobar
en llenguatge natural i donem les possibles representacions utilitzant àtoms i
connectors.
Proposicions d’acció, d’atribució de propietats i de
relació.
Plou, Fa fred, Estem a l’hivern, En Joan és enginyer, i La Maria és estudiosa són
proposicions que poden ser representades mitjançant un àtom.
Proposicions com En Joan és amic d’en Pep i La Maria té una pilota, també seran
representades amb un àtom ja que el llenguatge del CP0 no és suficientment
expressiu per poder expressar que dos objectes estan relacionats.
45