This file contains a short installation guide. Before you use ALIAS make sure you read, understand and accept the content of Section 5.
ALIAS v2.0 has been tested on Windows NT with Java 1.1.8 and Amzi 4.1 / 5.0. In order to use it the minimum software requirements are the Amzi dll and the ALIAS classes, both contained in the file ALIAS-20.zip Note that neither of Java and the full Amzi! Prolog+LS distribution are included in this package.
An ALIAS system is made of a blackboard and several agents. Each of these has a logic name and an address, and can run on a different machine, provided that they are connected by a TCP/IP network.
The blackboard is generated by the command java
blackboard. The default blackboard name and Port number are black
and 1099, but they may
be set differently (e.g. java blackbard
5000 myBlackboard). The syntax is java
An ALIAS agent is generated by the command java agentServer. There is
no default for the agent name and port number, therefore they must be specified.
Also, more parameters could be specified: java
Ex: java agentServer Agent0 1100 1099 babak.doc.ic.ac.uk black H:\ALIAS\20\test\esempio2\base0.xpl will generate an agent called Agent0, listening at the port 1100 on the local address, that loads the knowledge contained in file H:\ALIAS\20\test\esempio2\base0.pro and compiled in file H:\ALIAS\20\test\esempio2\base0.xpl, and will try to login to a blackboard called black, listening at the port 1099 at the address babak.doc.ic.ac.uk
If the specified blackboard is not alive the agent will start in standalone mode. It will run a local abductive proof-procedure. It will be possible to try to log in later on, once the blackboard is available.
Some examples of batch files that generate ALIAS agents are contained in the %ALIASPath%\bin directory.
In ALIAS 2.0, the agent KB is constituted by an abductive program, a set of integrity constraints, and a set of abducible predicates.
An example is the following:
rule(s,[p,r]). % standing for "s <- p, r". rule(p,[not(q)]). % standing for "p <-not q". rule(r,[not(b)]). % standing for "r <-not b". ic([a,c]). % standing for "<- a, c". abducibles([a,b,c]).
Licence and Restrictions. FREEWARE software. You are granted the right to use this software product free of charge. You are free to copy and/or distribute this software to others at your will provided that you must distribute the software in its ENTIRE package, which should only include the original archive. The software may not be circulated in any incomplete or modified form, which means you may not alter, delete, or add any files in the distribution archive. You may not lease, rent, sell, or make any profit out of the software without written permission from the author. Moreover, this software is released as a public domain freeware, which means no one shall be charged any money for the use of this software.
Disclaimer of Warranty. The use of the Software is at Licence's sole risk. The SOFTWARE and documentation are provided "AS IS" WITHOUT WARRANTY OF ANY KIND. THE AUTHOR DISCLAIMS ALL IMPLIED WARRANTIES, EXPRESSED OR IMPLIED, INCLUDING, WITHOUT LIMITATION, THE WARRANTIES OF MERCHANTABILITY AND OF FITNESS FOR ANY PURPOSE. FURTHER MORE, THE AUTHOR DOES NOT WARRANT OR GUARANTEE THAT THE OPERATION OF THE SOFTWARE WILL BE FREE OF ERRORS. IN NO EVENT SHALL THE AUTHOR BE LIABLE FOR ANY LOSS OF INFORMATION, DAMAGE TO COMPUTER OR MONITOR, ANY INCIDENTAL, SPECIAL OR CONSEQUENTIAL DAMAGES (INCLUDING DAMAGES FOR LOSS OF BUSINESS PROFITS, BUSINESS INTERRUPTION, LOSS OF BUSINESS INFORMATION AND THE LIKE) ARISING OUT OF THE USE OF OR INABILITY TO USE THE SOFTWARE OR ITS DOCUMENTATION, OR FOR COMMERCIAL LOSSES OF ANY CAUSE, EVEN IF THE AUTHOR HAS BEEN ADVISED AND WARNED OF THE POSSIBILITY OF SUCH DAMAGES.
This page has been last updated on January 10, 2004
About this Server