Buscar
Mostrando ítems 1-9 de 9
Tesis Doctoral
Un entorno para la experimentación virtual con modelos computacionales basados en sistemas P
(2015-02-02)
** Introducción Desde el principio de los tiempos, el Hombre se ha visto abocado a resolver problemas. En un principio problemas muy concretos, como huir de un peligro inminente, buscar un alimento en un momento dado o ...
Tesis Doctoral
Hacia una concepción generalizada de la abducción, su modelización en lógicas no clásicas y su implementación en herramientas informáticas
(2016-07-15)
Comenzamos esbozando de modo informal una propuesta muy general del concepto de abducción, señalando cuáles son los caracteres esenciales de este tipo de inferencia y qué otros rasgos que tradicionalmente se le han impuesto ...
Tesis Doctoral
Formalización en Isar de la metalógica de primer orden
(2012-06-12)
El objetivo del trabajo es formalizar razonamiento complejo de forma legible por los humanos y procesable por las máquinas. Más precisamente, formalizar en el sistema de razonamiento Isabelle/HOL/Isar la metateoría de la ...
Tesis Doctoral
Modeling and simulation of real-life phenomena in membrane computing
(2013-10-11)
This document is structured in three parts, whose content is briefly outlined below. Part I: Preliminaries Chapter I familiarizes the reader with the basics of Natural Computing, introducing some classical models in ...
Tesis Doctoral
Aplicaciones de la racionalidad acotada al razonamiento cualitativo sobre sistemas complejos
(2014)
En un trabajo clásico de 1973, los investigadores Horst W. J. Rittel y Melvin M. Webber introducen, dentro del campo de la planificación social, el concepto de problema retorcido. Un problema de este tipo es difícil o ...
Tesis Doctoral
Desarrollo y aplicaciones de un entorno de programación para computación celular: P-Lingua
(2010-06-24)
La presente memoria está estructurada en tres partes que constan de un total de siete capítulos cuyos contenidos se describen sucintamente a continuación. Parte I: Preliminares La memoria comienza con un breve recorrido ...
Tesis Doctoral
Tesis Doctoral
Semilinear order property and infinite games
(2016-01-22)
En este trabajo se analiza la determinación de juegos de Lipschitz y Wadge, junto con la propiedad de ordenación semilineal, estrechamente relacionada con estos juegos, en el contexto de la Aritmética de segundo orden y ...
Tesis Doctoral
Developing effcient simulators for cell machines
(2016-02-02)
Membrane Computing, introduced by Gh. Paun at the end of 1998, is a relatively young branch of Natural Computing providing non-deterministic distributed parallel computing models whose computational devices are called membrane ...