• Open Daily: 10am - 10pm
    Alley-side Pickup: 10am - 7pm

    3038 Hennepin Ave Minneapolis, MN
    612-822-4611

Open Daily: 10am - 10pm | Alley-side Pickup: 10am - 7pm
3038 Hennepin Ave Minneapolis, MN
612-822-4611
Intensional First-Order Logic: From AI to New SQL Big Data

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

Hardcover

DatabasesGeneral Computers

ISBN10: 3110994941
ISBN13: 9783110994940
Publisher: de Gruyter
Published: Sep 6 2022
Pages: 542
Weight: 2.34
Height: 1.19 Width: 6.69 Depth: 9.61
Language: English

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.

Also from

Majkic, Zoran

Also in

General Computers