[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: AW: AW: VMs: Random Text Generation

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