product iamge

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

This document was uploaded by one of our users. The uploader already confirmed that they had the permission to publish it. If you are author/publisher or own the copyright of this documents, please report to us by using this DMCA report form.

Download
Search on Amazon

Simply click on the Download Book button.

Yes, Book downloads on Ebookily are 100% Free.

Sometimes the book is free on Amazon As well, so go ahead and hit "Search on Amazon"

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.

Author(s): Zoran Majkic
Publisher: De Gruyter
Year: 2022

Language: English
Pages: 542
City: Berlin

Preface
Acknowledgments
Dependencies between the chapters
Notation conventions
Contents
1 Theory of new intensional first-order logic
2 Applications of the intensional abstraction operator
3 Intensional semantics for P2P database systems
4 Intensional RDB manifesto: flexible big data and NewSQL
5 Theory of many-valued intensional first-order logic
6 Applications of many-valued intensional first-order logic
A Appendix
Bibliography
Index