Intensional First-Order Logic
Această carte prezintă proprietățile extensiilor conservatoare ale logicii de prim ordin (FOL) la noua logică intensională de prim ordin (IFOL).
Această extensie permite utilizarea unei semantici intensionale pentru concepte, oferind astfel sisteme informatice noi și mai inteligente. În măsura în care este conservatoare, ea păstrează aplicațiile software și constituie un progres fundamental în raport cu bazele de date RDB actuale, Big Data cu NewSQL, bazele de date cu constrângeri, sistemele P2P și aplicațiile web semantice.
În plus, versiunea cu multe valori a IFOL poate sprijini aplicațiile IA bazate pe logici cu multe valori.
© Book1 Group - toate drepturile rezervate.
Conținutul acestui site nu poate fi copiat sau utilizat, nici parțial, nici integral, fără permisiunea scrisă a proprietarului.
Ultima modificare: 2024.11.08 07:02 (GMT)