Reasoning in Attempto Controlled English

Abstract

Attempto Controlled English (ACE) -a subset of English that can be unambiguously translated into first-order logic -is a knowledge representation language. To support automatic reasoning in ACE we have developed the Attempto Reasoner RACE (Reasoning in ACE). RACE proves that one ACE text is the logical consequence of another one, and gives a justification for the proof in ACE. Variations of the basic proof procedure permit query answering and consistency checking. Reasoning in RACE is supported by auxiliary first-order axioms and by evaluable functions. The current implementation of RACE is based on the model generator Satchmo. Reasoning in Attempto Controlled EnglishNorbert E. Fuchs, Uta Schwertel Institut für Informatik, Universität Zürich {fuchs, uschwert}@ifi.unizh.ch http://www.ifi.unizh.ch/attempto Abstract. Attempto Controlled English (ACE) -a subset of English that can be unambiguously translated into first-order logic -is a knowledge representation language. To support automatic reasoning in ACE we have developed the Attempto Reasoner RACE (Reasoning in ACE). RACE proves that one ACE text is the logical consequence of another one, and gives a justification for the proof in ACE. Variations of the basic proof procedure permit query answering and consistency checking. Reasoning in RACE is supported by auxiliary first-order axioms and by evaluable functions. The current implementation of RACE is based on the model generator Satchmo.

Steps towards Scenario-Based Programming with a Natural Language Interface

“…Due to their relative simplicity, they support automation of tasks, and are used in automatic translation, formal document writing, reasoning, robot-controllers, specifications, and ontologies [1, 11,29].…”

Generating Executable Scenarios from Natural Language

“…Attempto Controlled English (ACE) [18,19] is a user-friendly language, based on first-order logic with rich English syntax, for translating NL into Prolog. It can by used for basic reasoning and queries but not for reactive systems.…”

Pre-conceptual Schema: A Conceptual-Graph-Like Knowledge Representation for Requirements Elicitation

“…They are not used for conversion to other standard specification formalisms, such as UML diagrams. − Controlled English was used in CPE [15], ACE [16], and CLIE [17] projects.…”