This page introduces the Encode workbench tools.
For full description see Encode manual or tool specific manual available
from this site:
|
Encode environment
 The
Encode workbench represents a set of tools supporting the knowledge
based system development during the whole development cycle. The
workbench is implemented in the Common Lisp and CLOS (Common Lisp Object
System) and represents an extension of the original environment of Allegro
Common Lisp® for Windows®.
The Encode environment is created by the Encode tools
incorporated into the original Allegro environment providing all development
tools for the Common Lisp and CLOS. The user can access the Encode
tools through the menus added to the Allegro’s menu bar. |
OUSEL
 The
OUSEL is a software tool for creating conceptual models – knowledge
level descriptions of intelligent systems. A set of graphical tools enables
to build an abstract conceptual model structure quickly and easily.
The user can create different types of document in the OUSEL all
managed by the project documents. The created conceptual model within
the OUSEL project can be saved in the OCML file and run within the
Encode workbench.
The OUSEL is described in the Ousel
manual available from this site. Figure shows the OUSEL main
window with opened graphical tool for building domain knowledge structures.
|
OCML
 The
OCML (Operational Conceptual Modelling Language) is a language that
supports the development of operational knowledge-level models in the Encode
workbench. It was originally devised in the context of the VITAL
project to provide operational support for knowledge-level modelling in
the VITAL workbench (Domingue et al.,1993).
In Encode workbench OCML constructs can be browsed
with the OCML browser (figure). The OCML is described
in OCML manual and OCML Browser is described
in the ENCODE manual (both available from this
site). |
OCML Task Execution Visualisation
Tool
 The
OCML Task Execution Visualisation Tool enables the user to visualise
an execution of the OCML task that has an inference body, i.e. task implemented
by the OCML backward chaining rules. The tool provides two different
views of the OCML execution: the proof tree represents a coarse grained
view, and node descriptor provides the fine grained view.
The visualisation is based on the Viz methodology developed
at KMI. The main idea in Viz is to save the execution log file and
than visualise it. However, instead of creating the execution log
file the OCML Task Execution Visualisation Tool builds the structures
necessary for visualisation during the OCML execution. This avoids
the time consuming loading of the log file.
The OCML Task Execution Visualisation Tool is described
in the ENCODE manual (available from this
site). For more details see the M.Hatala's
visualisation pages. |
Constraint Satisfaction Engine
 The
Constraint Satisfaction Engine (CSE) is an environment for graphical
specification of constraint satisfaction problems. The CSE
can be used as a standalone application or can be used within the Encode
workbench.
The CSE manual is available
from this site. For more details see the Jan
Paralic's pages. |
CSE Execution Visualisation
Tool
 The
CSE Execution Visualisation Tool enables to visualise the execution
of the constraint satisfaction problems within the CSE. The tool
shows the tree how variables
Each node in the tree represents the ‘state’ of the solution.
Edges represent variables forcing. The node represents the part of
the execution started by forcing one variable (the arc leading to the node)
and finished just before the forcing another variable (edge leading out
of the node). This includes the process of constraint propagation
and consistency checking. By clicking on the node a window showing
the process of constraint propagation is displayed.
The CSE Execution Visualisation Tool is described
in ENCODE manual (available from this
site). For more details see the M.Hatala's
visualisation pages. |
