Название: Intensional First-Order Logic: From AI to New SQL Big Data
Автор: Zoran Majkic
Издательство: De Gruyter
Год: 2022
Страниц: 542
Язык: английский
Формат: pdf (true)
Размер: 10.2 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.

This book is divided into two parts: the first one, from Chapter 1 to Chapter 4, is dedicated to the conservative Tarskian extension of standard FOL into Intensional FOL (IFOL), where Chapter 1 is theoretical and the other three chapters provide significant applications of this new theory, with the most important work in Chapter 4 dedicated to the big data extension of a standard Relational Data Base (RDB) into new Intensional RDB (IRDB) with multivalued attributes as well. With this work, we propose an evolution from FOL to IFOL, conservative in sense that this evolution preserves software applications actually in practice, by offering new advanced features. It is a fundamental advance w. r. t. the current database and P2P systems and semantic web applications.

PART II, instead, from Chapter 5 to Appendix A, is a conservative generalization of the Chapter 1 to many-valued IFOL able to support AI applications based on many-valued, relevant and paraconsistent logics in a unique intensional FOL framework. Chapter 5 is the theoretical development of many-valued FOL, with additional material provided in Appendix A, with a number of applications presented in Chapter 6. The readers interested more in theoretical issues after Chapter 1 can directly continue to Chapter 5, with the help of Appendix A. The reader interested in the semantic web, P2P systems and newSQL and Big Data extensions of standard RDB, after Chapter 1 can choose any other thematic chapter after it.