Re: SUO: a silly question about the new modular architecture
Can I ask another silly question?
Why don't we just ~lift~ the Microtheory axioms from Cyc and adopt that
logic towards modules? Though (hopefully) our modules would be called
'modules' rather than 'Microtheories'.
http://www.cyc.com/cyc-2-1/vocab/mt-vocab.html#Microtheory
Seth Russell
"To me the pragmatic thing to do is to recognise what is the
same as the same, and recognise what is different as different."
Matthew R West
.... so then we can use logic
http://robustai.net/mentography/3laws.jpg