[Oz] Expert Systems and Oz

[Seif Haridi]

Mozart has been used for different types of expert systems both combine
rule-based/object based, and
case based reasoning, and constraint-based (configuration problems).
The first two types were originally written in SICStus Prolog and then
transformed and extended in
Mozart with the result of cleaner design and higher performance.
The cows diagnosis expert system is also a deployed and verified application for
vetrinary clinics.
It is also web enabled with multiple clients acessing the same server, where new
cases can be added
at run-time while the system is running.

Mahmoud Rafea will tell more.

        --- Seif

Peter Van Roy wrote:

> > I'm interested in implementing an expert system in OZ.
> >
> > Needless to say I was disappointed with the last part of the Tutorial of
> > OZ, since it seemed to still be a work in progress, but impressed by
> > all but the last bit of it.
>
> Yes, the last part of the tutorial still needs some work!  Sorry about
> that; we are very busy doing research and system development and the
> documentation doesn't always follow as it should :-(.
>
> >
> > Is there somewhere I can read about other people's work with OZ and expert
> > systems ?
> >
> > David (whitten at netcom.com) (713) 791-1414 ext 6116
> >
>
> Regarding expert systems, you should get in touch with Mahmoud Rafea,
> of the Central Laboratory for Agricultural Expert Systems in Egypt
> (see Mozart projects page or email to mahmoud at esic.claes.sci.eg).
>
> He has written a full-fledged CBR expert system on Cow Disorders, first
> in SICStus Prolog, and then translated into Oz/Mozart.  He can tell you
> first-hand about his experience with Oz/Mozart.
>
> Sincerely,
>
> Peter
>
> --
> Peter Van Roy
> Département d'Ingénierie Informatique
> (Department of Computing Science and Engineering)
> Université catholique de Louvain
> B-1348 Louvain-la-Neuve, Belgium
>
> Email: pvr at info.ucl.ac.be
> Tel: (+32) (10) 47.83.74
> Web: http://www.info.ucl.ac.be/~pvr/
> Mozart: http://www.mozart-oz.org
>
> -
> Please send submissions to users at mozart-oz.org
> and administriva mail to users-request at mozart-oz.org.
> The Mozart Oz web site is at http://www.mozart-oz.org/.

--
Seif Haridi
Professor of Computer Systems,
Department of Teleinformatics, Royal Institute of Technology.
Research Director,
Swedish Institute of Computer Science.
Web: http://www.sics.se/~seif
Phone: +46 8 6331530
Mobile +46 70 5121540
Mail: SICS, Box 1263, SE-164 29 Kista, Sweden
E-mail: seif at sics.se


-
Please send submissions to users at mozart-oz.org
and administriva mail to users-request at mozart-oz.org.
The Mozart Oz web site is at http://www.mozart-oz.org/.