Fernando Soler Toscano

[ Docencia | Investigación | Publicaciones ]

Datos personales

Dpto. Filosofía, Lógica y Filosofía de la Ciencia. Universidad de Sevilla

fsoler@us.es

C/ Camilo José Cela, s/n

Sevilla, 41018, España

(+34) 954 559 968

Ficha: datos en SISIUS (proyectos y publicaciones, actualización anual)

Fernando Soler Toscano es licenciado en Filosofía e ingeniero técnico en Informática de Sistemas (Premio Fin de Carrera). Realizó su tesis doctoral en Modelos formales de explicación en Lógica e Inteligencia Artificial. Actualmente es Profesor Contratado Doctor en el Departamento de Filosofía, Lógica y Filosofía de la Ciencia de la Universidad de Sevilla, y Profesor-Tutor del Departamento de Inteligencia Artificial de la Universidad Nacional de Educación a Distancia en el Centro Asociado de Sevilla. Su investigación se integra en el Grupo de Lógica, Lenguaje e Información. Es colaborador extranjero del Centro de Filosofia das Ciências da Universidade de Lisboa y miembro honorario de LABORES (Laboratoire de Recherche Scientifique - For the Natural and Digital Sciences).

^ SUBIR

Docencia

Software

The Resolution Game. Learn resolution strategies with this video game
Truth Tables. Construct truth tables and validate them

Actividad docente durante el curso 2011-2012:

Asignaturas impartidas:

Filosofía del Lenguaje (obligatoria 2º Grado, turnos de mañana y tarde, 1er cuatrimestre) [Programa]
Filosofía de la Mente (obligatoria 2º Grado, turno de mañana, 2º cuatimestre) [Programa]

Horario de tutorías:

Primer cuatrimestre: miércoles y viernes de 9 a 12
Segundo cuatrimestre: jueves y viernes de 11 a 14

Enseñanza virtual de la Universidad de Sevilla: http://ev.us.es

^ SUBIR

Investigación

Intereses investigadores

Lógicas no clásicas
Modelos lógicos del razonamiento abductivo
Representación del conocimiento y razonamiento automático
Análisis lógico de protocolos de seguridad
Lingüística computacional

Proyectos de investigación

La dinámica del conocimiento en el ámbito de las ciencias sociales: abducción, intuición e invención (2011-2012)
Interpretaciones Alternativas de Lógicas no Clásicas (2011-2015)
Lógica de protocolos incondicionalmente seguros (2009-2014)
Lógica y lenguaje: ambigüedad en el discurso y elaboración del contexto (2007-2010)
Herramientas computacionales en la implementación de estrategias lógico-lingüísticas para el tratamiento de la ambigüedad en el discurso (2007-2010)
Desarrollo de flujos de trabajo en entornos de colaboración (2008-2009)
Lógica, lenguaje y la unidad de la ciencia (2008-2009)
Lógica y lenguaje: información y representación (2004-2007)

Organización de congresos

TICTTL 2011, Third International Congress on Tools for Teaching Logic, Salamanca, Spain, 1-4 June 2011
LOFT 2012, the 10th Conference on Logic and the Foundations of Game and Decision Theory, Sevilla, Spain, 18-20 June 2012

^ SUBIR

Publicaciones

2012

Fernando Soler Toscano, David Fernández Duque, Ángel Nepomuceno Fernández, "A modal framework for modeling abductive reasoning", Logic Journal of the IGPL, 20(2), pp. 438-444, 2012; doi: 10.1093/jigpal/jzq059
Ignacio Hernández-Antón, Fernando Soler-Toscano and Hans van Ditmarsch, "Unconditionally Secure Protocols with Genetic Algorithms". In Advances in Intelligent and Soft Computing, 2012, Volume 156/2012, 121-128, DOI: 10.1007/978-3-642-28762-6_15.
Hans van Ditmarsch, Jan van Eijck, Ignacio Hernández-Antón, Floor Sietsma, Sunil Simon and Fernando Soler-Toscano, "Modelling Cryptographic Keys in Dynamic Epistemic Logic with DEMO". In Advances in Intelligent and Soft Computing, 2012, Volume 156/2012, 155-162, DOI: 10.1007/978-3-642-28762-6_19.

2011

Fernando Soler-Toscano, "Visualizing Abduction". In Kairos. Revista de Filosofia & Ciência, Volume 3, 39-52, 2011.
Fernando Soler-Toscano, Fernando R. Velázquez-Quesada, "A dynamic-epistemic approach to abductive reasoning". In Logic of Knowledge. Theory and Applications, College Publications, London, 2011. (To appear).
Joost Joosten, Fernando Soler Toscano, Hector Zenil, "Program-size versus Time complexity. Slowdown and speed-up phenomena in the micro-cosmos of small Turing machines", International Journal of Unconventional Computing, Volume 7, Number 5, 2011, pp. 353-387. [preliminary version: arXiv]
Hector Zenil, Fernando Soler Toscano, Joost Joosten, "Empirical Encounters with Computational Irreducibility and Unpredictability", Minds and Machines, Springer, 2011. DOI: 10.1007/s11023-011-9262-y. [preliminary version: arXiv]
Andres Cordon-Franco, Hans van Ditmarsch, David Fernandez-Duque, Joost J. Joosten, Fernando Soler-Toscano, "A secure additive protocol for card players". Submitted to The Australasian Journal of Combinatorics. [preliminary version: arXiv]
Hans P. van Ditmarsch, Fernando Soler-Toscano, "Three Steps". In Computational Logic in Multi-Agent Systems (Proceedings of CLIMA XII), Lecture Notes in Computer Science, Vol. 6814, Springer, 2011.
Patrick Blackburn, Hans P. van Ditmarsch, María Manzano, Fernando Soler Toscano, F. (Eds.), Tools for Teaching Logic, Springer LNAI-FoLLI, 2011, ISBN 978-3-642-21349-6
Michael Albert, Andres Cordon-Franco, Hans van Ditmarsh, David Fernandez-Duque, Joost J Joosten, Fernando Soler-Toscano, Secure Communication of Local States in Interpreted Systems, Advances in Intelligent and Soft Computing, 2011, Volume 91/2011, pp. 117-124, Springer. ISSN: 1867-5662. DOI: 10.1007/978-3-642-19934-9_15.
Ángel Nepomuceno Fernández, Fernando Soler Toscano, Atocha Aliseda Llera, "From Classical Logic to Abductive Logical Systems", en John Symons, Olga Pombo y Juan Manuel Torres (eds.), Otto Neurath and the Unity of Science, Vol. 18 de Logic, Epistemology, and the Unity of Science, Springer 2011, Pag. 201-212.
Joost J. Joosten, Fernando Soler-Toscano, Hector Zenil, "Complejidad descriptiva y computacional en máquinas de Turing pequeñas", en Lógica Universal e Unidade da Ciência, Centro de Filosofia das Ciências da Universidade de Lisboa, 2011, pp. 11-32, ISBN: 978-989-8247-49-0 [preliminary version: arXiv]

2010

Ángel Nepomuceno Fernández, Fernando Soler Toscano, "Validez y contexto inferencial", en Identidad y diferencia: La Filosofía y la Ciencia, Siglo XXI, 2010, pp. 60-73. ISBN: 978-607-03-0231-2
Ignacio Hernández Antón, Fernando Soler Toscano, "Algoritmos genéticos para generación de protocolos incondicionalmente seguros", en Liber Amicorum Ángel Nepomuceno. Homenaje en su sexagésimo cumpleaños, Fénix Editora, 2010 [PDF]
Fernando Soler Toscano, "Consistencia y relevancia en el razonamiento abductivo", en Liber Amicorum Ángel Nepomuceno. Homenaje en su sexagésimo cumpleaños, Fénix Editora, 2010 [PDF]
Francisco Salguero Lamillar, Fernando Soler Toscano, "Resolución abductiva de anáforas pronominales", en David Fernández, Emilio Gómez-Caminero, Ignacio Hernández (editores), Estudios de Lógica, Lenguaje y Epistemología. IV Jornadas Ibéricas, Fénix Editora, 2010 [PDF]
Michael Albert, Andres Cordon-Franco, Hans van Ditmarsh, David Fernandez-Duque, Joost J Joosten, Fernando Soler-Toscano, "Secure communication of local states in multi-agent systems", Logics in Security, ESSLLI 2010 [PDF]
Fernando Soler-Toscano, Fernando R. Velázquez-Quesada, "Abduction for (non-omniscient) agents", Proceedings of The Multi-Agent Logics, Languages, and Organisations Federated Workshops (MALLOW 2010), CEUR Vol-627 (ISSN: 1613-0073) [PDF]
Joost Joosten, Fernando Soler Toscano, Hector Zenil, "Descriptional versus Computational Complexity. Slowdown and speed-up phenomena in the micro-cosmos of small Turing machines", 3rd International Workshop on Physics and Computation [PDF]

2009

Fernando Soler Toscano, Ignacio Hernández Antón, "Aproximación modal a la inferencia de nuevas teorías". Actas del VI Congreso de la Sociedad de Lógica, Metodología y Filosofía de la Ciencia en España. Valencia. 2009. Pag. 123-127. ISBN: 978-84-370-7655-3 [PDF]
Fernando Soler Toscano, Ángel Nepomuceno Fernández, Atocha Aliseda Llera, "Abduction via C-tableaux and d-resolution". Journal of Applied Non-Classical Logics. 2009. Vol. 19(2). Pag. 211-225. [PDF]
Fernando Soler Toscano, "Abductive reasoning through d-resolution". En Jean-Yves Béziau, Alexandre Costa-Leite (editores), Dimensions of Logical Concepts. Coleção CLE, volume 54, UNICAMP, Campinas, Brazil, 2009. ISBN: 978-85-86497-05-6 [PDF]
Ángel Nepomuceno Fernández, Fernando Soler Toscano, "Constructing inferential contexts (abstract)". The Bulletin of Symbolic Logic, vol 15(3), 2009. [PDF]
Ángel Nepomuceno Fernández, Fernando Soler Toscano, "Defining inferential contexts: deduction and abduction". En W. A. Carnielli et el. (editores), The Many Sides of Logic. Series "Studies in Logic", College Publications, London, 2009. ISBN: 978-1-904987-78-9 [PDF]

