Buscar
Mostrando ítems 21-26 de 26
Libro
Información : tratamiento y representación
(Universidad de Sevilla, 2001)
Tesis Doctoral
Tablas semánticas para lógica epistémica
(2011)
El término lógica epistémica puede ser entendido en dos sentidos. En el sentido más amplio, incluye el análisis tanto del concepto de conocimiento como del más débil concepto de creencia. Esta es la forma en que se usa en ...
Artículo
Metamodeling abduction
(Universidad del País Vasco, 2007)
Abduction can be intended as a special kind of deductive consequence. In fact a general trend is to consider it as a backward deduction with some additional conditions. However, there can be more than one kind of deduction, ...
Tesis Doctoral
Modelos formales de explicación en Lógica e inteligencia artificial
(2005)
La abducción es el tipo de razonamiento en que, dada una teoría T (habitualmente un conjunto de fórmulas del lenguaje con el que se trabaje) y una observación O (generalmente una fórmula), tales que ni O ni su negación son ...
Artículo
Programas moleculares y sistemas lógico-formales
(De Gruyter, 2012)
Presentamos una ejemplificación de la relación entre sistemas formales y programas moleculares de un modelo de computación molecular. Para ello, se asocia un sistema lógico-formal, mediante una lógica pura de segundo orden, ...
Artículo
Modelos de razonamiento abductivo
(Universidad de Málaga, 2005)