JavaScript is disabled for your browser. Some features of this site may not work without it.

    Listar

    Todo RIUMAComunidades & ColeccionesPor fecha de publicaciónAutoresTítulosMateriasTipo de publicaciónCentrosDepartamentos/InstitutosEditoresEsta colecciónPor fecha de publicaciónAutoresTítulosMateriasTipo de publicaciónCentrosDepartamentos/InstitutosEditores

    Mi cuenta

    AccederRegistro

    Estadísticas

    Ver Estadísticas de uso

    DE INTERÉS

    Datos de investigaciónReglamento de ciencia abierta de la UMAPolítica de RIUMAPolitica de datos de investigación en RIUMAOpen Policy Finder (antes Sherpa-Romeo)Dulcinea
    Preguntas frecuentesManual de usoContacto/Sugerencias
    Ver ítem 
    •   RIUMA Principal
    • Investigación
    • Ponencias, Comunicaciones a congresos y Pósteres
    • Ver ítem
    •   RIUMA Principal
    • Investigación
    • Ponencias, Comunicaciones a congresos y Pósteres
    • Ver ítem

    A formal model for explicit knowledge as awareness of plus awareness that

    • Autor
      Velázquez Quesada, Fernando Raymundo; Fernández-Fernández, ClaudiaAutoridad Universidad de Málaga
    • Fecha
      2018-10-29
    • Palabras clave
      Lógica epistémica
    • Resumen
      Since the problem of logical omniscience was identified, several proposals have tried to model the knowledge of ‘real’ agents with limited reasoning abilities. One of the most important proposals, awareness logic, relies on the concept of awareness in order to distinguish what the agent ‘truly’ knows and what she could get out of it. Still, the notion of awareness can be interpreted in different ways: it can be understood as what the agent simply entertains, without having any attitude in favour or against (awareness of), but also as what she has consciously recognised as true (awareness that). A previous proposal introduced a combination of these two possible interpretations at a conceptual level. This presentation proposes a formal framework (a semantic model and a language to describe it) that captures these two interpretations of the notion of awareness, as well as the epistemic notions that arise from their combination, such as implicit knowledge, explicit knowledge or justification. The framework provides tools not only for understanding the notions’ subtle interaction, but also for representing some of the different epistemic actions (deductive inference, changes in awareness, external communication) that affect them.
    • URI
      https://hdl.handle.net/10630/16721
    • Compartir
      RefworksMendeley
    Mostrar el registro completo del ítem
    Ficheros
    Claudia-Fernandez-and-Fernando-R-Velazquez-presentacion-MBR-Sevilla.pdf (959.3Kb)
    Colecciones
    • Ponencias, Comunicaciones a congresos y Pósteres

    Estadísticas

    Buscar en Dimension
    REPOSITORIO INSTITUCIONAL UNIVERSIDAD DE MÁLAGA
    REPOSITORIO INSTITUCIONAL UNIVERSIDAD DE MÁLAGA
     

     

    REPOSITORIO INSTITUCIONAL UNIVERSIDAD DE MÁLAGA
    REPOSITORIO INSTITUCIONAL UNIVERSIDAD DE MÁLAGA