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

Google Scholar
DBLP account
Ficha SISIUS de proyectos y publicaciones (hasta 2010).

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 del grupo Algorithmic Nature.

Human Randomness Perception and Generation Experiment

Help science and behave randomly!
This experiment investigates how humans produce and perceive randomness.
In all, it should not take more than 5 minutes of your time.

¡Actúa aleatoriamente y ayuda a la ciencia!
Este experimento investiga cómo los humanos producimos y percibimos sucesos aleatorios.
En total, no durará más de 5 minutos.

^ SUBIR

Docencia

Software

Syntactic trees. Introduce a propositional formula and build its syntactic tree
Truth Tables. Construct truth tables and validate them

Vídeos docentes

Lógica Epistémica Dinámica [Lenguaje y semántica | Ejemplos | Puzle]

Actividad docente durante el curso 2012-2013:

Asignaturas y cursos impartidos:

Lógica y Usos, (UNEDCOMA, 19 de marzo a 30 de abril de 2013)
Filosofía del Lenguaje (troncal 3º Licenciatura, en extinción, sólo examen) [Programa 10-11 | Proyecto docente]
Filosofía de la Mente (obligatoria 2º Grado, turnos de mañana y tarde, 2º cuatimestre) [Programa]
Lógica (obligatoria 2º Grado, turno de tarde, 2º cuatimestre) [Programa]
Lógica Filosófica (optativa de Máster, 2º cuatimestre) [Programa]

Horario de tutorías:

Miércoles de 9 a 13
Jueves de 8 a 10

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

^ SUBIR

Investigación

Intereses investigadores

Lógica filosófica
Epistemología formal
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

Epistemic protocol synthesis (2012-2014, Investigador principal). PostDoc vacancy! (view)
Gestión de contenidos para el acceso a Fuerzas y Cuerpos de Seguridad (2012, Investigador principal)
Conciencia, Lógica y Computación (2012-2014)
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, Investigador principal)
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

2013

Andres Cordon-Franco, Hans van Ditmarsch, David Fernandez-Duque, Fernando Soler-Toscano, "A colouring protocol for the generalized Russian cards problem", Theoretical Computer Science (2013), DOI: 10.1016/j.tcs.2013.05.010 [Preliminary version: arXiv:1207.5216]
Ángel Nepomuceno-Fernández, Fernando Soler-Toscano, Fernando R. Velázquez-Quesada, "An epistemic and dynamic approach to abductive reasoning: selecting the best explanation", Logic Journal of the IGPL (2013), doi: 10.1093/jigpal/jzt013.
Fernando Soler-Toscano, Hector Zenil, Kolmogorov Complexity of 3×3 and 4×4 Squares, Wolfram Demonstrations Project, 2013
Andres Cordon-Franco, Hans van Ditmarsch, David Fernandez-Duque, Fernando Soler-Toscano, "A geometric protocol for cryptography with cards". [arXiv:1301.4289]
Hector Zenil, Fernando Soler-Toscano, Jean-Paul Delahaye and Nicolas Gauvrit, Methods and Applications of Kolmogorov Complexity, Springer-Verlag, forthcoming.
Fernando Soler-Toscano, Hector Zenil, Jean-Paul Delahaye, and Nicolas Gauvrit, Small Turing Machines with Halting State: Enumeration and Running on a Blank Tape, Wolfram Demonstrations Project, 2013

2012

Fernando Soler-Toscano, Hector Zenil, Jean-Paul Delahaye and Nicolas Gauvrit, "Calculating Kolmogorov Complexity from the Output Frequency Distributions of Small Turing Machines". [arXiv:1211.1302]
Fernando Soler-Toscano, Hector Zenil, Jean-Paul Delahaye and Nicolas Gauvrit, "Correspondence and Independence of Numerical Evaluations of Algorithmic Information Measures". [arXiv:1211.4891]
Hector Zenil, Fernando Soler-Toscano, Jean-Paul Delahaye and Nicolas Gauvrit, "Two-Dimensional Kolmogorov Complexity and Validation of the Coding Theorem Method by Compressibility". [arXiv:1212.6745]
Fernando Soler-Toscano, Hector Zenil, Jean-Paul Delahaye and Nicolas Gauvrit, The Online Algorithmic Complexity Calculator.
Joost Joosten, Fernando Soler-Toscano, Hector Zenil, Speedup and Slowdown Phenomena in Turing Machines, Wolfram Demonstrations Project, 2012
Fernando Soler-Toscano, Razonamiento abductivo en lógica clásica. Londres, College Publications. [Índice e introducción | Amazon UK | Amazon US]
Andres Cordon-Franco, Hans van Ditmarsch, David Fernandez-Duque, Joost J. Joosten, Fernando Soler-Toscano, "A secure additive protocol for card players". The Australasian Journal of Combinatorics, Volume 54 (2012), 163-175. [preliminary version: arXiv:1111.0156]
Fernando Soler Toscano, "Internet y la difusión de conocimiento libre", Acontecimiento, nº 105, 57-60. [PDF]
Hector Zenil, Fernando Soler Toscano, Joost Joosten, "Empirical Encounters with Computational Irreducibility and Unpredictability", Minds and Machines, Volume 22, Number 3 (2012), 149-165. DOI: 10.1007/s11023-011-9262-y. [preliminary version: arXiv:1104.3421]
Ángel Nepomuceno-Fernández, Fernando Soler-Toscano, Fernando R. Velázquez-Quesada, "Dinámica de la información en agentes no omniscientes". En Ensayos sobre lógica, lenguaje, mente y ciencia, Alfar, 2012. [Versión preliminar]
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, 2012, pp. 47-78. ISBN: 978-1-84890-074-5 [PDF]
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.
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:1102.5389v1]
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:1010.1328]

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]