Gustavo Lacerda

I just found out that there is a journal about Hybrid Intelligent Systems, i.e. systems that use multiple representations, multiple methodologies, etc. It reminds me of Minsky's speech about multiple representations being important, which I very much agree with.

While I consider the work of integrating these different reprentations and methodologies crucial for tackling complex problems, it seems like it could be a particularly frustrating activity ...similar to formalizing mathematical proofs into computer-checkable form. I'm just imagining a ton of ontology mismatches, a few of which are interesting and possibly hide paradoxes, and a great majority of which are just boring.