symbolic inference inferencia simbólica

Creator:	FRANCISCO MARTÍNEZ CARRENO
Language pair:	inglés al español
Discipline:	-
Definition / notes:	Deducción de nuevos hechos a partir de hechos conocidos utilizando las reglas de inferencia. Esta es una de las operaciones fundamentales de la inteligencia artificial y de los lenguajes de programación lógica como es el caso de Prolog.
URL:	-