The Language E and the E-RES System


The Language E is a specialized, high-level logic for representing information about the occurrence and effects of actions and events. Its model-theoretic semantics defines what conclusions may be inferred from a given domain description written in E's vocabulary of simple propositional statements. The E-RES system, written in Prolog, automates the reasoning process implicit in E's semantics. The computation underlying E-RES is based on a translation of the Language E into an argumentation framework. Both the language and the system have been developed to provide a theoretical and computational framework for developing applications in artificial intelligence and computer science such as simulation, planning, fault diagnosis, temporal databases and cognitive robotics.

Click here for a list of associated papers.

The E-RES System

The distributed implementation of the E-RES System is based on the work of Antonis Kakas, Rob Miller and Francesca Toni and has been developed by Neophytos Demetriou, Antonis Kakas and Loizos Michael.

Click on the following links to download the latest version of the E-RES System and a variety of test domains. The E-RES System can be executed on any Windows 9x / Linux machine that runs ECLiPSe 5.0 and Tcl/Tk 8.3; later versions of Windows, ECLiPSe and Tcl/Tk are not expected to present any problems. To use the system, unzip the downloaded archive using WinZip (or any other appropriate program) and execute the appropriate file ("e-res.tcl" or "linux-eres").

Language E Syntax

Each proposition should start on a new line, and span only one line. Each proposition should be of one of the forms in the table below, where:

Proposition TypeAllowed Form
t-propositionL holds-at T
h-propositionA happens-at T
c-proposition A initiates F
A initiates F when {L1,...,Ln}
A terminates F
A terminates F when {L1,...,Ln}
r-propositionL whenever {L1,...,Ln}
const-fluentL is_constant
o-actionA is_abducible
preconditionA needs {L1,...,Ln}
priorityA1 has_priority A2 for {L1,...,Ln}

Further Information

For further information please email Neophytos Demetriou (cs97dn1@ucy.ac.cy), Antonis Kakas (antonis@cs.ucy.ac.cy) or Loizos Michael (cs98ml1@ucy.ac.cy).

(*) The Sat solver currently used is a modified version of RelSat 2.00 by Roberto Bayardo.


Last updated: July 15, 2001.