Reasoning v. other AI stuff

Stephan Lehmke Stephan.Lehmke at cs.uni-dortmund.de
Mon May 12 07:56:23 EST 2003


In <fa69ae35.0305010825.5db91935 at posting.google.com>, Eray Ozkural  exa writes:
> 
> Note that multi-valued logic is equivalent in power to classical
> logic. 

What exactly do you mean by that?

How could Lukasiewicz's FO logic be non-axiomatiseable then?

> That _naturally_ includes fuzzy logic. 

Assuming you have a precise definition for fuzzy logic.

regards
Stephan

f'up2 set to sci.logic



More information about the Neur-sci mailing list