Mostrar el registro sencillo del ítem
Tesis Doctoral
Modelos formales de explicación en Lógica e inteligencia artificial
dc.contributor.advisor | Nepomuceno Fernández, Ángel | es |
dc.creator | Soler Toscano, Fernando | es |
dc.date.accessioned | 2014-11-27T11:45:08Z | |
dc.date.available | 2014-11-27T11:45:08Z | |
dc.date.issued | 2005 | es |
dc.identifier.citation | Soler Toscano, F. (2005). Modelos formales de explicación en Lógica e inteligencia artificial. (Tesis Doctoral Inédita). Universidad de Sevilla, Sevilla. | |
dc.identifier.uri | http://hdl.handle.net/11441/15131 | |
dc.description.abstract | 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 consecuencia lógica de T, se trata de buscar una explicación E (una fórmula) tal que O sea consecuencia lóg ica de la unión de T y E. El razonamiento abductivo, que no puede ser reducido a deducción, plantea interesantes problemas que van más allá de los aspectos lógicos, como la distinción entre las concepciones de "abducción como producto" y "abducción como proceso" o los diferentes estadios de "generación" y "selección" de las hipótesis explicativas. El razonamiento abductivo encuentra aplicaciones en numerosas disciplinas, desde la Inteligencia Artificial a la Lingüística, pasando por las Ciencias Cognitivas o la Filosofía de la Ciencia. | es |
dc.format | application/pdf | es |
dc.language.iso | spa | es |
dc.rights | Atribución-NoComercial-SinDerivadas 4.0 España | |
dc.rights.uri | http://creativecommons.org/licenses/by-nc-nd/4.0/ | |
dc.subject | Lógica | es |
dc.subject | Inteligencia artificial | es |
dc.title | Modelos formales de explicación en Lógica e inteligencia artificial | es |
dc.type | info:eu-repo/semantics/doctoralThesis | es |
dcterms.identifier | https://ror.org/03yxnpp24 | |
dc.rights.accessRights | info:eu-repo/semantics/openAccess | |
dc.contributor.affiliation | Universidad de Sevilla. Departamento de Filosofía y Lógica y Filosofía de la Ciencia | es |
idus.format.extent | 324 p. | es |
dc.identifier.idus | https://idus.us.es/xmlui/handle/11441/15131 |
Ficheros | Tamaño | Formato | Ver | Descripción |
---|---|---|---|---|
Original_X_TD_FA-104.pdf | 1.075Mb | [PDF] | Ver/ | |