CogniTrust
Co stavímePro kohoVýzkumO firmě
Ukázka editoru

Making data provable.

Důkaz logikou. Důvěryhodnost kryptografií.

Posuňte se

Kdo jsme

Stavíme software pro obory, kde na datech záleží i za mnoho let. Zdravotnictví, právo, správa dokumentů — všude, kde nestačí, že se soubor našel, ale musí být jasné, co znamená a kdy vznikl.

Co provozujeme
Důkaz, ne archivUložit soubor umí každý. My dodáváme doklad o tom, že vznikl tehdy a zní takhle — a ten doklad obnovujeme, dokud platí.
Význam, ne jen textZpráva i nález vznikají jako data, kterým rozumí stroj. Text je pohled na ně, ne zdroj pravdy.
Data zůstávají u vásProvoz běží u zákazníka nebo na serverech v Evropě. Co neumíme, neslibujeme.

Pro koho

Obory, kde na datech záleží

Ukázat obory
Ambulancekomunikace a dokumentace
Nemocniceprovoz napříč odděleními
Laboratořevýsledky a jejich příjem
Radiologienález a obrazová data
Sítě poskytovatelůpravidla oboru napříč pracovišti
Advokáti a znalcidoručení a lhůty
Správci dokumentůarchiv s obnovou důkazu
Dodavatelé systémůnapojení na naše jádro

Ukázka

Editor radiologického nálezu

Měření ze snímku se propíše do textu a z každé věty nálezu se proklikáte zpět na místo, kde vzniklo. Rozdíl proti minulému vyšetření spočítá stroj. Nechte nám kontakt a ozveme se, až bude ukázka připravená k testování.

Mám zájem o ukázku
Kliknutím se náhled zvětší. Ukázka nad smyšlenou kazuistikou; snímky jsou de-identifikované.

Aplikovaný výzkum

Reprezentace znalostí a automatické usuzování

Deskripční logika a ontologie, teorie pevných bodů a formálních jazyků, kryptografický důkaz v čase a spojení logiky s jazykovými modely. Všechno to běží v našem software.

Ukázat rovnice

𝒦 ⊨ C ⊑ ∃R.D

𝒦 ∪ { a : C } ⊨ a : ∃R.D

Cℐ ⊆ Dℐ

(A ⊓ B)ℐ = Aℐ ∩ Bℐ

(∃R.C)ℐ = { x | ∃y. (x,y) ∈ Rℐ ∧ y ∈ Cℐ }

x = A ⊗ x ⊕ b

v(A ⊑ C) ⊕= v(A ⊑ B) ⊗ v(B ⊑ C)

C[i,j] = ⊕i<k<j C[i,k] ⊗ C[k,j]

X/Y   Y  →  X

δ : Q × Σ → Q

𝒦 ⊨ s : enabledS′

A∗ = ⊕n≥0 An

h = H(hL ‖ hR)

σ = Signsk(roott)

𝓛(θ) = −∑x P̂(x) log Pθ(x)

DKL(P ‖ Q) = ∑x P(x) log P(x)⁄Q(x)

A ⊔ B = 𝒞(A ∪ B)

𝒞(𝒞(A) ∪ 𝒞(B)) = 𝒞(A ∪ B)

Klasifikace SNOMED CT

1,5 scelá SNOMED CT klasifikovaná — 379 848 pojmů, mezinárodní vydání 2026-04-01
100 %shoda s oficiální odvozenou hierarchií — 631 259 vazeb „je druhem“, žádná nechybí, žádná nepřebývá
7,5 µszařazení nového výrazu do už klasifikované hierarchie, tedy během psaní nálezu
Vlastní reasoner pro deskripční logiku EL: nativní paralelní výpočet nad předem připraveným snímkem terminologie, 16 vláken na běžném 12jádrovém počítači. Převod ze zdrojového formátu RF2 do času nezapočítáváme.

OntoMark – rozšíření ℰℒ

OntoMark je naše rozšíření deskripční logiky ℰℒ, na které stojí SNOMED CT, o vlastnosti, které ji dělají užitečnou v praxi. Má vlastní zápis, markdown pro ontologie: v něm se ukládají znalosti, se kterými pak pracují agenti. Jádro odvozování zůstává polynomiální.

Co OntoMark umí
Součty a počty v logiceSoučet, minimum, maximum a počet hodnot vznikají přímo při odvozování a dají se použít v definici pojmu, třeba „dohromady víc než pět“.
Výpočty nad hodnotamiVěk z data narození, lhůty ve dnech i pracovních dnech, eGFR, porovnání dat a čísel.
Vztahy oběma směryU zapsaných vazeb a vazeb mezi konkrétními záznamy se dopočítá i opačný směr: když je A součástí B, systém ví, že B obsahuje A.
Důkaz ke každému závěruU každého odvozeného faktu ukážeme krok po kroku, z čeho plyne.
Kontrola samotného modeluUpozorní na definici, kterou žádný záznam nikdy nemůže splnit.
Z logiky do relační algebryDefinice pojmů se překládají na spojení, výběry, seskupení a agregace. Z modelu vzniknou tabulky a pohledy, které se vyhodnocují přímo v PostgreSQL.
TémaSémantická interoperabilitaProč nestačí sjednotit formát a co přináší deskripční logika.
PrototypNález jako logický modelPozorování, měření a vztahy místo textu s poli k vyplnění.
MetodaDůkaz, který přežije systémPlatnost nezávislá na tom, kdo zrovna provozuje úložiště.