Intensional First-Order Logic
Ez a könyv az elsőrendű logika (FOL) konzervatív kiterjesztéseinek tulajdonságait mutatja be az új intenzív elsőrendű logikára (IFOL).
Ez a kiterjesztés lehetővé teszi az intenzionális szemantika használatát a fogalmakra, így új és intelligensebb informatikai rendszereket tesz lehetővé. Amennyiben konzervatív, megőrzi a szoftveralkalmazásokat, és alapvető előrelépést jelent a jelenlegi RDB-adatbázisokhoz, a NewSQL-lel rendelkező Big Data-hoz, a Constraint-adatbázisokhoz, a P2P-rendszerekhez és a szemantikus webes alkalmazásokhoz képest.
Az IFOL sokértékű változata továbbá támogathatja a sokértékű logikákon alapuló mesterséges intelligencia-alkalmazásokat.
