Re: Expert systems in forth

melahi_ahmed@yahoo.fr (ahmed) writes:

I'll see how to change the flow of the inference using the action field
of facts and executing them during the inference, like this we can
choose the next rule to use.

Potential improvements:

Also have rules that work for both truth and falsness.  E.g., for
non-extinct animals, all birds have feathers and only birds have
feathers.  So if you ask the "feathers" question, and you get a "yes",
you know it is a bird, and if you get a "no", you know that it is no
bird.

And then you do not need to ask about wings and egg-laying unless the
answer is "don't know" (supporting that would be another improvement).

s" platypus :- swim , not-fly , eat-meat , hoofs , hair .;" >rules

It seems to me that the platypus has claws, not hoofs.  The most
puzzling property of the platypus, though, is that it is a mammal and
lays eggs.

- anton
--
M. Anton Ertl  http://www.complang.tuwien.ac.at/anton/home.html
comp.lang.forth FAQs: http://www.complang.tuwien.ac.at/forth/faq/toc.html
     New standard: https://forth-standard.org/
   EuroForth 2024: https://euro.theforth.net