7 found
Sort by:
Disambiguations:
Ricardo Rodriguez [5]Ricardo O. Rodriguez [2]
See also:
Profile: Ricardo Oscar Rodriguez (Universidad de Buenos Aires (UBA))
  1. Raúl Carnota & Ricardo Rodríguez (2011). AGM Theory and Artificial Intelligence. In Erik J. Olson Sebastian Enqvist (ed.), Belief Revision Meets Philosophy of Science. Springer. 1--42.
    No categories
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  2. Xavier Caicedo & Ricardo O. Rodriguez (2010). Standard Gödel Modal Logics. Studia Logica 94 (2):189 - 214.
    We prove strong completeness of the □-version and the ◊-version of a Gödel modal logic based on Kripke models where propositions at each world and the accessibility relation are both infinitely valued in the standard Gödel algebra [0,1]. Some asymmetries are revealed: validity in the first logic is reducible to the class of frames having two-valued accessibility relation and this logic does not enjoy the finite model property, while validity in the second logic requires truly fuzzy accessibility relations and this (...)
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  3. Martha Garza, Claudia Moreno, Ricardo Rodríguez, Daniel Zermeño & José Luis Abreu (2009). Estrategias de Ahorro de Energía En Administraciones Municipales Encaminadas a Contribuir Al Desarrollo Sustentable*(Strategies of Energy Saving in Municipal Administrations Oriented to Contribute with Sustaining Development). Daena 4 (2):243-277.
    No categories
    Translate to English
    | Direct download  
     
    My bibliography  
     
    Export citation  
  4. Lluís Godo & Ricardo O. Rodríguez (2008). Logical Approaches to Fuzzy Similarity-Based Reasoning: An Overview. In Giacomo Della Riccia, Didier Dubois & Hans-Joachim Lenz (eds.), Preferences and Similarities. Springer. 75--128.
    No categories
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  5. Raúl Carnota & Ricardo Rodríguez (2006). Carlos Alchourrón y la Inteligencia Artificial. Análisis Filosófico 26 (1):9-52.
    Las investigaciones que Carlos Alchourrón desarrolló en la Filosofía del Derecho se vincularon, desde inicios de la década de 1980, con problemáticas críticas de la Inteligencia Artificial . Su contribución a la construcción de una lógica de las normas se conectó rápidamente con la deducción automática y los Sistemas Expertos Jurídicos. Su preocupación por la cuestión de los conflictos de obligaciones que pueden plantearse en un sistema normativo cuando el juez se enfrenta a la necesidad de emitir un veredicto considerando (...)
    No categories
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  6. Eduardo Fermé & Ricardo Rodríguez (2006). DFT and Belief Revision. Análisis Filosófico 26 (2):373-393.
    Alchourrón devoted his last years to the analysis of the notion of defeasible conditionalization. He developed a formal system capturing the essentials of this notion. His definition of the defeasible conditional is given in terms of strict implication operator and a modal operator f which is interpreted as a revision function at the language level. In this paper, we will point out that this underlying revision function is more general than the well known AGM revision [4]. In addition, we will (...)
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  7. Eduardo Fermé & Ricardo Rodriguez (1998). Semi-Contraction: Axioms and Construction. Notre Dame Journal of Formal Logic 39 (3):332-345.
    Semi-contraction is a withdrawal operation defined by Fermé in "On the logic of theory change: Contraction without recovery." In this paper we propose: (1) an axiomatic characterization of semi-contraction; (2) an alternative construction for semi-contraction based on semi-saturatable sets, inspired by Levi's saturatable sets; (3) a special kind of semi-contraction that satisfies the Lindström and Rabinowicz interpolation thesis.
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation