Majkic, Zoran,  <br/><br/>
Intensional First-Order Logic :  From AI to New SQL Big Data / 
Zoran Majkic. 
 - 1 online resource (XXVIII, 514 p.) 
<br/><br/> 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 
<br/><br/> restricted access  http://purl.org/coar/access_right/c_16ec 
<br/><br/> 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. 
<br/><br/>
<br/><br/><br/>Mode of access: Internet via World Wide Web. 
<br/><br/><br/>In English. 
<br/><br/><label>ISBN: </label>9783110981438 
<br/><br/><label>Standard No.: </label>10.1515/9783110981438  doi 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Computer logic.<br/>First-order logic.<br/>First-Order Logic.<br/>Intelligent knowledge systems.<br/>Intensional semantics.<br/>P2P Web semantics.<br/>COMPUTERS / Information Theory.
<br/><br/><label>Subjects--Index Terms: </label>First-Order Logic. Intelligent knowledge systems. Intensional semantics. P2P Web semantics. 
<br/><br/><label>LC Class. No.: </label>QA76.9.L63  / M35 2022 
<br/><br/><label>Dewey Class. No.: </label>004.015113