Abstract: En esta plática exploraremos como actualmente la descentralización es un elemento clave en la privacidad de la información. Revisaremos algunas de las soluciones actuales y las nuevas propiedades que están le dan a la información. Además, revisaremos como la Criptografía es una herramienta importante en este proceso. Finalizaremos presentando algunos proyectos dentro del Centro Blockchain UNAM FI en esta área.
Abstract: My current belief is that Logic(s) is/are clearly useful for AI. I will try to support this claim during the talk. In fact, a lot can be done with Modal, Classical, Constructive and/or Paraconsistent propositional logics. An important observation is that Logic(s) can be used in different ways: ( |= , models, completions, etc). A non-monotonic behaviour is desirable in many situations. We also need different ways to deal with inconsistency. Current "software" tools are complex, efficient and useful. Finally, I present my conclusions and future work.