Return-Path: LOJBAN%CUVMB.BITNET@vms.dc.LSOFT.COM
Received: from SEGATE.SUNET.SE (segate.sunet.se [192.36.125.6]) by xiron.pc.helsinki.fi (8.7.1/8.7.1) with ESMTP id VAA19948 for <veion@XIRON.PC.HELSINKI.FI>; Wed, 7 Feb 1996 21:21:16 +0200
Message-Id: <199602071921.VAA19948@xiron.pc.helsinki.fi>
Received: from listmail.sunet.se by SEGATE.SUNET.SE (LSMTP for OpenVMS v1.0a) with SMTP id 4BD3B86C ; Wed, 7 Feb 1996 20:21:16 +0100
Date:         Wed, 7 Feb 1996 14:51:08 -0500
Reply-To: John Cowan <cowan@LOCKE.CCIL.ORG>
Sender: Lojban list <LOJBAN@CUVMB.BITNET>
From: John Cowan <cowan@LOCKE.CCIL.ORG>
Subject:      TECH: fuzzy logic proposals (NEW CMAVO)
To:         Lojban List <lojban@cuvmb.cc.columbia.edu>
Content-Length: 1148
Lines: 31

I am now proposing the addition of two conventions for handling fuzzy logic:

1) for fuzzy truth statements, a convention that "je'a xi <number>" reflects
the degree of truth of the statement in which it is embedded, thus:

1)      mi je'a xi pinomu blanu
        I am (5%-true) blue.

This is distinct from saying I have a 5% probability of being blue; probability
does not enter into it.  A die has a 1/6 probability of coming up deuce, but
it does so with a degree of truth that is 1 (with 1/6 probability) or 0
(with 5/6 probability): not fuzzy at all.  I had previously proposed this
convention.

Claims using this convention can be rewritten to use "jei" thus:

        da je'a xi <number> broda = le jei da broda du li <number>

2) for scalar claims generally, a new cmavo of selma'o MOI (for discussion
purposes, "fiu'i"), with tentative place structure:

        x1 is at <number> location on scale x2 (of type x3?)

I'm not sure if x3 is useful; it is meant to be filled with things like
"cardinal", "interval", etc.

Comments?

--
John Cowan                                      cowan@ccil.org
                e'osai ko sarji la lojban.