Familia de formalismos que permiten explicitar o coñecemento nun dominio de aplicación por medio da definición dos conceptos relevantes e da especificación de propiedades dos obxectos e individuos.
Categoría Gramatical:
locución substantiva feminina (axencia de seguros)
Información complementaria:
A lóxica descritiva foi deseñada a partir das redes semánticas e os sistemas marco, equipándoos cunha semántica formal baseada na lóxica. Trátase dunha especialización da lóxica de primeira orde.
Ver tamén:
lóxica de primeira orde
