Intensional First-Order Logic: From AI to New SQL Big Data
by Zoran Majkic(Author)
Publisher Finelybook 出版社: De Gruyter (September 6, 2022)
Language 语言: English
Hardcover: 542 pages
ISBN-10: 3110994941
ISBN-13: 9783110994940
Book Description
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.
Intensional First-Order Logic: From AI to New SQL Big Data
相关推荐
- Logic for Programmers
- Hands-on Cryptography with Python: Master Cryptographic Foundations with Real-World Implementation for Secure System Development Using Python
- Data Visualization Toolkit: Using JavaScript,Rails,and Postgres to Present Data and Geospatial Information
- Professional WordPress Plugin Development,2nd Edition
finelybook
