Intensional First-Order Logic: From AI to New SQL Big Data

by Zoran Majki

This book introduces the properties of conservative extensions of First Order Logic (FOL) to new Intensional First Order Logic (IFOL). This extension allows for intensional semantics to be used for concepts, thus affording new and more intelligent IT systems. Insofar as it is conservative, it preserves software applications and constitutes a fundamental advance relative to the current RDB databases, Big Data with NewSQL, Constraint databases, P2P...

• Format: Hardcover
• Language: English
• ISBN: 3110994941
• ISBN13: 9783110994940
• Release Date: September 2022
• Publisher: de Gruyter
• Length: 542 Pages
• Weight: 2.34 lbs.
• Dimensions: 1.2" x 6.7" x 9.6"