Intensional First-Order Logic

From AI to New SQL Big Data
1. Auflage 2024
ISBN: 978-3-11-099494-0
Verlag: De Gruyter

Buch, Englisch, 514 Seiten, Format (B × H): 175 mm x 246 mm, Gewicht: 1199 g

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.

Zielgruppe

Researchers, Research Students, Expert IT Industry Developers.

Autoren/Hrsg.

Majkic, Zoran

Fachgebiete

• Mathematik | Informatik EDV | Informatik Informatik Künstliche Intelligenz Wissensbasierte Systeme, Expertensysteme
• Mathematik | Informatik EDV | Informatik Daten / Datenbanken Big Data

Über Autor(innen)

Dr Zoran Majkic

He has published more than 80 papers in computer and intelligent systems (see my DBLP record https://dblp.org/pid/66/4092.html ), and two books in Computer Science: 1. Soft Computing Applications in Industry, Copyright © 2008, Springer-Verlag , 386p. ISBN 978-3-540-77465-5, 2. Big Data Integration Theory, Copyright © 2014, XX, Springer-Verlag , 516p. ISBN 978-3-319-04155-1 February 10, 2014 This second book obtained in 2021 four achievements 1. Best book in Database Theory of all times, 2. Best Big Data book of all times 3. Best Computer Science e-Book of all times 4. Best Database Schema book of all times More about my research and academic activities and publishing you can find at my Homepage https://zoranmajkic.webs.com/