Intencionální logika prvního řádu

Intencionální logika prvního řádu (Zoran Majkic)

Původní název:

Intensional First-Order Logic

Obsah knihy:

Tato kniha představuje vlastnosti konzervativních rozšíření logiky prvního řádu (FOL) na novou intenzionální logiku prvního řádu (IFOL).

Toto rozšíření umožňuje používat intenzionální sémantiku pro pojmy, čímž poskytuje nové a inteligentnější informační systémy. Vzhledem k tomu, že je konzervativní, zachovává softwarové aplikace a představuje zásadní pokrok vzhledem k současným databázím RDB, velkým datům s NewSQL, databázím s omezeními, systémům P2P a aplikacím sémantického webu.

Mnohovýznamová verze IFOL navíc může podporovat aplikace umělé inteligence založené na mnohovýznamových logikách.

Další údaje o knize:

ISBN:9783110994940
Autor:
Vydavatel:
Jazyk:angličtina
Vazba:Pevná vazba

Nákup:

Nyní dostupné, na skladě.

Další knihy od autora:

Dokončení a sjednocení kvantové mechaniky s Einsteinovými myšlenkami GR - část I -- Dokončení QM -...
Tento unikátní rukopis představuje nový přístup ke...
Dokončení a sjednocení kvantové mechaniky s Einsteinovými myšlenkami GR - část I -- Dokončení QM - Completion & Unification of Quantum Mechanics with Einstein's GR Ideas - Part I -- Completion of QM
Dokončení a sjednocení kvantové mechaniky s Einsteinovými myšlenkami GR - část II -- Sjednocení s GR...
Navrhované doplnění teorie QM o nové...
Dokončení a sjednocení kvantové mechaniky s Einsteinovými myšlenkami GR - část II -- Sjednocení s GR - Completion & Unification of Quantum Mechanics with Einstein's GR Ideas - Part II -- Unification with GR
Intencionální logika prvního řádu - Intensional First-Order Logic
Tato kniha představuje vlastnosti konzervativních rozšíření logiky prvního řádu (FOL) na novou...
Intencionální logika prvního řádu - Intensional First-Order Logic
Teorie kategorií - Category Theory
Tato kniha analyzuje generování šípových kategorií dané kategorie, což je základní a odlišný jev teorie kategorií, analogicky k základní roli...
Teorie kategorií - Category Theory

Díla autora vydali tito vydavatelé:

© Book1 Group - všechna práva vyhrazena.
Obsah těchto stránek nesmí být kopírován ani použit, a to ani částečně ani úplně, bez písemného svolení vlastníka.
Poslední úprava: 2024.11.08 20:25 (GMT)