papel de la programacion logica segun McCarthy
Definición
-
La programación lógica aísla un subdominio de la lógica de primer orden con agradables propiedades computacionales. Cuando los hechos pasan a ser descriptos como un programa lógico, los problemas pueden frecuentemente ser resueltos por un programa típico, esto es, por un intérprete de Prolog, usando entonces dichos hechos como programa. Desgraciadamente, en general los hechos referidos a un dominio y los problemas que nos gustaría ver resueltos por computación tienen solo raramente la forma adecuada.
- siguiente: contrafácticos útiles segun McCarthy
- previo: expresión declarativa de la heurística segun McCarthy
3.nov.2000
Pulsar tecla de vuelta
Glosario de Bioingeniería del Conocimiento - Carlos von der Becke
- siguiente: contrafácticos útiles segun McCarthy