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

Main
Mathematics - Logic
Intensional First-Order Logic: From AI...

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

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

Zoran Majkic

0 / 4.0

0 comments

Πόσο σας άρεσε αυτό το βιβλίο;

Ποια είναι η ποιότητα του ληφθέντος αρχείου;

Κατεβάστε το βιβλίο για να αξιολογήσετε την ποιότητά του

Ποια είναι η ποιότητα των ληφθέντων αρχείων;

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.

Κατηγορίες:

Mathematics - Logic

Έτος:

2022

Εκδότης:

de Gruyter

Γλώσσα:

english

Σελίδες:

542

ISBN 10:

3110994941