Intensional First-Order Logic
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.
© 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)