Re: AW: AW: VMs: Random Text Generation

[Nick Pelling <incoming@xxxxxxxxxxxxxxxxx>]

At 12:07 20/12/02 +0100, Claus wrote:
> Hi Nick, one additional remark: maybe Fuzzy loginc is more appropriate for 
> solving of the VMS.

Certainly, when your base set of assertions has such a wide range of 
associated probability, the idea of representing truthfulness as a floating 
point number has a strong attraction. :-)

But the three-valued intuitionistic logic, too, has its own quite separate 
attractions - especially as it explicitly tries to include the 
constructibility of proofs within its logical structure. Unsurprisingly, 
most attempted inferences to do with the VMS would have the value "not 
constructible"... which is probably close to what you meant in your 
original email. :-)

Cheers, .....Nick Pelling.....

PS: thanks for the vote of confidence! :-))

______________________________________________________________________
To unsubscribe, send mail to majordomo@xxxxxxxxxxx with a body saying:
unsubscribe vms-list