XBUP - Projekt UniCoIniSch

Projekt UniCoIniSch (Universal Communication Inicialization Schema) by měl sloužit jako prostředek pro zahájení komunikace a předání základních dat pro definování způsobu výměny informací. Nepředpokládá se žádná znalost o druhém subjektu na obou stranách.

Pokud byste chtěli navázat kontakt s mimozemskou civilizací, jak byste postupovali? Jednou z možností je použít to, co můžete předpokládat, že s ní máte společného, což může být například logika. Za předpokladu, že obě strany ovládají logiku a podařilo se logicky odvodit komunikační schéma, je možné předpokládat, že by mohly být obě strany schopny mu porozumět a navázat tak vzájemnou komunikaci.

Jedná se o pravděpodobně nejsofistikovanější použití protokolu XBUP, které zatím naprosto nepřipadá v úvahu. Jde tedy o velmi dlouhodobý cíl.

Za předpokladu, že druhá strana zná a používá protokol XBUP, mělo by být možné definovat v něm základní logické postuláty a jejich převod do zvoleného jazyka. Vzájemnou výměnou dat v požadovaném tvaru by pak měly vzniknout na obou stranách překladové tabulky a komunikaci by mělo být možné zahájit.

Projekt předpokládá precizní formální důkazy o správnosti použitých konstrukcí...

Předpokládá se výstavba komunikace na těchto základech:

• Výroková a matematická logika 1. a 2. řádu
• Použití MPSP
• Použití logických fyzikálních jednotek
• Konstrukce gramatik a komunikačního jazyka (univerzální jazyk)
• Konstrukce pojmové databáze