Publications
Projects
login
About
login:
password:
Forgot your password?
Reasoning in Attempto Controlled English
Reasoning in Attempto Controlled English
Publication type:
techreport
Authors:
Norbert E. Fuchs
Abstract:
Attempto Controlled English (ACE) – a subset of English that can be unambiguously translated into first-order logic – is a software specification and 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. ariations of the basic proof procedure permit query answering and consistency checking. Extending RACE by auxiliary first-order axioms and by evaluable functions we can perform complex deductions on ACE texts containing plurals and numbers. The implementation of RACE is based on the theorem prover Otter and on the model generator Satchmo, both available off-the-shelf.
Title:
Reasoning in Attempto Controlled English
Year:
2002
number:
ifi-2002.01
institution:
Department of Informatics, University of Zurich
address:
Zürich, Switzerland
actions
