Intensional First-Order Logic: From AI to New SQL Big Data
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 preser...
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Elektronisch E-Book |
| Sprache: | English |
| Veröffentlicht: |
Berlin ; Boston
De Gruyter
[2022]
|
| Schlagworte: | |
| Online-Zugang: | DE-1043 DE-1046 DE-858 DE-573 DE-898 DE-859 DE-860 DE-91 DE-706 DE-739 URL des Erstveröffentlichers |
| Zusammenfassung: | 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 |
| Beschreibung: | Description based on online resource; title from PDF title page (publisher's Web site, viewed 30. Aug 2022) |
| Beschreibung: | 1 Online-Ressource (XXVIII, 514 pages) |
| ISBN: | 9783110981438 |
| DOI: | 10.1515/9783110981438 |
Internformat
MARC
| LEADER | 00000nam a2200000zc 4500 | ||
|---|---|---|---|
| 001 | BV048457650 | ||
| 003 | DE-604 | ||
| 005 | 20241111 | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 220906s2022 xx o|||| 00||| eng d | ||
| 020 | |a 9783110981438 |9 978-3-11-098143-8 | ||
| 024 | 7 | |a 10.1515/9783110981438 |2 doi | |
| 035 | |a (ZDB-23-DGG)9783110981438 | ||
| 035 | |a (OCoLC)1344267331 | ||
| 035 | |a (DE-599)BVBBV048457650 | ||
| 040 | |a DE-604 |b ger |e rda | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-1043 |a DE-1046 |a DE-858 |a DE-859 |a DE-860 |a DE-739 |a DE-91 |a DE-573 |a DE-898 |a DE-706 | ||
| 084 | |a SK 130 |0 (DE-625)143216: |2 rvk | ||
| 084 | |a TEC 000 |2 stub | ||
| 084 | |a DAT 000 |2 stub | ||
| 100 | 1 | |a Majkic, Zoran |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Intensional First-Order Logic |b From AI to New SQL Big Data |c Zoran Majkic |
| 264 | 1 | |a Berlin ; Boston |b De Gruyter |c [2022] | |
| 264 | 4 | |c © 2022 | |
| 300 | |a 1 Online-Ressource (XXVIII, 514 pages) | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b c |2 rdamedia | ||
| 338 | |b cr |2 rdacarrier | ||
| 500 | |a Description based on online resource; title from PDF title page (publisher's Web site, viewed 30. Aug 2022) | ||
| 520 | |a 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 | ||
| 546 | |a In English | ||
| 650 | 4 | |a First-Order Logic | |
| 650 | 4 | |a Intelligent knowledge systems | |
| 650 | 4 | |a Intensional semantics | |
| 650 | 4 | |a P2P Web semantics | |
| 650 | 7 | |a COMPUTERS / Information Theory |2 bisacsh | |
| 776 | 0 | 8 | |i Erscheint auch als |n Druck-Ausgabe |z 9783110994940 |
| 856 | 4 | 0 | |u https://doi.org/10.1515/9783110981438 |x Verlag |z URL des Erstveröffentlichers |3 Volltext |
| 912 | |a ZDB-23-DGG | ||
| 912 | |a ZDB-23-DEI | ||
| 940 | 1 | |q ZDB-23-DEI16 | |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-033835702 | |
| 966 | e | |u https://doi.org/10.1515/9783110981438 |l DE-1043 |p ZDB-23-DGG |q FAB_PDA_DGG |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1515/9783110981438 |l DE-1046 |p ZDB-23-DGG |q FAW_PDA_DGG |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1515/9783110981438 |l DE-858 |p ZDB-23-DGG |q FCO_PDA_DGG |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1515/9783110981438 |l DE-573 |p ZDB-23-DGG |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1515/9783110981438?locatt=mode:legacy |l DE-898 |p ZDB-23-DEI |q ZDB-23-DEI16 |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1515/9783110981438 |l DE-859 |p ZDB-23-DGG |q FKE_PDA_DGG |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1515/9783110981438 |l DE-860 |p ZDB-23-DGG |q FLA_PDA_DGG |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1515/9783110981438 |l DE-91 |p ZDB-23-DEI |q TUM_Paketkauf_2022 |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1515/9783110981438 |l DE-706 |p ZDB-23-DEI |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1515/9783110981438 |l DE-739 |p ZDB-23-DGG |q UPA_PDA_DGG |x Verlag |3 Volltext | |
Datensatz im Suchindex
| _version_ | 1824508123370487808 |
|---|---|
| adam_text | |
| adam_txt | |
| any_adam_object | |
| any_adam_object_boolean | |
| author | Majkic, Zoran |
| author_facet | Majkic, Zoran |
| author_role | aut |
| author_sort | Majkic, Zoran |
| author_variant | z m zm |
| building | Verbundindex |
| bvnumber | BV048457650 |
| classification_rvk | SK 130 |
| classification_tum | TEC 000 DAT 000 |
| collection | ZDB-23-DGG ZDB-23-DEI |
| ctrlnum | (ZDB-23-DGG)9783110981438 (OCoLC)1344267331 (DE-599)BVBBV048457650 |
| discipline | Technik Informatik Mathematik |
| discipline_str_mv | Technik Informatik Mathematik |
| doi_str_mv | 10.1515/9783110981438 |
| format | Electronic eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>00000nam a2200000zc 4500</leader><controlfield tag="001">BV048457650</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20241111</controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">220906s2022 xx o|||| 00||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783110981438</subfield><subfield code="9">978-3-11-098143-8</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1515/9783110981438</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(ZDB-23-DGG)9783110981438</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)1344267331</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV048457650</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rda</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-1043</subfield><subfield code="a">DE-1046</subfield><subfield code="a">DE-858</subfield><subfield code="a">DE-859</subfield><subfield code="a">DE-860</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-91</subfield><subfield code="a">DE-573</subfield><subfield code="a">DE-898</subfield><subfield code="a">DE-706</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">SK 130</subfield><subfield code="0">(DE-625)143216:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">TEC 000</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 000</subfield><subfield code="2">stub</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Majkic, Zoran</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Intensional First-Order Logic</subfield><subfield code="b">From AI to New SQL Big Data</subfield><subfield code="c">Zoran Majkic</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin ; Boston</subfield><subfield code="b">De Gruyter</subfield><subfield code="c">[2022]</subfield></datafield><datafield tag="264" ind1=" " ind2="4"><subfield code="c">© 2022</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (XXVIII, 514 pages)</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="b">c</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">cr</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Description based on online resource; title from PDF title page (publisher's Web site, viewed 30. Aug 2022)</subfield></datafield><datafield tag="520" ind1=" " ind2=" "><subfield code="a">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</subfield></datafield><datafield tag="546" ind1=" " ind2=" "><subfield code="a">In English</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">First-Order Logic</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Intelligent knowledge systems</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Intensional semantics</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">P2P Web semantics</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">COMPUTERS / Information Theory</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Druck-Ausgabe</subfield><subfield code="z">9783110994940</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1515/9783110981438</subfield><subfield code="x">Verlag</subfield><subfield code="z">URL des Erstveröffentlichers</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-23-DGG</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-23-DEI</subfield></datafield><datafield tag="940" ind1="1" ind2=" "><subfield code="q">ZDB-23-DEI16</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-033835702</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1515/9783110981438</subfield><subfield code="l">DE-1043</subfield><subfield code="p">ZDB-23-DGG</subfield><subfield code="q">FAB_PDA_DGG</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1515/9783110981438</subfield><subfield code="l">DE-1046</subfield><subfield code="p">ZDB-23-DGG</subfield><subfield code="q">FAW_PDA_DGG</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1515/9783110981438</subfield><subfield code="l">DE-858</subfield><subfield code="p">ZDB-23-DGG</subfield><subfield code="q">FCO_PDA_DGG</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1515/9783110981438</subfield><subfield code="l">DE-573</subfield><subfield code="p">ZDB-23-DGG</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1515/9783110981438?locatt=mode:legacy</subfield><subfield code="l">DE-898</subfield><subfield code="p">ZDB-23-DEI</subfield><subfield code="q">ZDB-23-DEI16</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1515/9783110981438</subfield><subfield code="l">DE-859</subfield><subfield code="p">ZDB-23-DGG</subfield><subfield code="q">FKE_PDA_DGG</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1515/9783110981438</subfield><subfield code="l">DE-860</subfield><subfield code="p">ZDB-23-DGG</subfield><subfield code="q">FLA_PDA_DGG</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1515/9783110981438</subfield><subfield code="l">DE-91</subfield><subfield code="p">ZDB-23-DEI</subfield><subfield code="q">TUM_Paketkauf_2022</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1515/9783110981438</subfield><subfield code="l">DE-706</subfield><subfield code="p">ZDB-23-DEI</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1515/9783110981438</subfield><subfield code="l">DE-739</subfield><subfield code="p">ZDB-23-DGG</subfield><subfield code="q">UPA_PDA_DGG</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield></record></collection> |
| id | DE-604.BV048457650 |
| illustrated | Not Illustrated |
| index_date | 2024-07-03T20:32:37Z |
| indexdate | 2025-02-19T17:35:37Z |
| institution | BVB |
| isbn | 9783110981438 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-033835702 |
| oclc_num | 1344267331 |
| open_access_boolean | |
| owner | DE-1043 DE-1046 DE-858 DE-859 DE-860 DE-739 DE-91 DE-BY-TUM DE-573 DE-898 DE-BY-UBR DE-706 |
| owner_facet | DE-1043 DE-1046 DE-858 DE-859 DE-860 DE-739 DE-91 DE-BY-TUM DE-573 DE-898 DE-BY-UBR DE-706 |
| physical | 1 Online-Ressource (XXVIII, 514 pages) |
| psigel | ZDB-23-DGG ZDB-23-DEI ZDB-23-DEI16 ZDB-23-DGG FAB_PDA_DGG ZDB-23-DGG FAW_PDA_DGG ZDB-23-DGG FCO_PDA_DGG ZDB-23-DEI ZDB-23-DEI16 ZDB-23-DGG FKE_PDA_DGG ZDB-23-DGG FLA_PDA_DGG ZDB-23-DEI TUM_Paketkauf_2022 ZDB-23-DGG UPA_PDA_DGG |
| publishDate | 2022 |
| publishDateSearch | 2022 |
| publishDateSort | 2022 |
| publisher | De Gruyter |
| record_format | marc |
| spelling | Majkic, Zoran Verfasser aut Intensional First-Order Logic From AI to New SQL Big Data Zoran Majkic Berlin ; Boston De Gruyter [2022] © 2022 1 Online-Ressource (XXVIII, 514 pages) txt rdacontent c rdamedia cr rdacarrier Description based on online resource; title from PDF title page (publisher's Web site, viewed 30. Aug 2022) 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 In English First-Order Logic Intelligent knowledge systems Intensional semantics P2P Web semantics COMPUTERS / Information Theory bisacsh Erscheint auch als Druck-Ausgabe 9783110994940 https://doi.org/10.1515/9783110981438 Verlag URL des Erstveröffentlichers Volltext |
| spellingShingle | Majkic, Zoran Intensional First-Order Logic From AI to New SQL Big Data First-Order Logic Intelligent knowledge systems Intensional semantics P2P Web semantics COMPUTERS / Information Theory bisacsh |
| title | Intensional First-Order Logic From AI to New SQL Big Data |
| title_auth | Intensional First-Order Logic From AI to New SQL Big Data |
| title_exact_search | Intensional First-Order Logic From AI to New SQL Big Data |
| title_exact_search_txtP | Intensional First-Order Logic From AI to New SQL Big Data |
| title_full | Intensional First-Order Logic From AI to New SQL Big Data Zoran Majkic |
| title_fullStr | Intensional First-Order Logic From AI to New SQL Big Data Zoran Majkic |
| title_full_unstemmed | Intensional First-Order Logic From AI to New SQL Big Data Zoran Majkic |
| title_short | Intensional First-Order Logic |
| title_sort | intensional first order logic from ai to new sql big data |
| title_sub | From AI to New SQL Big Data |
| topic | First-Order Logic Intelligent knowledge systems Intensional semantics P2P Web semantics COMPUTERS / Information Theory bisacsh |
| topic_facet | First-Order Logic Intelligent knowledge systems Intensional semantics P2P Web semantics COMPUTERS / Information Theory |
| url | https://doi.org/10.1515/9783110981438 |
| work_keys_str_mv | AT majkiczoran intensionalfirstorderlogicfromaitonewsqlbigdata |