[comp.sys.amiga] Amiga and AI

dixon@cs.nps.navy.mil (Roger Dixon) (02/07/90)

     I am looking at developing some artificial intelligence applications
utilizing the Amiga. I was wondering what support already exists, either
commercial or PD in the way of language support, expert shells, and 
environments, and also whether anyone is working on AI hardware to be
utilized on the Amiga.  

     I would also be interested in hearing about any AI projects that are
currently being developed with the Amiga.

     Please send E-mail. Any help will greatly be appreciated.

*******************************************************************************
     //
    //     Roger Dixon                        Standard Disclaimer
\\ //
 \X/       ARPAnet (Defense Data Network):    dixon@cs.nps.navy.mil
*******************************************************************************

mcdonley@dinl.uucp (alan mcdonley) (02/13/90)

XLisp is available on most BBS and Fred Fish collection.  I also have
CLIPS a NASA product distributed by COSMIC for about $200 or free if you
have a government contract.  Clips is an OPS-5 derivitive forward
chaining, written in C (source included in distribution), embeddable,
call c,ada,etc- callable from c,ada,etc, RETE net pattern matching,
100-300 rule per second(amiga 1000) , 300-1000 rules per second (Sun
3/260), non-monotonic, rule order and salience(priority) scheduling, 
no uncertainty, no truth maintenance, flexible pattern logic, compilable
rules, package.  What a run-on.   

I have used CLIPS on four or five projects for planning, scheduling,
classification, and exception monitoring and feel that for the
price(free) it is really fantastic.  It is also freely distributable,
supported, has numerous manuals and is generally a first rate product. 
Oh, I forgot to say that it runs on Mac,Vax,Sun,Amiga,IBM-PCs, and
anything else with a c compiler.

Anyway, anybody have a scrolling console window on the amiga?


-- 

---------------------------------------------------------------------------
Alan McDonley,        Martin Marietta Information and Communication Systems
(303) 977-3347        mcdonley@inlatlas.den.mmc.com
P.O.Box 1260          ncar!dinl!mcdonley
Denver,CO 80201-1260  Opinions are my own, not my employer's.
--------------------------------------------------------------------------

doug@ctc.contel.com (Doug Whitehead x4149) (03/08/90)

I work for Contel, a telecommunications co. and am a PHD student at VPI. I am using
my Amiga for development of a new language for hypothetical reasoning. (related to
truth-maintenance)

I have previously implemented a version in Prolog on a Vax, but the overhead
associated with an interpreted prolog was rediculuous.  The new version is in
C.

The sort of reasoning this new language will capture is along the lines of the
following example: A robot is in room1, a box is in room1, the robot is holding
the box.  If I were to introduce a hypothesis (something believed above all else)
that the robot is actually in room2, then under "normal" circumstances, the
computer should suggest two possible worlds with this hypothesis:
        A) The box is also in room2, or
        b) The robot is no longer holding the box
Of course, if you wish to relax constraints and allow the computer to be very
skeptical, other explanations are possible, such as:
        Room1 = Room2
        Robots can be in two places at one time
        Robots can hold things in other rooms
        The normal definition of "=" is incorrect
        etc.
Obviously I neglected to show you the rules that connect the facts of any world.
rules like: If X holds Y and X is in W, then Y is in W

As you can see, this language is suited for intelligent databases (or knowledge
bases; intelligent in the sense that the infobase is consistent with itself)
and qualitative physics (If I lift a sauser, the teacup, and the tea should
normally move with it, etc.).`

Anyway, as for your original question, there is an excellent prolog ported
to the amiga, SBProlog (Stoney Brook Prolog) is on one of the fish disks around
143 or so..., (Be careful TinyProlog on one of the surrounding disks sucks...)
SBProlog is a full interpreter/compiler, a rare treat even for commercial
products.

Personally, Prolog has most of what one wants in a shell (unless you need to
dazzle a client/boss, in which case graphics are important, not expert system
content).  Don't be bamboozled by "certainty factor" or probability
rhetoric, they are generally considered unuseful in expert systems, (at least
by those who have built an expert system before)

If you have any specific questions, I'll try an field'em

    'Haid