12 found
Order:
Disambiguations
Ángel Nepomuceno-Fernández [13]A. Nepomuceno-Fernandez [1]
  1.  7
    An Epistemic and Dynamic Approach to Abductive Reasoning: Abductive Problem and Abductive Solution.Fernando R. Velázquez-Quesada, Fernando Soler-Toscano & Ángel Nepomuceno-Fernández - 2013 - Journal of Applied Logic 11 (4):505-522.
  2.  9
    An Epistemic and Dynamic Approach to Abductive Reasoning: Selecting the Best Explanation.A. Nepomuceno-Fernandez, F. Soler-Toscano & F. R. Velazquez-Quesada - 2013 - Logic Journal of the IGPL 21 (6):943-961.
  3. Metamodeling Abduction.Ángel Nepomuceno-Fernández & Fernando Soler-Toscano - 2007 - Theoria: Revista de Teoría, Historia y Fundamentos de la Ciencia 22 (3):285-293.
    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, so that any definition of abduction must take that into account. From a logical perspec-tive the problem is precisely the formalization of conditions when the deductive consequence is fixed. In this paper, we adopt Makinson’s method to define new consequence relations, hence abduction (...)
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  4.  4
    A Modal Framework For Modelling Abductive Reasoning.Fernando Soler-Toscano, David Fernández=Duque & Ángel Nepomuceno-fernández - 2012 - Logic Journal of the IGPL 20 (2):438-444.
    We present a framework for understanding abduction within modal logic and Kripke semantics; worlds of a Kripke frame will represent possible theories, and a change in theory will be understood as a passage from one world to an adjacent possible world. Further, these steps may agree with the accessibility relation or may ‘backtrack’, accordingly as new information refutes or reinforces our present theory. Our formalism can be used to model not only abduction, but also to talk about the inner structure (...)
    Direct download  
     
    Export citation  
     
    Bookmark   4 citations  
  5.  6
    Giro dinámico y lógica de la investigación científica.María Victoria Murillo-Corchado & Ángel Nepomuceno-Fernández - 2019 - Revista de Humanidades de Valparaíso 13:68-89.
    Para presentar la incidencia del giro dinámico en la lógica de la investigación científica, en este artículo comenzamos con una sección que trata de los juegos lógicos como desencadenantes de este giro dinámico en la lógica contemporánea, junto con el programa de dinámica lógica de la información y la interacción. Sucintamente presentamos las principales características de la lógica favorable a la independencia y la semántica juego-teórica, de la lógica dialógica, así como los elementos esenciales de dicho programa. Si bien a (...)
    No categories
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  6.  7
    Model-Baded Abduction Via Dual Resolution.Fernando Soler-Toscano, Ángel Nepomuceno-fernández & Atocha Aliseda-Llera - 2006 - Logic Journal of the IGPL 14 (2):305-319.
    This papers presents δ-resolution, a dual resolution calculus. It is based on standard resolution, and used appropriate formulae equivalent to disjunctive normal forms, instead of conjunctive normal ones, as it is the case for resolution. This duality is then useful to create a calculus for abductive process, as a way to construct a set of abductive solutions. The proposed calculus is compared to semantic tableaux, an standard logical framework, aslo illuminating when studying abduction.δ-resolution calculus is a contribution to logic programming, (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  7. On Atocha Aliseda Abductive Reasoning.Atocha Aliseda, Johan van Benthem, Lorenzo Magnani, Angel Nepomuceno-Fernandez, Fernando Soler Toscano, Joke Meheus, Dagmar Provijn, John Woods, Silvio Pinto & Ilkka Niiniluoto - 2007 - Theoria 22 (60).
  8.  5
    Tableaux for Structural Abduction.Ángel Nepomuceno-fernández, Francisco Salguero-Lamillar & David Fernández-Duque - 2012 - Logic Journal of the IGPL 20 (2):388-399.
    In this work, we shall study structural abduction and how ways of searching for solutions to the corresponding abductive problems could be modeled. Specifically, we shall define modal semantic tableaux for normal modal systems and study its applications to structural abduction. This method even makes structural abduction clearer and, as it shall be seen, when a radical change of logic is epistemologically required, the corresponding tableau will have pertinent information to suggest it.
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  9.  2
    Dynamic turn and logic of scientific research.María Victoria Murillo-Corchado & Ángel Nepomuceno-Fernández - 2019 - Humanities Journal of Valparaiso 13:68-89.
    In order to present the incidence of the dynamic turn in the logic of scientific research, we begin with a section, in this article, that deals with logical games as triggers of this dynamic turn in contemporary logic, together with the program of logical dynamics of information and interaction. We briefly introduce the main characteristics of the logic favorable to independence and the game-theoretical semantics, of dialogical logic, as well as the essential elements of this program. Although from any of (...)
    No categories
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  10.  30
    Abduction Via C-Tableaux and Δ-Resolution.Fernando Soler-Toscano, Ángel Nepomuceno-Fernández & Atocha Aliseda-Llera - 2009 - Journal of Applied Non-Classical Logics 19 (2):211-225.
    The formalization of abductive reasoning has received increasing attention from logicians. However, few work is found beyond abduction in propositional logic, given that in a first order formalism, the undecidability problem naturally appears, and therefore an abductive problem cannot even be appropriately formulated. Still, many applications in artificial intelligence allow finite domains to work with, and this gives an opportunity to apply abduction in first order logic with restricted domains. In this paper, we present an approach to abductive reasoning in (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  11.  5
    Scientific Explanation and Modified Semantic Tableaux.Angel Nepomuceno-Fernandez - 2002 - In L. Magnani, N. J. Nersessian & C. Pizzi (eds.), Logical and Computational Aspects of Model-Based Reasoning. Kluwer Academic Publishers. pp. 181--198.
    Direct download  
     
    Export citation  
     
    Bookmark  
  12.  2
    Model-Based Reasoning in Science and Technology: Inferential Models for Logic, Language, Cognition and Computation.Matthieu Fontaine, Cristina Barés-Gómez, Francisco Salguero-Lamillar, Lorenzo Magnani & Ángel Nepomuceno-Fernández (eds.) - 2019 - Springer Verlag.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark