Browsing by Subject "Knowledge representation"

Now showing 1 - 5 of 5
  • Thumbnail Image
    Publication
    Embargo
    A sound and complete fuzzy temporal constraint logic
    (Institute of Electrical and Electronics Engineers, 2006-02) Cárdenas Viedma, María Antonia; Ingeniería de la Información y las Comunicaciones
    In this work, we define an extended fuzzy temporal constraint logic (EFTCL) based on possibilistic logic. EFTCL alto,vs us to handle fuzzy ten1poral constraints between temporal variables and, therefore, enables us to express interrelated events through fuzzy temporal constraints. EFTCL is compatible ,vith a theoretical te111poral reasoning model: the fuzzy tem­poral constraint networks (FTCN). The syntax, the se1nantics and the de­duction and refutation theorems for EFTCL are similar to those defined for the sound and noncom¡>lete fuzzy temporal constraint logic (FTCL). In this paper, a resolutio11 principie for performing inferences which take tl1ese constraints into account is proposed tor EFTCL. Moreover, we prove the soundness and the completeness of the refutation by resolution in EFTCL.
  • Thumbnail Image
    Publication
    Open Access
    Una experiencia de representación del conocimiento en Educación Infantil mediante el uso de Redes Asociativas Pathfinder
    (Universidad de Murcia, Servicio de Publicaciones, 2013) Casas García, Luis; Luengo González, Ricardo; Canchado Boza, Maikel; Torres Carvalho, José Luis
    El presente trabajo tiene como objetivo mostrar una experiencia con alumnos de Educación Infantil de aplicación de una técnica de representación del conocimiento: las Redes Asociativas Pathfinder. Mediante esta técnica se obtienen representaciones gráficas de la estructura cognitiva de los alumnos, a partir de la similaridad entre los conceptos implicados en una determinada área. Para ello hemos utilizado el software experimental GOLUCA, que permite obtener datos, crear las representaciones gráficas, señalar los conceptos más importantes y evaluar de forma numérica su complejidad y coherencia. La experiencia se ha llevado a cabo con un grupo de 23 alumnos de entre 5 y 6 años de edad, y ha permitido representar su estructura cognitiva antes y después de la instrucción, en el campo de conocimiento de los "Medios de comunicación". Consideramos que por su facilidad de uso el software empleado permite el acceso al conocimiento de la estructura cognitiva de alumnos de muy corta edad o con limitadas capacidades cognitivas, y resulta un interesante auxiliar para la investigación en el área.
  • Thumbnail Image
    Publication
    Open Access
    Grafos de conocimiento y bases de datos en grafo: conceptos fundamentales a partir de una “obra maestra” del Museo del Prado
    (EPI SCP, 2019) Saorín Pérez, Tomás; Información y Documentación
    Se presentan los conceptos básicos sobre bases de datos en grafo y grafos de conocimiento, a partir del estudio de caso del modelo semántico digital del Museo del Prado, y el impacto en el rediseño de su sitio web, centrado en el acceso enriquecido a su colección y recursos vinculados, y metadatos para el descubrimiento de contenidos.
  • Thumbnail Image
    Publication
    Open Access
    PROLogic: a fuzzy temporal constraint prolog
    (Academic Publications, 2019) Cárdenas Viedma, María Antonia; Galindo Navarro, F. M.; Ingeniería de la Información y las Comunicaciones
    In this paper we present PROLogic, a logic programming language based on a formal first-order fuzzy temporal logic: FTCLogic. FTCLogic integrates the advantages of a formal system (a first-order logic based on Possibilistic Logic) and an efficient mechanism with which to reason about time: the Fuzzy Temporal Constraints Networks or FTCN. PROLogic, therefore, is a Fuzzy Temporal PROLOG, which is implemented in Haskell.
  • Thumbnail Image
    Publication
    Open Access
    Semantic enrichment of clinical models towards semantic interoperability. The heart failure summary use case
    (Oxford University Press, 2015-02-10) Martínez Costa, Catalina; Cornet, Ronald; Karlsson, Daniel; Schulz, Stefan; Kalra, Dipak; Informática y Sistemas
    Objective: To improve semantic interoperability of electronic health records (EHRs) by ontology-based mediation across syntactically heterogeneous representations of the same or similar clinical information. Materials and Methods: Our approach is based on a semantic layer that consists of: (1) a set of ontologies supported by (2) a set of semantic patterns. The first aspect of the semantic layer helps standardize the clinical information modeling task and the second shields modelers from the complexity of ontology modeling. We applied this approach to heterogeneous representations of an excerpt of a heart failure summary. Results: Using a set of finite top-level patterns to derive semantic patterns, we demonstrate that those patterns, or compositions thereof, can be used to represent information from clinical models. Homogeneous querying of the same or similar information, when represented according to heterogeneous clinical models, is feasible. Discussion: Our approach focuses on the meaning embedded in EHRs, regardless of their structure. This complex task requires a clear ontological commitment (ie, agreement to consistently use the shared vocabulary within some context), together with formalization rules. These requirements are supported by semantic patterns. Other potential uses of this approach, such as clinical models validation, require further investigation. Conclusion We show how an ontology-based representation of a clinical summary, guided by semantic patterns, allows homogeneous querying of heterogeneous information structures. Whether there are a finite number of top-level patterns is an open question.