Attempto Controlled English(ACE)은 명확한 지식 표현과 추론을 위해 설계된 통제된 자연 언어이다. 이 언어는 사용자가 영어의 부분 집합으로 형식 사양, 질의, 규칙을 작성할 수 있게 하며, 이를 자동으로 1차 논리(FOL) 및 기타 형식 언어로 번역할 수 있다. ACE는 취리히 대학교에서 개발되었으며, 그 기원은 1990년대 후반으로 거슬러 올라간다. 이후 소프트웨어 사양, 온톨로지 공학, 질의 응답 등 다양한 분야에서 사용되어 왔다. ACE의 주요 목표는 인간이 읽을 수 있는 텍스트와 기계가 해석할 수 있는 논리 사이의 간극을 메우는 것으로, 비논리학자도 정밀성을 유지하면서 형식적 방법에 접근할 수 있게 하는 것이다.
ACE는 자유 형식 언어가 아니라, 고정된 문법과 어휘를 가진 엄격히 정의된 영어의 부분 집합이다. ACE의 모든 문장은 미리 정의된 구문 규칙 집합을 따라야 하며, 이는 각 문장이 정확히 하나의 논리적 해석을 갖도록 보장한다. 이는 자연 언어에 내재된 모호성(예: 범위 모호성, 지시어 해결, 어휘 다의성)을 제거한다. 예를 들어, "Every customer who owns a car likes it"라는 문장은 ACE에서 모호하지 않으며, 대명사 "it"은 고객이 소유한 자동차를 명확히 가리킨다. 이 언어는 전칭 및 존재 양화, 부정, 조건문, 양태 동사와 같은 구문을 지원하며, 모두 일상 영어를 반영하는 방식으로 표현된다.
역사와 발전
ACE의 개발은 1990년대 후반 취리히 대학교의 전산 언어학 연구소에서 Norbert E. Fuchs와 그의 팀이 주도하여 시작되었다. 첫 번째 버전인 ACE 1.0은 1997년에 출시되었으며, 논리 프로그래밍을 위한 자연 언어 인터페이스를 만드는 것을 목표로 한 Attempto 프로젝트의 맥락에서 지식 표현 도구로 설계되었다. 수년에 걸쳐 ACE는 여러 버전으로 발전했으며, 2007년의 ACE 6.0은 더 포괄적인 문법과 개선된 1차 논리 번역을 도입한 주목할 만한 이정표였다. 이 언어는 또한 담화 표현 구조를 지원하도록 확장되어 여러 문장으로 구성된 텍스트를 처리할 수 있게 되었다. 2010년에 Attempto 프로젝트는 FOL을 생성할 수 있는 파서와 번역기를 포함한 ACE 6.1을 출시했으며, 이후 버전에서는 OWL(웹 온톨로지 언어) 및 SWRL(시맨틱 웹 규칙 언어) 지원이 추가되었다. 개발은 약 2015년까지 활발히 진행되었으며, 이후 프로젝트는 주로 오픈 소스 소프트웨어로 유지 관리되었다.
구문과 의미론
ACE의 구문은 허용되는 문장 구조를 지정하는 문맥 자유 문법으로 정의된다. 이 문법은 평서문, 의문문, 명령형을 다루지만, 어순과 구 유형에 대한 엄격한 제한이 있다. 예를 들어, 형용사는 명사 앞에 와야 하며, 관계절은 수식하는 명사 뒤에 와야 한다. 어휘도 제한되어 있으며, 특정 일반 영어 단어만 허용되고 모든 용어는 사전에 정의되어야 한다. ACE의 의미론은 구성적이며, 이는 문장의 의미가 부분의 의미에서 구성된다는 것을 의미한다. FOL로의 번역은 결정적이며, 구문 구조를 논리 공식에 매핑하는 규칙 집합을 사용한다. 예를 들어, "No dog barks"라는 문장은 ¬∃x(dog(x) ∧ bark(x))로 번역된다. ACE는 또한 지시적 참조를 지원하지만, 대명사는 가장 최근의 호환 가능한 선행사를 참조해야 한다는 규칙이 있으며, 이는 자연 언어 담화의 단순화이다.
응용 및 사용 사례
ACE는 여러 실용 분야에서 적용되었다. 소프트웨어 공학에서는 시스템 요구 사항에 대한 형식 사양을 작성하는 데 사용되어, 이해 관계자가 형식 논리를 이해하지 않고도 요구 사항을 검증할 수 있게 한다. 예를 들어, "If a user is logged in and clicks the delete button, then the system deletes the user's account"라는 사양은 ACE로 작성되고 일관성을 자동으로 확인할 수 있다. 시맨틱 웹에서는 도메인 전문가가 읽을 수 있는 형태로 공리를 표현할 수 있는 OWL 온톨로지 작성에 ACE가 사용되었다. ACE 파서는 OWL 파일을 생성할 수 있으며, 이는 추론 시스템에서 사용된다. 또한 ACE는 질의 응답 시스템에서 사용되어 자연 언어 질의를 지식 베이스에 대해 실행할 수 있는 논리 질의로 번역한다. 주목할 만한 예로는 온톨로지를 비전문가가 이해할 수 있게 만드는 것을 목표로 하는 OWL 구두화 프로젝트에서 ACE를 사용한 것이다.
다른 형식 언어와의 관계
ACE는 종종 다른 통제된 자연 언어 및 형식 표기법과 비교된다. Prolog나 Lisp와 같은 프로그래밍 언어와 달리, ACE는 특별한 훈련 없이 인간이 읽고 쓸 수 있도록 설계되었다. SQL과 같은 일반적인 질의 언어보다 더 표현력이 뛰어나며, 양화사와 함의를 포함한 복잡한 논리 문장을 나타낼 수 있다. 그러나 ACE는 고차 양화와 동등성과 같은 특정 기능이 부족하여 완전한 1차 논리보다는 표현력이 덜하다. Artificial intelligence의 맥락에서 ACE는 자연 언어 처리와 형식 추론 사이의 다리 역할을 하며, 강력하지만 종종 모호하거나 일관되지 않은 출력을 생성하는 Large language model과 같은 접근 방식을 보완한다. Large language model은 ACE와 유사한 텍스트를 생성할 수 있지만 논리적 일관성을 보장하지 않는 반면, ACE는 논리와의 일대일 매핑을 보장한다.
한계와 미래 방향
강점에도 불구하고 ACE에는 한계가 있다. 엄격한 문법은 사용자에게 번거로울 수 있으며, 허용된 구문을 배우고 허용되지 않는 일반 영어 표현을 피해야 한다. 어휘는 제한적이며, 새 용어를 추가하려면 사전을 업데이트해야 한다. 또한 FOL로의 번역은 원래 ACE 문장이 단순하더라도 인간이 읽기 어려운 복잡한 공식을 생성할 수 있다. 2010년대 중반 이후 ACE의 개발은 둔화되었으며, 2015년 이후 주요 릴리스는 없다. 그러나 ACE의 아이디어는 PENG 및 CLCE와 같은 다른 통제된 자연 언어 프로젝트에 영향을 주었다. Generative AI 시대에는 통제된 언어를 사용하여 Neural network 모델의 출력을 제한하고 생성된 텍스트가 논리적으로 타당하도록 보장하는 데 대한 관심이 다시 증가하고 있다. 미래 작업은 ACE를 Machine learning 기술과 통합하여 자연 언어를 자동으로 ACE로 변환할 수 있지만, 현재 상태에서는 이러한 시스템이 널리 배포되지 않았다.