Brecha semntica

De Wikipedia, la enciclopedia libre

Por lo que significa lagunas en el lxico de una lengua natural, ver brecha
accidental .
Este artculo necesita referencias adicionales para
su verificacin . Por favor, ayudar a mejorar este
artculo mediante la adicin de citas de fuentes
confiables . Material de referencias puede ser impugnado y
eliminado. (octubre de 2011)
La brecha semntica caracteriza la diferencia entre dos descripciones de un
objeto por diferentes representaciones lingsticas, por ejemplo, idiomas o
smbolos. En ciencias de la computacin, el concepto es relevante siempre que
las actividades ordinarias humanos, observaciones, y las tareas se transfieren a
una representacin computacional. [ 1 ] [ 2 ]
Ms precisamente, la diferencia significa la diferencia entre la formulacin
ambigua de conocimiento contextual en un lenguaje de gran alcance (por
ejemplo, el lenguaje natural ) y su sonido, reproducible y representacin
computacional en un lenguaje formal (por ejemplo, lenguaje de
programacin ). Semntica de un objeto depende del contexto, es considerarse
dentro. Para su aplicacin prctica, esto significa cualquier representacin
formal de las tareas del mundo real requiere la traduccin del conocimiento
experto contextual de una aplicacin (de alto nivel) en las operaciones
elementales y reproducibles de una mquina de computacin (de bajo
nivel). Puesto que el lenguaje natural permite la expresin de las tareas que
son imposibles de calcular en un lenguaje formal no existen medios de
automatizar esta traduccin de una manera general. Adems, el examen de las
lenguas dentro de la jerarqua de Chomsky indica que no hay ninguna manera
formal y, por consiguiente automatizado de traducir de un idioma a otro por
encima de un cierto nivel de potencia expresiva.
Contenido
[ ocultar ]

1 Antecedentes tericos

2 Los lenguajes formales

3 Consecuencias prcticas

4 Ejemplos

4.1 La recuperacin de documentos

4.2 Anlisis de la imagen

4.3 sistemas acodados

4.4 Bases de datos

5 Vase tambin

6 Referencias

Antecedentes tericos [ edit ]

El an no probada pero comnmente aceptada tesis de Church-Turing afirma
que una mquina de Turing y todos los lenguajes formales equivalentes, tales
como el clculo lambda realizan y representan todas las operaciones formales,
respectivamente, tal como se aplica por un humano de computacin. Sin
embargo, la seleccin de las operaciones adecuadas para el propio clculo
correcto no es formalmente deducirse, por otra parte, depende de la
computabilidad del problema subyacente. Tareas, como el problema de la
parada , se pueden formular exhaustivamente en lenguaje natural, pero la
representacin computacional no terminar o no proporciona un resultado til,
que se demuestra por el teorema de Rice . La expresin general de
prescripcin de la regla basada deduccin de Gdel teorema de
incompletitud indica que la brecha semntica es no ser nunca completamente
cerrada. Estas son declaraciones de carcter general, teniendo en cuenta los
lmites generalizados de cmputo en el ms alto nivel de abstraccin en el que
el vaco semntico se manifiesta. Sin embargo, hay un montn de
subconjuntos de problemas que pueden ser traducidos de forma automtica,
sobre todo en los niveles con los nmeros ms altos de la jerarqua de
Chomsky.
Los lenguajes formales [ edit ]
Tareas del mundo real se formalizan mediante lenguajes de programacin, que
se ejecutan en equipos basados en la arquitectura de von Neumann . Dado que
los lenguajes de programacin son slo representaciones cmodas de la
mquina de Turing cualquier programa en un equipo de von Neumann tiene las
mismas propiedades y limitaciones como la mquina de Turing o su
representacin equivalente. Por consiguiente, cada lenguaje de programacin
como cdigo mquina a nivel de CPU, ensamblador, o cualquier lenguaje de
programacin de alto nivel tiene el mismo poder expresivo como la mquina de
Turing subyacente es capaz de calcular. No hay ninguna brecha
semntica entre ellos desde un programa se transfiere desde el lenguaje de
alto nivel para el cdigo de mquina por un programa, por ejemplo,
un compilador que a su vez se ejecuta en una mquina de Turing y sin ninguna

interaccin del usuario. La brecha semntica en realidad se abre entre la

seleccin de las reglas y la representacin de la tarea.
Consecuencias prcticas [ edit ]
Seleccin de reglas para las representaciones formales de aplicaciones del
mundo real, corresponde a escribir un programa. Creacin de programas es
independiente del lenguaje de programacin real y bsicamente requiere la
traduccin del conocimiento especfico de dominio del usuario en las reglas
formales de funcionamiento de una mquina de Turing. Es esta transferencia
de conocimiento contextual en representacin formal que no se puede
automatizarse con respecto a las limitaciones tericas de clculo. En
consecuencia, toda la cartografa de las aplicaciones del mundo real a
aplicaciones informticas requiere una cierta cantidad de conocimientos
antecedentes tcnicos por parte del usuario, en el que el vaco semntico se
manifiesta.
Es una tarea fundamental de la ingeniera de software para cerrar la brecha
entre el conocimiento especfico de la aplicacin y formalizacin tcnicamente
factible. Para este propsito especfico de dominio (de alto nivel) el
conocimiento debe ser transferido a un algoritmo y sus parmetros (de bajo
nivel). Para ello es necesario el dilogo entre usuarios y desarrolladores. El
objetivo es siempre un software que permite al usuario para representar su
conocimiento como parmetros de un algoritmo sin conocer los detalles de la
aplicacin, y para interpretar el resultado del algoritmo sin la ayuda del
desarrollador. Con este fin las interfaces de usuario juegan un papel clave en el
diseo de software, mientras que los desarrolladores se apoyan en marcos que
ayudan a la organizacin de la integracin de la informacin contextual.
Ejemplos [ editar ]
La recuperacin de documentos [ edit ]
Un ejemplo sencillo puede ser formulado como una serie de cada vez ms
difciles de lenguaje natural consultas para localizar un documento de
destino que pueden o no pueden existir localmente en un sistema de
ordenador conocido.
Consultas de ejemplo :

