Tugurium/GTI

Glosario Terminología Informática

predicate calculus

0 cálculo de predicados
Representación del conocimiento basado en la lógica de predicados, frente a la lógica de proposiciones. Un predicado expresa una relación entre objetos que son los argumentos del predicado.
2001-03-26