RELEASE OF AMINE 6.0
INSEA, Rabat, MOROCCO
The main additions in Amine 6 (in comparison to Amine 5) include:
Integration in Amine of Standard CGIF notation. This extension will enhance interoperability between Amine and other CG tools (like CharGer). See CG for more detail. Please note that previous versions of Amine used a different syntax for CGIF notation. To assure compatibility with these versions, Amine 6 adopts a CGIF syntax that integrates standard CGIF notation and "Amine proper CGIF notation". A CG that was stored in "Amine proper CGIF notation" is still readable by Amine, but it will be "recycled" in standard CGIF notation (i.e. a new save of the CG, in CGIF, will use standard CGIF notation). Also, a CG with actors, expressed in Standard CGIF notation, is now translated to "Amine CG (with activable concepts)", and n-adic relations (with n > 2) are now translated to concepts and dyadic relations.
The addition of Text Ontology Editor in Ontology Editors GUI. See Ontology/KB Editors GUI
Several extensions/changes concerning SYNERGY (See Synergy for more detail):
The possibility to call Synergy from Java code.
The possibility to call Synergy from other components of Amine.
No ontology should be loaded to edit/execute programs/requests with primitives operations only. In previous versions of Amine (and especially of Synergy in Amine), the user should "Load First Synergy Ontology" (to load Synergy primitives) and then load an ontology in order to edit and execute any Synergy program/request. Now, Synergy Ontology is automatically loaded (by Synergy interpreter) so that user can directly edit and execute programs/requests that contains only Synergy primitives operations. No ontology should be loaded for that purpose.
To enhance compatibility with CharGer, identifiers of operations in CharGer are added as synonyms to the same operations in Synegy. For instance, user can use "Add" (the identifier of Addition in Synergy) or "plus" (the identifier of Addition in CharGer) for the addition operation.
The possibility to check functional dependency of a CG. This new functionality of Synergy corresponds to the main and only activation mechanism/mode of CharGer.
Beside "User Step By Step", we now provide "System Step By Step" mode. User can see the progressive activation/animation of an executable CG.
All the examples of Synergy programs/requests are (now) stored in standard CGIF notation (in addition to LF notation).
A list of Synergy Primitives is provided through menu "Help/SynergyPrimitives".
A brief comparison is provided between Synergy and CharGer.
The document on Synergy has been completely updated.
The possibility to apply Memory Based Deductive Inference on Rules with activable/executable CG as antecedents. Synergy is used, in this case, in conjunction with Memory Based Deductive Inference. See Memory Based Inferences.
GUI for Classification/KnowledgeIntegration Engine is now separated from GUI for MemoryBased Inferences; we provide now two GUI; one for Classification/KnowledgeIntegration Engine and another for MemoryBased Inferences.
Amine Platform GUI has been redesigned to better reflect the current composition and architecture of Amine.
Graph (and CG) Drawing Editor has been enhanced, especially the edition of concepts and relations.
Graphic information for CG is now systematically stored/loaded.
A Popup Menu has been added to TextEditors (like CGTextEditor); it provides edition operations (Cut, Copy, Past).
A list of Prolog+CG primitives is provided in menu "Help/Prolog+CG Primitives". See Prolog+CG.
Samples for CGOperations (via CGOperations GUI) have been refined and reorganized to enable their direct use and test.
The document on Prolog+CG has been updated. See Prolog+CG.
Bugs have been fixed.
Amine WebSite has been updated to take into account the above extensions.
A new rubric is added in Amine WebSite : "Projects" which provides a list of projects to do in order to enhance or extend or use Amine Platform.