Central Library

Normal view MARC view ISBD view

Intensional First-Order Logic : From AI to New SQL Big Data / Zoran Majkic.

By: Majkic, Zoran [author.].
Material type: materialTypeLabelBookPublisher: Berlin ; Boston : De Gruyter, [2022]Copyright date: ©2022Description: 1 online resource (XXVIII, 514 p.).Content type: text Media type: computer Carrier type: online resourceISBN: 9783110981438.Subject(s): Computer logic | First-order logic | First-Order Logic | Intelligent knowledge systems | Intensional semantics | P2P Web semantics | COMPUTERS / Information Theory | First-Order Logic | Intelligent knowledge systems | Intensional semantics | P2P Web semanticsAdditional physical formats: No title; No titleDDC classification: 004.015113 Online resources: Click here to access online | Click here to access online | Cover Issued also in print.
Contents:
Frontmatter -- Preface -- Acknowledgments -- Dependencies between the chapters -- Notation conventions -- Contents -- 1 Theory of new intensional first-order logic -- 2 Applications of the intensional abstraction operator -- 3 Intensional semantics for P2P database systems -- 4 Intensional RDB manifesto: flexible big data and NewSQL -- 5 Theory of many-valued intensional first-order logic -- 6 Applications of many-valued intensional first-order logic -- A Appendix -- Bibliography -- Index
Title is part of eBook package:DG Plus DeG Package 2022 Part 1Title is part of eBook package:EBOOK PACKAGE COMPLETE 2022 EnglishTitle is part of eBook package:EBOOK PACKAGE COMPLETE 2022Title is part of eBook package:EBOOK PACKAGE Engineering, Computer Sciences 2022 EnglishTitle is part of eBook package:EBOOK PACKAGE Engineering, Computer Sciences 2022Summary: 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.
    average rating: 0.0 (0 votes)
No physical items for this record

Frontmatter -- Preface -- Acknowledgments -- Dependencies between the chapters -- Notation conventions -- Contents -- 1 Theory of new intensional first-order logic -- 2 Applications of the intensional abstraction operator -- 3 Intensional semantics for P2P database systems -- 4 Intensional RDB manifesto: flexible big data and NewSQL -- 5 Theory of many-valued intensional first-order logic -- 6 Applications of many-valued intensional first-order logic -- A Appendix -- Bibliography -- Index

restricted access online access with authorization star

http://purl.org/coar/access_right/c_16ec

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.

Issued also in print.

Mode of access: Internet via World Wide Web.

In English.

Description based on online resource; title from PDF title page (publisher's Web site, viewed 29. Mai 2023)

There are no comments for this item.

Log in to your account to post a comment.