Diacronia i neologia: canvi semàntic, subjectivació i representació del pensament. El català esmar, des de ‘taxar’ fins a ‘inferir’ i ‘imaginar’ i més enllà

L’estudi de la neologia és indestriable de l’estudi del canvi lingüístic i, doncs, de la diacronia. Ens proposem ací descriure el procés de canvi semàntic que va experimentar el verb esmar, forma patrimonial del llatí *adaestimare, paral·lela del cultisme estimar. Aquesta recerca es fonamenta en l’aprofitament dels corpus textuals i altres materials despullats manualment. Sobre aquests materials, s’ha assajat l’anàlisi de la subjectivació i de les inferències que proposa la teoria de la inferència invitada del canvi semàntic (= TIICS).

Las terminologías de enfermería y su representación en SNOMED CT

En los sistemas de información, y en concreto en las historias clínicas electrónicas, las terminologías actúan como una forma de entrada y de almacenamiento de datos estandarizados. Las terminologías normalizadas de enfermería (NANDA, NIC y NOC) son importantes y necesarias para fijar la práctica, hacer explícito el papel jugado por estos profesionales en el sistema sanitario y determinar el coste de los servicios realizados. Sin embargo, no son suficientes para compartir la información y reutilizar los datos entre distintos sistemas. En este artículo se realiza una breve descripción y análisis de las tres terminologías normalizadas en enfermería de uso más común. Se exponen las actuales limitaciones para compartir la información de los datos de enfermería en los sistemas informatizados. Por último, se muestran las opciones que ofrece la interconexión con SNOMED CT para superar estos obstáculos y facilitar la interoperabilidad semántica, así como las posibilidades de inferir nuevo conocimiento.

Deducción: natural y automática

La Lógica de Predicados pone a nuestra disposición un lenguaje que nos permitirá formalizar expresiones del conocimiento humano haciendo explícitos los objetos y las relaciones, así como sus restricciones. Además nos proporciona un método, la deducción matemática, para obtener nuevo conocimiento a partir del antiguo. Es por ello que la lógica se convierte en una asignatura presente en los primeros cursos de distintas titulaciones, especialmente de informática, ya que proporciona una base formal de trabajo. En la actualidad existe un variado número de herramientas que pueden servir de ayuda en el aprendizaje de la lógica. El razonamiento es el proceso cognitivo por medio del cual utilizamos y aplicamos nuestro conocimiento, permitiéndonos pasar de una información a otra relacionada con esta. Sin la posibilidad de hacer inferencias, el sistema de procesamiento de información se vería obligado a tener que definir todas las situaciones puntuales y específicas con las que se tenga que enfrentar. A las sentencias de las cuales partimos en el proceso de razonamiento se les llama premisas y a la sentencia a la cual llegamos se le denomina conclusión. Las premisas junto a la conclusión forman el argumento. El concepto lógico de deducción correcta dice que de premisas verdaderas debemos obtener conclusión verdadera, es decir, no podemos aceptar que las premisas sean verdaderas y la conclusión falsa. La lógica nos proporciona métodos de cálculo que nos permiten inferir, por simple manipulación sintáctica, nuevas fórmulas a partir de las conocidas. Uno de estos métodos es la Deducción Natural , cuyo mecanismo está muy cercano al razonamiento intuitivo del ser humano. Así, de forma sencilla, a partir de las fórmulas dadas como premisas y con el único apoyo de unas reglas básicas, obtenemos determinadas conclusiones. Podemos utilizar una herramienta didáctica diseñada específicamente para enseñar a los estudiantes a realizar deducciones naturales, el Asistente para Deducción Natural (ADN). Además podemos intentar abordar el tema de la automatización de la deducción. Para ello debemos realizar pequeñas modificaciones a esta técnica (de notación, de reglas a aplicar y de estrategia a utilizar) que nos lo permita. Todos estos desarrollos teóricos dieron lugar a la aparición de la programación lógica, como paradigma de resolución de problemas basado en la lógica. Prolog es el lenguaje de programación lógica más utilizado.