# XBUP - Projekt UniCoIniSch

### Úvod

Tento dokument je součástí dokumentace projektu eXtensible Binary Universal Protocol. Obsahuje popis projektu pro vytvoření abstraktního iniciálního kódu pro zahájení komunikace se zcela cizím subjektem bez jakékoliv apriorní znalosti.

O úroveň výše

### Obsah

1. Úvod
1.1. Motivace
1.2. Principy

### 1. Úvod

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.

### 1.1. Motivace

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.

Projekt lze chápat i jako určitou variantu univerzálního překladače ze seriálu Star Trek :-)

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.

### 1.2. Principy

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

Homepage: http://xbup.sf.net
License: GNU Free Documentation License (FDL)
Latest update: 2006-12-02