0213-MP. Modelos, Paradigmas Modelo o ejemplo del cuadro de utilización y la metodología en los que se desarrollan y operan los sistemas. Puede haber varios paradigmas de desarrollo alternativo para un paradigma operacional. Como ejemplos se pueden citar la programación funcional, la programación lógica, la modelación semántica de

0243-DP. Decisión, procedimiento

Problema de decisión. Para cada entrada posible requiere una salida <<verdadero>> o <<falso>>, según la entrada posea, o no, una cierta propiedad. El algoritmo que produzca la decisión adecuada a cada caso recibe la denominación de procedimiento de decisión para ese problema. Entonces, se dice que este problema es soluble, en tanto que un problema insoluble es aquel para el cual no existe ningún procedimiento de decisión. Como ejemplo se puede citar la validez lógica, en que las entradas son expresiones lógicas, con la salida <<verdadero>> para las expresiones válidas y <<falso>> para las otras. Este problema es soluble para la lógica proposicional (siendo la construcción de tablas de verdad un problema de decisión), pero no lo es para la lógica de predicados. Los problemas solubles pueden clasificarse posteriormente según la eficacia de los procedimientos de decisión existentes para ellos. Algunos problemas insolubles poseen un procedimiento de semidecisión, es decir, un algoritmo que da correctamente las salidas de <<verdadero>> pero falla al terminar en los casos en que la salida debe ser <<falso>>. Esto es lo mismo que decir que las entradas que requieren la salida <<verdadero>> forman un grupo que es recursivamente enumerable, pero no recursivo. De forma alternativa, se puede decir que el problema corresponde a un predicado que es semidecidible, pero no decidible. Sin embargo, existe otra formulación según la cual, mientras la correcta correspondencia desde las entradas a un <<verdadero>> y <<falso>> no es una función computable, su restricción a las entradas de <<verdadero>> da una función parcial computable.

0274-LE. Lenguaje

Comprensión del lenguaje natural. El proceso de las expresiones en el lenguaje humano (o lenguaje natural como opuesto a lenguaje de programación) para extraer el significado y responder de forma adecuada. El proceso requiere conocimiento de la sintaxis del idioma correspondiente y de la relación entre las palabras y su significado, generalmente en una base de conocimiento que contiene una representación interna del mundo. Se utilizan reglas gramaticales y semánticas para analizar las expresiones en fórmulas lógicas o redes semánticas, donde la representación del significado puede usarse mediante un sistema de razonamiento.

0284-RTA. Red de Transición Ampliada

Generalización de autómatas de estado finito que se utiliza para representar la gramática de lenguaje natural, y, por ello, para analizar y generar texto en lenguaje natural. La gramática se representa como un conjunto de grafos orientados etiquetados, y sus etiquetas son categorías de palabras, o llamadas recursivas a ellos mismos o a otros grafos, o llamadas para actualizar o acceder a un conjunto de registros. Se pueden asociar procedimientos con los arcos para formar un árbol sintáctico, para formar una representación semántica, para generar texto, etc.

0362-AMF. Análisis de medios / fines

Técnica utilizada en la inteligencia artificial para hacer planes de consecución de objetivos. Un plan consiste en una secuencia de acciones. La secuencia se realiza comparando los objetivos que cada acción alcanza (los medios) con los que se debe alcanzar (los fines).

Sistema de reglas de producción. Lenguaje de programación en el que los programas constan de reglas de condición Þ acción. Los programas se interpretan mediante una repetición de las operaciones siguientes: se encuentran todas las reglas cuyas condiciones se satisfacen, se elige una de ellas y se llama su acción. Estos sistemas se han utilizado mucho en psicología informática y en la construcción de sistemas expertos y constituyen una clase de motor o máquina de interferencias.

0386-TS. Teoría de sistemas

