root

Qué es Tau

Tau es una red blockchain descentralizada destinada a resolver las limitaciones inherentes en la comunicación humana a gran escala y acelerar la productividad en la colaboración humana utilizando inteligencia artificial basada en la lógica.

Actualmente, las discusiones a gran escala y los esfuerzos de colaboración llevados a cabo directamente entre personas son altamente ineficientes. Para abordar este problema, desarrollamos un paradigma que llamamos comunicación Humano-Máquina-Humano: el principio central es que los usuarios no solo pueden interactuar entre ellos sino también aclarar sus afirmaciones a su cliente Tau. Nuestro paradigma permite a Tau deducir áreas de consenso entre sus usuarios en tiempo real, permitiendo a la red impulsar la comunicación actuando como intermediario entre humanos. Lo hace recogiendo las opiniones y preferencias que sus usuarios desean compartir y construyendo de forma lógica opiniones en una base de conocimiento semántico.

Capaz de deducir el consenso y comprender las discusiones, Tau puede generar y ejecutar código automáticamente basándose en el consenso, a través de un proceso conocido como síntesis de código. Esto acelerará en gran medida la producción de conocimiento y agilizará la mayoría de los esfuerzos de colaboración a gran escala que podemos imaginar en el mundo actual.

Características Principales de Tau

  • icon-language
    El Internet de Lenguajes

    No existe un único y mejor lenguaje para todos los fines, por lo que creamos el Meta Lenguaje Tau (TML): un lenguaje destinado a definir otros lenguajes y traducirlos manteniendo la misma información. TML permite una comunicación fluida y una traducción semántica entre los lenguajes de programación, los lenguajes de representación del conocimiento, los formatos de visualización y organización, los lenguajes de dominio específico y más.

  • icon-discuss
    Escalando Discusiones

    Las discusiones son un proceso social de gran valor para intercambiar pensamientos y opiniones, pudiendo conducir a nuevas ideas inspiradoras y deducir nuevos conceptos. Actualmente, las discusiones a gran escala son muy ineficientes: tener una discusión entre 500 personas generalmente arroja un resultado menos productivo que una discusión entre 5 personas. Pero, ¿qué pasaría si no solo pudiéramos escuchar a cientos de personas a la vez, sino también comprender y procesar toda esta información de manera útil? Al tener a Tau como organizador en nuestro enfoque de comunicación Humano-Máquina-Humano, podemos resumir y consultar eficazmente todos los datos discutidos de una manera eficiente y comprensible, y, por primera vez en la historia, permitir que las discusiones se adapten a cualquier cantidad de participantes mientras se mantienen productivas. Tener un aumento de 100x en los participantes de una discusión bajo Tau podría, en teoría, producir 100x veces más utilidad de la información y productividad del conocimiento.

  • icon-knowledge
    Base de Conocimiento Global

    Una vez que los lenguajes de representación del conocimiento se definen bajo el TML, cualquier usuario puede enviar libremente opiniones e ideas como predicados lógicos a su cliente Tau, o transmitirlo a la red Tau, que se combinan para formar una base de conocimiento. Los usuarios pueden consultar esta base de conocimiento y Tau les ayudará a deducir las respuestas que buscan. La producción de conocimiento depende en gran medida de la eficiencia de las discusiones. Por lo tanto, al resolver las limitaciones de las discusiones a gran escala, Tau puede acelerar en gran medida la producción de todo el conocimiento en todo el mundo.

  • icon-collaboration
    Acelerando y Automatizando la Colaboración

    Muchos compromisos humanos que valen la pena dependen de esfuerzos de colaboración. Al agilizar estos esfuerzos, podemos acelerar de manera efectiva el desarrollo de toda nuestra especie. Además de poder escalar las discusiones, el marco lógico decidible de Tau permite sintetizar y ejecutar código en función de las especificaciones del usuario. Los usuarios pueden crear sus propios equipos bajo Tau para discutir y colaborar en un proyecto con su propia base de conocimiento privada. Después de aprovechar la capacidad de Tau de escalar las discusiones, los equipos pueden llegar rápidamente a un consenso sobre las especificaciones y Tau puede generar y ejecutar código automáticamente, de acuerdo con esas especificaciones.

  • icon-choice
    Elección Social en Tiempo Real

    Formar un método justo, completo y eficiente de elección social ha resultado esquivo en muchos campos. En las comunidades grandes, decidir sobre qué temas votar se vuelve poco manejable, lo que lleva a ignorar muchos puntos de vista y tópicos sociales importantes. Del mismo modo, las grandes organizaciones suelen quedar paralizadas por su incapacidad para tomar decisiones importantes en la red, lo que conduce a una baja productividad e incluso al fracaso. Tau presenta un mecanismo de elección social innovador: los usuarios solo necesitan expresar sus opiniones en forma de predicados lógicos (utilizando el lenguaje definido sobre TML) publicados en la red, lo que permite que la base de conocimiento de Tau sea un agregado de preferencias sociales de todas las opiniones de todos sus usuarios. Junto con la propiedad lógica de decidibilidad y una nueva fórmula de consenso, el mecanismo de elección social permite a Tau calcular cosas como el consenso sobre cada tema expresado, independientemente de cuán remoto o esotérico sea el tema.

  • icon-economy
    La Economía del Conocimiento Inteligente de Agoras

    Agoras es una economía de conocimiento avanzada que permite realizar transacciones conocimiento-efectivo …

    Leer más

