DEFINICIONES DE ALGORITMIA

1. Dar tres definiciones distintas de “algoritmia”.

I. Ciencia que estudia el cálculo aritmético y algebraico.

II. Grupo finito de operaciones organizadas de manera lógica y ordenada, que permite solucionar un determinado problema.

III. Conjunto de instrucciones definidas, ordenadas y finitas que permite realizar una actividad mediante pasos sucesivos que no genere dudas a quien deba realizar dicha actividad.

2. ¿A qué se refiere el término “lógica computacional”?

Las lógicas de descripción, también llamadas lógicas descriptivas (DL por description logics) son una familia de lenguajes de representación del conocimiento que pueden ser usados para representar conocimiento terminológico de un dominio de aplicación de una forma estructurada y formalmente bien comprendida. El nombrelógica de descripción se refiere, por un lado, a descripciones de conceptos usadas para describir un dominio y, por otro lado, a la semántica que establece una equivalencia entre las fórmulas de lógicas de descripción y expresiones en lógica de predicados de primer orden. DL se diseñó como una extensión de frames (marcos) yredes semánticas, los cuales no estaban equipados con semántica basada en la lógica. A diferencia de los demás sistemas de representación (redes semánticas y frames), estas lógicas están dotadas con una semántica formal basada en lógica y tienen características muy importantes como son:

• Un formalismo descriptivo: conceptos, roles, individuos y constructores.

• Un formalismo terminológico: axiomas terminológicos que introducen descripciones complejas y propiedades de la terminología descriptiva.

• Un formalismo asertivo: que introduce propiedades de individuos.

• Son capaces de inferir nuevo conocimiento a partir de conocimiento dado; tienen por tanto, algoritmos de razonamiento que son decidibles.

Los elementos centrales del alfabeto del lenguaje de las lógicas de descripción son:

• Nombres de concepto (concept name): asignan un nombre a un grupo de objetos.

• Nombres de rol (role name): asigna un nombre a una relación entre objetos.

• Nombres de individuos (u objetos): los individuos son instancias de los conceptos y también se pueden relacionar por medio de un rol.

• Constructores (constructor): relaciona nombres de conceptos y nombres de roles, y también crea conceptos complejos a partir de los atómicos (complex concepts).

• Definiciones de conceptos complejos: usa los símbolos para declarar conjunto de igualdades y conjuntos de inclusiones.

El nombre de lógica de descripción es de los años 1980s. Antes de esto se llamaba (cronológicamente):sistemas terminológicos, y lenguajes de conceptos. Las lógicas de descripción de hoy en día se han convertido en una piedra fundamental de la web semántica para su uso en el diseño de ontologías.

En

...