Intensional First-Order Logic
Táto kniha predstavuje vlastnosti konzervatívnych rozšírení logiky prvého rádu (FOL) na novú intenzionálnu logiku prvého rádu (IFOL).
Toto rozšírenie umožňuje používať intencionálnu sémantiku pre pojmy, čím poskytuje nové a inteligentnejšie informačné systémy. Nakoľko je konzervatívna, zachováva softvérové aplikácie a predstavuje zásadný pokrok vzhľadom na súčasné databázy RDB, Big Data s NewSQL, databázy obmedzení, P2P systémy a aplikácie sémantického webu.
Navyše mnohohodnotová verzia IFOL môže podporovať aplikácie umelej inteligencie založené na mnohohodnotových logikách.
© Book1 Group - všetky práva vyhradené.
Obsah tejto stránky nesmie byť kopírovaný ani použitý čiastočne alebo v celku bez písomného súhlasu vlastníka.
Posledná úprava: 2024.11.13 22:11 (GMT)