La Única Red Social Dinámica Descentralizada

Este proceso de escalamiento de discusiones, automatización de código y elección social en tiempo real se puede aplicar a la red en sí misma, permitiendo que todo el protocolo blockchain sea definido y enmendado a la perfección por las elecciones de sus usuarios.

Cuando la comunidad Tau tenga la intención de realizar cambios en el código de red, las reglas o los protocolos, simplemente deberán expresar estas opiniones y perspectivas en un lenguaje compatible a través de la red. La lógica autodefinida de la red blockchain le permitirá detectar el consenso entre estas opiniones y modificar automáticamente su propio código para reflejar este consenso, de bloque a bloque. A diferencia del método común de votación, el enfoque de Tau tendrá en cuenta las perspectivas de toda la comunidad, donde las personas podrán votar libremente y proponer qué votar en tiempo real. Esta capacidad única de Tau es la única solución descentralizada para crear un protocolo verdaderamente dinámico.

El video de arriba es una ilustración preliminar de cómo las conversaciones sobre Tau pueden tomar forma. Las discusiones de los usuarios pueden enfocarse en temas cotidianos o disciplinas particulares, como ciencia y política. Tau estará al tanto de las discusiones sobre sí misma y cambiará en consecuencia.

La Hoja de Ruta

root-left

Hemos diseñado una hoja de ruta donde cada etapa apoya el desarrollo de la siguiente y es una innovación tecnológica útil por sí misma. Esperamos completar el desarrollo de TML y Alfa Tau en 2019. Usando la plataforma de discusión de Alfa Tau, un número ilimitado de desarrolladores puede unirse al proyecto para apoyar la construcción de Beta Tau, agilizando su fecha de lanzamiento al mercado. Después de que se desarrolle Beta Tau, solo será cuestión de tiempo hasta que Tau-Chain se complete ya que todos los desafíos técnicos se resolverán utilizando Beta Tau, en colaboración y, con suerte, en una escala de desarrollo nunca antes vista.

 
Lanzamiento de MVP: Meta Lenguaje Tau (TML)  

Comenzamos desarrollando un metalenguaje (TML) como una herramienta para definir nuevos lenguajes que se pueden traducir entre ellos. TML será un lenguaje decidible que posee una característica única para interpretar y redefinirse a sí mismo, similar (pero más expresivo) a Datalog, ya que permite la negación [no estratificada] sin restricciones. TML también podrá realizar todas las tareas computacionales que son computables en espacio polinomial. Aprendimos de los errores de la historia para insistir en que nuestra implementación será altamente optimizada.

 
Demo  

Se lanzará un programa para que los usuarios obtengan un adelanto de cómo puede ser la comunicación con Tau.

 
Proyecciones de Futamura  

La primera misión de TML es definirse en el método de Evaluación Parcial, que da lugar a las proyecciones de Futamura. Será la primera implementación no completa de Turing de las proyecciones de Futamura, el santo grial de las capacidades de compilación.

 
Internet de Lenguajes  

Se creará una interfaz de usuario que aprovecha TML para desarrollar un sistema que pueda definir, almacenar y traducir fácilmente los lenguajes. El Internet de Lenguajes hará que los lenguajes sean irrelevantes, dada la capacidad de la red de traducción de un lenguaje a otro manteniendo el mismo significado exacto.

 
Red de Conocimiento  

Para llegar finalmente a una plataforma de debate escalable, crearemos infraestructuras para almacenar y consultar grandes cantidades de conocimiento, representados por los lenguajes presentes en el Internet de Lenguajes.

 
Versión Alfa Lanzada  

Alfa es una plataforma social que permite discusiones eficientes entre un número infinito de participantes. Podrá escalar discusiones y detectar puntos lógicos de consenso entre usuarios, permitiendo a los usuarios mapear fácilmente las opiniones planteadas durante cualquier discusión. Será posible un mejor intercambio y construcción de conocimiento.

 
Versión Beta Lanzada  

Beta adelantará a Alfa permitiendo a los usuarios discutir los requisitos del código y luego sintetizar automáticamente un código correcto por construcción.

 
Tau-Chain  

Tau trata sobre el desarrollo colaborativo perpetuo de sí mismo basado en acuerdos de usuario. Lo hará como una red p2p descentralizada y basada en blockchain.

 
Agoras  

Una economía del conocimiento completamente funcional que permite transacciones conocimiento-efectivo, mercado de recursos computacionales y herramientas financieras avanzadas.