1) Localice cualquier archivo en el directorio conocido "/ usr / local /

divertido".

2) Localice cualquier archivo en el que la palabra "divertido" en el

nombre del archivo.

3) Busque cualquier archivo de texto donde la palabra "divertido" o la

subcadena "humor" aparece en el texto.

4) Localice cualquier mp3 de archivos donde sea "divertido", "dibujos

animados" o "humor" aparece en los metadatos.

5) Busque cualquier archivo de cualquier tipo relacionada con humor.

6) Localice cualquier imagen que pueda hacer mi abuela carcajada.

La dificultad progresiva de estas consultas es representado por el creciente

grado de abstraccin de los tipos y la semntica definida la arquitectura del
sistema (directorios y archivos en un equipo conocido) a los tipos y la
semntica que ocupan el mbito del discurso humano comn (temas tales
como " humor ", y entidades como" mi abuela "). Por otra parte, esta
disparidad de reinos se complica an ms por las abstracciones con fugas ,
como es comn en el caso de la consulta 4), donde el documento de
destino puede existir, pero no puede encapsular los "metadatos" de una
manera esperada por el usuario, ni la diseador del sistema de procesamiento
de consultas.
El anlisis de imgenes [ edit ]
El anlisis de imgenes es un dominio tpico para el que se requiere un alto
grado de abstraccin de los mtodos de bajo nivel, y donde la brecha
semntica afecta inmediatamente al usuario.Si el contenido de la imagen se
debe identificar para entender el significado de una imagen, la nica
informacin disponible es independiente de los datos de bajo nivel de
pxel. Anotaciones textuales siempre dependen de los conocimientos, la
capacidad de expresin y el lenguaje especfico del anotador y por lo tanto no
es fiable. Para reconocer las escenas mostradas de los datos en bruto de una
imagen de los algoritmos para la seleccin y manipulacin de pxeles deben ser
combinados y se parametriza de una manera adecuada y, finalmente,
vinculados con la descripcin natural. Incluso la representacin lingstica
sencilla de forma o color, tal como redonda o amarillo requiere totalmente
diferentes mtodos de formalizacin matemtica, que no son ni intuitiva ni y
un sonido nicos.
Sistemas estratificados [ edit ]
En muchos sistemas de capas , algunos conflictos cuando los conceptos de un
alto nivel de abstraccin necesitan ser traducidos a ms concretas
inferiores artefactos . Esta falta de coincidencia se llama a menudo vaco
semntico .
Bases de datos [ editar ]

OODBMS (sistema de gestin de base de datos orientada a objetos) defiende a

veces afirman que estas bases de datos ayudan a reducir la brecha semntica
entre el dominio de aplicacin (miniworld ) y los sistemas RDBMS
tradicionales. [1] . Sin embargo los defensores relacionales postulara
exactamente lo contrario, ya que, por definicin, las bases de datos de objeto
fijar los datos sean registrados en un nico abstraccin vinculante.
Vase tambin [ editar ]

Abstraccin Leaky

Simplificacin del texto

Diferencial semntico

Este artculo se basa en material tomado del Diccionario en lnea libre de

computar antes del 1 de noviembre de 2008 y constituida de conformidad con
los trminos "relicenciamiento" de lalicencia GFDL , la versin 1.3 o posterior.
Referencias [ editar ]
1. Salta hacia arriba^ Smeulders AWM, Worring M, S Santini, Gupta A,
Jain R. basada en contenido de recuperacin de imgenes al final de los
primeros aos. Patrn IEEE Trans Anal Mach Intell 2000; 22 (12) :134980.
2. Salta hacia arriba^ Dorai C, Venkatesh S. Bridging the Gap Semntica
con Computacional Medios Esttica. IEEE MultiMedia 2003; 10 (2) :15-17.
Categoras :

Abstraccin

Men de navegacin

Crear una cuenta

Iniciar la sesin

Artculo

Hablar

Leer

Editar

Ver el historial

Ir

Pgina principal

Contenido

Contenido Destacado

Actualidad

Artculo al azar

Donar a Wikipedia

Wikimedia Shop

Interaccin

Ayudar

Acerca de Wikipedia

Portal de la comunidad

Cambios recientes

Contacto pgina

Instrumentos
Imprimir / exportar
Idiomas

Deutsch

Espaol

Portugus

Editar enlaces

Esta pgina fue modificada por ltima vez el 6 de diciembre 2013 a las
16:22.

El texto est disponible bajo la Licencia Creative Commons

Reconocimiento-Compartir bajo la misma ; clusulas adicionales pueden
aplicar. Al utilizar este sitio, usted acepta los Trminos de Uso y Poltica
de Privacidad.

Wikipedia es una marca registrada de la Fundacin Wikimedia, Inc. ,

una organizacin sin fines de lucro.

Poltica de privacidad

Acerca de Wikipedia

Aviso legal

Pngase en contacto con Wikipedia

Desarrolladores

Vista mvil