Path: ...!weretis.net!feeder9.news.weretis.net!news.nk.ca!rocksolid2!i2pn2.org!.POSTED!not-for-mail
From: melahi_ahmed@yahoo.fr (ahmed)
Newsgroups: comp.lang.forth
Subject: Re: Expert systems in forth
Date: Sun, 5 Jan 2025 16:38:08 +0000
Organization: novaBBS
Message-ID: <c770d0f170b8e32976c149f35d95dd28@www.novabbs.com>
References: <069d1724f6056b4c36d9e1ffaa3d606d@www.novabbs.com> <a489c8f27620718e4eb53a7fd349040e@www.novabbs.com> <b535bfcb55635df60139b1842074ebc4@www.novabbs.com> <d30f7d0abe74cbfd703742036441c630@www.novabbs.com> <2025Jan5.094909@mips.complang.tuwien.ac.at> <ac7f9bcea25de21c96d8addd6625e803@www.novabbs.com> <2025Jan5.160913@mips.complang.tuwien.ac.at>
MIME-Version: 1.0
Content-Type: text/plain; charset=utf-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Info: i2pn2.org;
	logging-data="2157666"; mail-complaints-to="usenet@i2pn2.org";
	posting-account="t+/9LUKLIiUqIe6reyFE7me/EcA/Gr17dRXgwnADesE";
User-Agent: Rocksolid Light
X-Rslight-Posting-User: 5f6b2e70af503e44dad56966aa15d35bdef29623
X-Spam-Checker-Version: SpamAssassin 4.0.0
X-Rslight-Site: $2y$10$8yu6mcKBb1O7WIXeEav7JePmCY7yWG8OF/Xz/gNZjH7o9V970rWki
Bytes: 2563
Lines: 46

On Sun, 5 Jan 2025 15:09:13 +0000, Anton Ertl wrote:

> 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


The bat has wings and can fly and it is a mammal.



> and egg-laying unless the
> answer is "don't know" (supporting that would be another improvement).


Your example `platypus', it lays eggs, and it is not a bird.


>
>>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

Until now, I assume: no equivalent to unknown.
Three level logic: yes/no/unknown (true/false/unknown)can be
implemented.
Perhaps, Carnaugh tables can be helpful.
I'll try to do it if time permits.

Ahmed

--