
Intensional First-Order Logic
Rozszerzenie to pozwala na zastosowanie semantyki intensjonalnej dla pojęć, zapewniając w ten sposób nowe i bardziej inteligentne systemy informatyczne.
O ile jest konserwatywny, zachowuje aplikacje i stanowi fundamentalny postęp w stosunku do obecnych baz danych RDB, Big Data z NewSQL, baz danych Constraint, systemów P2P i aplikacji Semantic Web. Co więcej, wielowartościowa wersja IFOL może wspierać aplikacje AI oparte na logice wielowartościowej.