OpenEuphoria

RE: 'Unknown' and three-valued logic

• Posted by rforno at tutopia.com Nov 28, 2002
• 463 views

So, instead of saying FALSE, they say NIL. Conclusion: you wont get the
benefit.
----- Original Message -----
From: Rom <kjehas at frisurf.no>
Subject: Re: 'Unknown' and three-valued logic



From: <dm31 at uow.edu.au>

|Example case:
|Simplified rules for unemployments benefits. How to program such
rules?
|
|To qualify for unemployment benefits....
|1) you must be a national citizen
|2) you must be unemployed
|3) you must have earned more than $10000 previous year
|4) all facts must be documented (if you haven't supplied sufficient
domentation then employment office cannot make a positive decision)

> All you get is check that the document has been submitted, if yes,
> then proceed, if no, then send them a leeter asking for more. I don't
> see anything hard in that. No 3-state needed... I think you have got
> uninitialised vcars and logic mixed up to much...

Sorry, wrong answer. Even if sufficient documentation is not submitted, they
cannot say that you are not eligble for benefits.

Rom



The following program produces too many rejections, leading to a row of
complains......

boolean N, U, I
/*
N = person is a national citizen
U = person is unemployed
I = income previous year was > 10000
*/

// Facts
N = True
U = True
I = False // meaning income was < 10000 or documentation was not submitted

    if N and U and I then
        printf( "Accept application")
    else
        printf( "Reject application")
    end if

==^^===============================================================
This email was sent to: rforno at tutopia.com