Elaboración de los sistemas en sí mismos, generalmente para describir características comunes a todos los sistemas o clases de estos. Los teóricos de sistemas pueden encontrarse más ocupados con el desarrollo de la teoría en si misma (más frecuentemente llamada teoría general de sistemas), o pueden estar más dedicados a estudiar las aplicaciones de los conceptos sobre los sistemas dentro de las disciplinas particulares o de determinadas áreas de problemas con la finalidad de resolver los que no pueden someterse a los métodos de "reducción" tradicionales. La teoría de los sistemas se ha definido como el estudio de la complejidad organizada.

Han existido varios intentos de categorizar sistemas. Quizá el más sencillo y útil de ellos es el que propone cuatro de sistemas; naturales, físicos diseñados y de la actividad humana. También propone cuatro conceptos que son esenciales en el razonamiento de los sistemas: "la noción de entidades completas que tienen propiedades como tales entidades (propiedades emergentes... ); la idea que estas mismas entidades forman de entidades similares mayores, al tiempo que, posiblemente, contienen dentro de sí entidades similares menores (jerarquía... ); el concepto de que, tales entidades se caracterizan por procesos que mantienen y su actividad de existir (control... ); y la concepción de que , siempre que sean necesarios otros procesos en la entidad, ciertamente habrá procesos en los que se comunique la información de una parte a otra, entrando esto en el concepto de "control" muy relativamente.

0412-RD. Resolución, control

Cantidad de información gráfica que puede aparecer en una representación visual. Por regla general, la resolución de un dispositivo de representación en pantalla se indica por el número de líneas que puede distinguirse visualmente. También puede definirse la resolución de un sistema informático de gráficos por el número de líneas que se puede representar en pantalla, o, de forma alternativa, por el número de puntos o pixeles (elementos de imagen) que pueden representase en dirección vertical y horizontal. Regla de inferencia en la lógica matemática, utilizada para deducir una nueva fórmula lógica a partir de dos antiguas. Se ha en la derivación automática de sistemas matemáticos puesto que representa una alternativa a las reglas tradicionales de inferencia.

0423-CP. Cálculo proposicional

Sistemas de lógica simbólica, cuyo estudio se conoce como lógica proposicional. Existen muchas definiciones alternativas, pero equivalentes, siendo la que aparece a continuación una de las más útiles. Los únicos términos admisibles del cálculo proposicional son los dos símbolos T y F junto a las proposiciones lógicas que se expresan con letras minúsculas; estos símbolos son básicos e indivisibles y, por esta razón, se les denomina fórmulas atómicas.

0521-RR. Recursión, recurrencia

Proceso por que se define o expresa una función, procedimiento, estructura lingüística o la solución de un problema en sus propios términos, produciendo así, un función recursiva, una subrutina recursiva, etc.

En el estudio de la resolución efectiva forma particular de definir una función partiendo de otras más simples. Se suele suponer que estas funciones comprendidas son funciones sobre números enteros no negativos. Por lo tanto, el recurso esa el proceso por el cual se define una función f de (n + 1) variables de manera siguiente:

f(x, x₂,...,x_n,0) = g(x1, x₂,...,x_n)
f(x,x₂,...,x_n,y+1) = g(x, x₂,...,x_n, y, f(x, x₂,...,x_n, y))

donde g y h son otras dos funciones de n y (n +2) variables respectivamente.

0535-CRE. Conjuntos recursivamente enumerables

Un subconjunto A de un conjunto B es enumerable de forma recursiva, relativa a B, si existe un procedimiento efectivo que, dado un elemento b en B resultara "si", si, y únicamente si, b es elemento de A. Si b no está en A, el procedimiento no terminará nunca, en general. Esta es una noción más débil que la de conjunto recursivo. Un conjunto puede ser recursivamente enumerable sin ser recursivo. El conjunto de programas de Ada que termina (para una entrada dada) es recursivamente enumerable (con respecto a toda la clase de todos los programas de Ada), pero no es recursivo.