2008

Fernando Soler Toscano, Ángel Nepomuceno Fernández, "Abducción en modelos finitos". Crítica, Revista Hispanoamericana de Filosofía. 2008. Pag. 57-78. [PDF]
Fernando Soler Toscano, Ángel Nepomuceno Fernández, "Deducción y abducción". Teorema. Vol. XXVII. Núm. 1. 2008. Pag. 5-16 [PDF]
Ángel Nepomuceno Fernández, Fernando Soler Toscano, "Constructing Inferential Contexts (extended abstract)". CLE e-Prints. Vol. 8. Núm. 6. 2008 [PDF]

2007

Ángel Nepomuceno Fernández, Fernando Soler Toscano, "Metamodelling abduction". Theoria. Vol. 22. Núm. 60. 2007. Pag. 285-293 [PDF]
Francisco Jose Salguero Lamillar, Angel Nepomuceno Fernandez, Fernando Soler Toscano (editores), Lógica, Filosofía del Lenguaje y de la Lógica. Mergablum, Sevilla, 2007. ISBN: 9788496378353 [Preámbulo]
Fernando Soler Toscano, "Criterios de selección de hipótesis explicativas". En Francisco Salguero Lamillar et al. (editores), Lógica, Filosofía del Lenguaje y de la Lógica. Mergablum. 2007. Pag. 203-217. ISBN: 9788496378353 [PDF]
Fernando Soler Toscano, "Emilio Díaz Estévez: in memoriam". Boletín SLMFCE. Núm. 43. 2007. Pag. 13-14 [PDF]

2006

Fernando Soler Toscano, Ángel Nepomuceno Fernández, Atocha Aliseda Llera, "Model-based abduction via dual resolution". Logic Journal of the IGPL. Vol. 14. Núm. 2. 2006. Pag. 305-319. [PDF]
Fernando Soler Toscano, Ángel Nepomuceno Fernández, "Tarfa: Tableaux and resolution for finite abduction". Lecture Notes in Computer Science. Vol. 4160. 2006. Pag. 511-514. [PDF]
Ángel Nepomuceno Fernández, Francisco José Salguero Lamillar, Fernando Soler Toscano, "Deducción y generación de modelos de cardinalidad finita". En Una perspectiva de la IA en su 50 aniversario. Vol. 2. 2006. Pag. 588-599. ISBN: 84-689-9560-6 [PDF]
Fernando Soler Toscano, Angel Nepomuceno Fernandez, Atocha Aliseda Llera, Araceli Liliana Reyes Cabello, "Razonamiento abductivo en modelos finitos mediante C-tablas y d-resolución." En Una perspectiva de la IA en su 50 aniversario. Vol. 2. 2006. Pag. 699-711. ISBN: 84-689-9560-6 [PDF]

2005

Fernando Soler Toscano, Modelos formales de explicación en Lógica e Inteligencia Artificial. Tesis doctoral. Universidad de Sevilla. 2005. ISBN: 9788469109311. [PDF]
Fernando Soler Toscano, "Programación de gramáticas clausales en Prolog". En Ángel Nepomuceno Fernández et al. (editores), Estudios de lógica y lenguaje. Sevilla, Mergablum. 2005. Pag. 91-111. ISBN: 8496378268 [PDF]
Ángel Nepomuceno Fernández, Fernando Soler Toscano, Francisco José Salguero Lamillar (editores), Estudios de lógica y lenguaje. Sevilla, Mergablum. 2005. ISBN: 8496378268 [Preámbulo]
Fernando Soler Toscano, "Razonamiento por defecto mediante d-resolución". En Axel A. Barceló et al. (editores), Representación y Logicidad. Sevilla, Fenix Editorial. 2005. Pag. 85-112. ISBN: 84-609-7872-9 [PDF]

2004

Fernando Soler Toscano, Ángel Nepomuceno Fernández, "Abducción y Tablas Semánticas: Algunas Extensiones". En Actas del IV Congreso de la Sociedad de Lógica, Metodología y Filosofía de la Ciencia en España. Valladolid. 2004. Pag. 396-399. ISBN: 84-688-8448-0 [PDF]
Ángel Nepomuceno Fernández, Francisco José Salguero Lamillar, Fernando Soler Toscano (editores), Bases biológicas, lingüísticas, lógicas y computacionales para la conceptualización de la mente. Sevilla. Mergablum. 2004. ISBN: 84-96378-04-7 [Preámbulo]

2003

Fernando Soler Toscano, "Representative functions for infinite semantic tableaux". En Volume of abstracts. 12th International Congress of Logic, Methodology and Philosophy of Science. Oviedo, España. 2003. Pag. 134-134. [PDF]