Hispanopedia WikiAttempto Controlled English ( ACE ) es un lenguaje natural controlado , es decir, un subconjunto del inglés estándar con una sintaxis y semántica restringidas, descritas por un pequeño conjunto de reglas de construcción e interpretación. [ 1 ] Ha estado en desarrollo en la Universidad de Zúrich desde 1995. En 2013, se anunció la versión 6.7 de ACE. [ 2 ]
ACE puede servir como lenguaje de representación , especificación y consulta del conocimiento , y está destinado a profesionales que desean utilizar notaciones y métodos formales, pero que tal vez no estén familiarizados con ellos. Aunque ACE parece perfectamente natural —puede ser leído y comprendido por cualquier hablante de inglés—, en realidad es un lenguaje formal . [ 1 ]
ACE y sus herramientas relacionadas se han utilizado en los campos de especificaciones de software , demostración de teoremas , asistentes de demostración , resúmenes de texto , ontologías , reglas, consultas, documentación médica y planificación .
Aquí tienes algunos ejemplos sencillos:
- Toda mujer es un ser humano.
- Una mujer es un ser humano.
- Un hombre se prueba una corbata nueva. Si a su esposa le gusta, entonces el hombre la compra.
Las reglas de construcción de ACE requieren que cada sustantivo vaya precedido de un determinante ( a , every , no , some , at least 5 , ...). En cuanto a la lista de ejemplos anterior, las reglas de interpretación de ACE determinan que (1) se interpreta como cuantificado universalmente , mientras que (2) se interpreta como cuantificado existencialmente . Oraciones como "Women are human" no siguen la sintaxis de ACE y, por lo tanto, no son válidas.
Las reglas de interpretación resuelven las referencias anafóricas en (3): «la corbata» y «eso» de la segunda oración se refieren a una nueva corbata de la primera oración, mientras que «su» y «el hombre» de la segunda oración se refieren a un hombre de la primera oración. Por lo tanto, un texto ACE es una entidad coherente de oraciones vinculadas anafóricamente.
El motor de análisis sintáctico Attempto (APE) traduce textos ACE de forma inequívoca a estructuras de representación del discurso (DRS) que utilizan una variante del lenguaje de la lógica de primer orden . [ 3 ] Una DRS puede traducirse a su vez a otros lenguajes formales , por ejemplo, AceRules con diversas semánticas, [ 4 ] OWL , [ 5 ] y SWRL . Traducir un texto ACE a (un fragmento de) lógica de primer orden permite a los usuarios razonar sobre el texto, por ejemplo, verificarlo , validarlo y consultarlo .
Descripción general
Como resumen de la versión actual 6.6 de ACE, esta sección:
- Describe brevemente el vocabulario
- Da una explicación de la sintaxis.
- Resume el manejo de la ambigüedad.
- Explica el procesamiento de las referencias anafóricas.
Vocabulario
El vocabulario de ACE comprende:
- Palabras funcionales predefinidas (por ejemplo, determinantes, conjunciones)
- Frases predefinidas (por ejemplo, "es falso que...", "es posible que...")
- Palabras de contenido (por ejemplo, sustantivos, verbos, adjetivos, adverbios).
Gramática
La gramática de ACE define y limita la forma y el significado de las oraciones y los textos de ACE. La gramática de ACE se expresa como un conjunto de reglas de construcción . El significado de las oraciones se describe como un pequeño conjunto de reglas de interpretación . Una guía de solución de problemas describe cómo usar ACE y cómo evitar errores.
Textos ACE
Un texto ACE es una secuencia de oraciones declarativas que pueden estar interrelacionadas anafóricamente. Además, ACE admite preguntas y órdenes.
Oraciones simples
Una oración simple afirma que algo es cierto: un hecho, un evento, un estado.
- La temperatura es de −2 °C.
- Un cliente inserta 2 tarjetas.
- Una tarjeta y un código son válidos.
Las oraciones ACE simples tienen la siguiente estructura general:
- sujeto + verbo + complementos + adjuntos
Cada oración tiene un sujeto y un verbo. Los complementos (objetos directos e indirectos) son necesarios para los verbos transitivos ( insertar algo ) y los verbos ditransitivos ( dar algo a alguien ), mientras que los adjuntos (adverbios, frases preposicionales) son opcionales.
Todos los elementos de una oración simple pueden desarrollarse para describir la situación con mayor detalle. Para especificar aún más los sustantivos cliente y tarjeta , podríamos agregar adjetivos:
- Un cliente de confianza inserta dos tarjetas válidas.
sustantivos posesivos y frases preposicionales con -of :
- El cliente de John inserta una tarjeta con la imagen de María.
o variables como aposiciones:
- Juan inserta una tarjeta A.
Otras modificaciones de los sustantivos son posibles mediante oraciones relativas:
- Un cliente de confianza inserta una tarjeta de su propiedad.
que se describen a continuación ya que forman una oración compuesta. También podemos detallar el evento de inserción, por ejemplo, añadiendo un adverbio:
- Un cliente inserta algunas tarjetas manualmente.
o, equivalentemente:
- Un cliente inserta manualmente algunas tarjetas.
o bien, añadiendo frases preposicionales:
- Un cliente inserta algunas tarjetas en una ranura.
Podemos combinar todas estas elaboraciones para llegar a:
- El cliente de confianza de John inserta manualmente una tarjeta válida de Mary en la ranura A.
Oraciones compuestas
Las oraciones compuestas se construyen recursivamente a partir de oraciones más simples mediante coordinación , subordinación , cuantificación y negación . Cabe destacar que las oraciones compuestas ACE se superponen con lo que los lingüistas denominan oraciones compuestas y oraciones complejas.
Coordinación
La coordinación mediante " y" es posible entre oraciones y entre frases del mismo tipo sintáctico.
- El cliente inserta una tarjeta y la máquina comprueba el código.
- Hay un cliente que inserta una tarjeta y que introduce un código.
- El cliente inserta una tarjeta e introduce un código.
- Un cliente antiguo y de confianza introduce una tarjeta y un código.
Nótese que la coordinación de los sintagmas nominales " una tarjeta" y "un código" representa un objeto plural.
La coordinación mediante "o" es posible entre oraciones, frases verbales y oraciones subordinadas relativas.
- El cliente inserta una tarjeta o la máquina comprueba el código.
- El cliente inserta una tarjeta o introduce un código.
- Un cliente posee una tarjeta que no es válida o que está dañada.
La coordinación mediante " y" y "o" se rige por el orden de enlace estándar de la lógica, es decir, " y " tiene mayor fuerza de enlace que "o" . Se pueden usar comas para anular el orden de enlace estándar. Por lo tanto, la oración:
- El cliente inserta una tarjeta Visa o una MasterCard e introduce un código.
significa que el cliente inserta una tarjeta Visa y un código, o bien una tarjeta MasterCard y un código.
Subordinación
Existen cuatro tipos de subordinación: oraciones relativas, oraciones condicionales (si-entonces) , modalidad y subordinación de oraciones.
Las oraciones relativas que comienzan con who , which y that permiten agregar detalles a los sustantivos:
- Un cliente de confianza inserta una tarjeta de su propiedad.
Con la ayuda de las oraciones condicionales (si-entonces) podemos especificar situaciones condicionales o hipotéticas:
- Si la tarjeta es válida, el cliente la inserta.
Nótese la referencia anafórica a través del pronombre "it" en la parte "then" al sintagma nominal " a card" en la parte "if" .
La modalidad nos permite expresar posibilidad y necesidad:
- Un cliente de confianza puede/debe insertar una tarjeta.
- Es posible/necesario que un cliente de confianza inserte una tarjeta.
La subordinación de oraciones se presenta de diversas formas:
- Es verdadero/falso que un cliente inserte una tarjeta.
- No se puede demostrar que un cliente inserte una tarjeta.
- Un empleado cree que un cliente inserta una tarjeta.
Cuantificación
La cuantificación nos permite hablar de todos los objetos de una clase determinada ( cuantificación universal ) o denotar explícitamente la existencia de al menos un objeto de esa clase ( cuantificación existencial ). La aparición textual de un cuantificador universal o existencial amplía su alcance hasta el final de la oración o, en coordinaciones, hasta el final de la oración coordinada correspondiente.
Para expresar que todos los clientes involucrados insertan tarjetas podemos escribir
- Cada cliente inserta una tarjeta.
Esta frase significa que cada cliente inserta una tarjeta que puede ser, o no, la misma que la insertada por otro cliente. Para especificar que todos los clientes insertan la misma tarjeta —por muy irreal que parezca esa situación— podemos escribir:
- Cada cliente debe insertar una tarjeta.
o, equivalentemente:
- Hay una tarjeta que cada cliente debe insertar.
Para indicar que cada tarjeta es insertada por un cliente, escribimos:
- Cada tarjeta es insertada por un cliente.
o, de forma algo indirecta:
- Por cada tarjeta hay un cliente que la inserta.
Negación
La negación nos permite expresar que algo no es cierto:
- El cliente no inserta una tarjeta.
- La tarjeta no es válida.
Para negar algo para todos los objetos de una clase determinada se usa no :
- Ningún cliente inserta más de 2 tarjetas.
o bien, no hay :
- No hay ningún cliente que inserte una tarjeta.
Para negar una afirmación completa se utiliza la negación de la oración:
- Es falso que un cliente inserte una tarjeta.
Estas formas de negación son negaciones lógicas, es decir, afirman que algo es demostrablemente falso. La negación como fallo indica que un estado de cosas no puede probarse, es decir, no hay información sobre si dicho estado de cosas es cierto o no.
- No se puede demostrar que un cliente inserte una tarjeta.
Consultas
ACE admite dos tipos de consultas: consultas de sí/no y consultas con pronombres interrogativos (wh- queries).
Las consultas de sí/no preguntan sobre la existencia o inexistencia de una situación específica. Si especificamos:
- Un cliente inserta una tarjeta.
Entonces podemos preguntar:
- ¿El cliente inserta una tarjeta?
Para obtener una respuesta afirmativa. Tenga en cuenta que las oraciones interrogativas siempre terminan con un signo de interrogación.
Con la ayuda de las consultas con pronombres interrogativos (wh- queries), es decir, consultas con palabras clave, podemos interrogar un texto para obtener detalles sobre la situación especificada. Si especificamos:
- Un cliente de confianza inserta manualmente una tarjeta válida en un banco por la mañana.
Podemos pedir cada elemento de la oración con la excepción del verbo.
- ¿Quién inserta la tarjeta?
- ¿Qué cliente inserta la tarjeta?
- ¿Qué introduce un cliente?
- ¿Cómo inserta un cliente su tarjeta?
- ¿Cuándo introduce un cliente una tarjeta?
- ¿Dónde introduce el cliente su tarjeta?
Las consultas también pueden construirse mediante una secuencia de oraciones declarativas seguidas de una oración interrogativa, por ejemplo:
- Hay un cliente y hay una tarjeta que el cliente introduce. ¿Introduce el cliente una tarjeta?
Comandos
ACE también admite comandos. Algunos ejemplos:
- ¡John, ve al banco!
- ¡John y Mary, esperen!
- ¡Todos los perros, ladran!
- Hermano de Juan, ¡dale un libro a María!
Una orden siempre consta de una frase nominal (el destinatario), seguida de una coma y, a continuación, de una frase verbal no coordinada. Además, una orden debe terminar con un signo de exclamación.
Limitar la ambigüedad
Para limitar la ambigüedad del lenguaje natural completo, ACE emplea tres métodos sencillos:
- Algunas construcciones ambiguas no forman parte del idioma; en su lugar, existen alternativas inequívocas.
- Todas las construcciones ambiguas restantes se interpretan de forma determinista sobre la base de un pequeño número de reglas de interpretación.
- Los usuarios pueden aceptar la interpretación asignada o reformular la entrada para obtener otra.
Evitar la ambigüedad
En el lenguaje natural, las oraciones relativas combinadas con coordinaciones pueden introducir ambigüedad:
- El cliente inserta una tarjeta válida y abre una cuenta.
En ACE, la frase tiene el significado inequívoco de que el cliente abre una cuenta, como se refleja en la paráfrasis:
- La tarjeta es válida. El cliente inserta la tarjeta. El cliente abre una cuenta.
Para expresar la alternativa —aunque no muy realista— que significa que la tarjeta abre una cuenta, el pronombre relativo que debe repetirse, dando como resultado una coordinación de oraciones relativas:
- El cliente inserta una tarjeta válida con la que abre una cuenta.
Esta oración es inequívocamente equivalente en significado a la paráfrasis:
- Una tarjeta es válida. La tarjeta abre una cuenta. Un cliente inserta la tarjeta.
Reglas de interpretación
No todas las ambigüedades pueden eliminarse de forma segura de ACE sin que se vuelva artificial. Para interpretar de forma determinista oraciones ACE que, de otro modo, serían sintácticamente correctas, utilizamos un pequeño conjunto de reglas de interpretación. Por ejemplo, si escribimos:
- El cliente inserta una tarjeta con un código.
Luego , con un código se adjunta al verbo inserta , pero no a una tarjeta . Sin embargo, probablemente esto no es lo que queríamos decir. Para expresar que el código está asociado con la tarjeta, podemos emplear la regla de interpretación de que una oración relativa siempre modifica el sintagma nominal inmediatamente anterior, y reformular la entrada como:
- El cliente inserta una tarjeta que contiene un código.
obteniendo la paráfrasis:
- Una tarjeta contiene un código. Un cliente inserta la tarjeta.
o —para especificar que el cliente inserte una tarjeta y un código— como:
- El cliente inserta una tarjeta y un código.
Referencias anafóricas
Por lo general, los textos ACE constan de más de una oración:
- El cliente introduce una tarjeta y un código. Si el código es válido, SimpleMat acepta la tarjeta.
Para expresar que todas las apariciones de tarjeta y código deben significar la misma tarjeta y el mismo código, ACE proporciona referencias anafóricas a través del artículo definido:
- El cliente introduce una tarjeta y un código. Si el código es válido, SimpleMat acepta la tarjeta.
Durante el procesamiento del texto ACE, todas las referencias anafóricas se reemplazan por la frase nominal accesible más reciente y específica que concuerde en género y número. Como ejemplo de "más reciente y más específica", supongamos que a un analizador ACE se le proporciona la siguiente oración:
- Un cliente introduce una tarjeta roja y una tarjeta azul.
Entonces:
- La tarjeta es correcta.
se refiere a la segunda carta, mientras que:
- La tarjeta roja es correcta.
se refiere a la primera carta.
Las frases nominales dentro de oraciones condicionales (si-entonces) , oraciones cuantificadas universalmente, negaciones, modalidades y oraciones subordinadas no pueden ser referenciadas anafóricamente desde oraciones subsiguientes; es decir, dichas frases nominales no son "accesibles" desde el texto siguiente. Por lo tanto, para cada una de las oraciones:
- Si un cliente tiene una tarjeta, la introduce.
- Cada cliente introduce una tarjeta.
- El cliente no introduce una tarjeta.
- Un cliente puede introducir una tarjeta.
- Un empleado cree que un cliente introduce una tarjeta.
No podemos referirnos a una tarjeta con:
- La tarjeta es correcta.
Las referencias anafóricas también son posibles mediante pronombres personales:
- El cliente introduce una tarjeta y un código. Si es válido, SimpleMat acepta la tarjeta.
o mediante variables:
- Un cliente introduce una tarjeta X y un código Y. Si Y es válido , SimpleMat acepta X.
Las referencias anafóricas mediante artículos definidos y variables pueden combinarse:
- Un cliente introduce una tarjeta X y un código Y. Si el código Y es válido, SimpleMat acepta la tarjeta X.
Tenga en cuenta que los nombres propios como SimpleMat siempre se refieren al mismo objeto.
Véase también
- Procesamiento del lenguaje natural
- Programación en lenguaje natural
- Inglés estructurado
- ClearTalk , otro lenguaje de representación del conocimiento legible por máquina.
- Inform 7 , un lenguaje de programación con sintaxis en inglés.
- Inglés Gellish , un subconjunto y vocabulario controlado del inglés.
Referencias
- 1 2 Norbert E. Fuchs; Kaarel Kaljurand; Gerold Schneider (2006). "Attempto Controlled English Meets the Challenges of Knowledge Representation, Reasoning, Interoperability and User Interfaces" (PDF) . FLAIRS 2006 .
- ↑ "Noticias de Attempto" .
- ↑ Norbert E. Fuchs; Kaarel Kaljurand; Tobias Kuhn (2010). "Estructuras de representación del discurso para ACE 6.6" (PDF) . Informe técnico ifi-2010.0010, Departamento de Informática, Universidad de Zúrich .
- ↑ Tobias Kuhn (2007). "AceRules: Ejecución de reglas en lenguaje natural controlado" (PDF) . Primera Conferencia Internacional sobre Razonamiento Web y Sistemas de Reglas (RR 2007) .
- ↑ Kaarel Kaljurand; Norbert E. Fuchs (2007). "Verbalizing OWL in Attempto Controlled English" (PDF) . OWL: Experiences and Directions (OWLED 2007) .
Enlaces externos
- Sitio web oficial , Proyecto Attempto
- Inglés controlado
- Representación del conocimiento
- Análisis del lenguaje natural
- Procesamiento del lenguaje natural
- Asistentes de corrección
- lenguajes de representación del conocimiento