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

[LeeAndro]

English | 2022 | ISBN: 3110994941 | 542 pages | True PDF EPUB | 77.08 MB

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 systems, and Semantic Web applications. Moreover, the many-valued version of IFOL can support the AI applications based on many-valued logics.



DOWNLOAD

https://1dl.net/xrc17qbzh4ot/9p8F5cFX_Intensional.rar.html