Non-axiomatic logic: a model of intelligent reasoning
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Elektronisch E-Book |
| Sprache: | English |
| Veröffentlicht: |
New Jersey
World Scientific
2013
|
| Schlagworte: | |
| Online-Zugang: | FAW01 FAW02 Volltext |
| Beschreibung: | Includes bibliographical references and index This book provides a systematic and comprehensive description of Non-Axiomatic Logic, which is the result of the author's research for about three decades.Non-Axiomatic Logic is designed to provide a uniform logical foundation for Artificial Intelligence, as well as an abstract description of the "laws of thought" followed by the human mind. Different from "mathematical" logic, where the focus is the regularity required when demonstrating mathematical conclusions, Non-Axiomatic Logic is an attempt to return to the original aim of logic, that is, to formulate the regularity in actual human thin 1. Introduction -- 2. IL-1 : idealized situation -- 3. NAL-1 : basic syntax and semantics -- 4. NAL-1 : basic inference rules -- 5. NARS : basic memory and control -- 6. NAL-2 : derivative copulas -- 7. NAL-3 : set-theoretic terms -- 8. NAL-4 : relational terms -- 9. NAL-5 : statements as terms -- 10. NAL-6 : variable terms -- 11. NAL-7 : events as statements -- 12. NAL-8 : operations and goals as events -- 13. NAL-9 : self-monitoring and self-control -- 14. Summary and beyond |
| Beschreibung: | 1 Online-Ressource (pages cm.) |
| ISBN: | 9789814440271 9789814440288 9814440272 9814440280 |
Internformat
MARC
| LEADER | 00000nmm a2200000zc 4500 | ||
|---|---|---|---|
| 001 | BV043156347 | ||
| 003 | DE-604 | ||
| 005 | 00000000000000.0 | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 151126s2013 |||| o||u| ||||||eng d | ||
| 020 | |a 9789814440271 |9 978-981-4440-27-1 | ||
| 020 | |a 9789814440288 |c electronic bk. |9 978-981-4440-28-8 | ||
| 020 | |a 9814440272 |9 981-4440-27-2 | ||
| 020 | |a 9814440280 |c electronic bk. |9 981-4440-28-0 | ||
| 035 | |a (OCoLC)842932675 | ||
| 035 | |a (DE-599)BVBBV043156347 | ||
| 040 | |a DE-604 |b ger |e aacr | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-1046 |a DE-1047 | ||
| 082 | 0 | |a 511.3/6 |2 23 | |
| 100 | 1 | |a Wang, Pei |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Non-axiomatic logic |b a model of intelligent reasoning |c Pei Wang, Temple University, USA. |
| 264 | 1 | |a New Jersey |b World Scientific |c 2013 | |
| 300 | |a 1 Online-Ressource (pages cm.) | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b c |2 rdamedia | ||
| 338 | |b cr |2 rdacarrier | ||
| 500 | |a Includes bibliographical references and index | ||
| 500 | |a This book provides a systematic and comprehensive description of Non-Axiomatic Logic, which is the result of the author's research for about three decades.Non-Axiomatic Logic is designed to provide a uniform logical foundation for Artificial Intelligence, as well as an abstract description of the "laws of thought" followed by the human mind. Different from "mathematical" logic, where the focus is the regularity required when demonstrating mathematical conclusions, Non-Axiomatic Logic is an attempt to return to the original aim of logic, that is, to formulate the regularity in actual human thin | ||
| 500 | |a 1. Introduction -- 2. IL-1 : idealized situation -- 3. NAL-1 : basic syntax and semantics -- 4. NAL-1 : basic inference rules -- 5. NARS : basic memory and control -- 6. NAL-2 : derivative copulas -- 7. NAL-3 : set-theoretic terms -- 8. NAL-4 : relational terms -- 9. NAL-5 : statements as terms -- 10. NAL-6 : variable terms -- 11. NAL-7 : events as statements -- 12. NAL-8 : operations and goals as events -- 13. NAL-9 : self-monitoring and self-control -- 14. Summary and beyond | ||
| 650 | 7 | |a MATHEMATICS / Infinity |2 bisacsh | |
| 650 | 7 | |a MATHEMATICS / Logic |2 bisacsh | |
| 650 | 4 | |a Künstliche Intelligenz | |
| 650 | 4 | |a Artificial intelligence | |
| 650 | 4 | |a Logic | |
| 650 | 0 | 7 | |a Künstliche Intelligenz |0 (DE-588)4033447-8 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Logik |0 (DE-588)4036202-4 |2 gnd |9 rswk-swf |
| 689 | 0 | 0 | |a Künstliche Intelligenz |0 (DE-588)4033447-8 |D s |
| 689 | 0 | 1 | |a Logik |0 (DE-588)4036202-4 |D s |
| 689 | 0 | |8 1\p |5 DE-604 | |
| 856 | 4 | 0 | |u http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=575407 |x Aggregator |3 Volltext |
| 912 | |a ZDB-4-EBA | ||
| 999 | |a oai:aleph.bib-bvb.de:BVB01-028580538 | ||
| 883 | 1 | |8 1\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
| 966 | e | |u http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=575407 |l FAW01 |p ZDB-4-EBA |q FAW_PDA_EBA |x Aggregator |3 Volltext | |
| 966 | e | |u http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=575407 |l FAW02 |p ZDB-4-EBA |q FAW_PDA_EBA |x Aggregator |3 Volltext | |
Datensatz im Suchindex
| _version_ | 1804175621923799040 |
|---|---|
| any_adam_object | |
| author | Wang, Pei |
| author_facet | Wang, Pei |
| author_role | aut |
| author_sort | Wang, Pei |
| author_variant | p w pw |
| building | Verbundindex |
| bvnumber | BV043156347 |
| collection | ZDB-4-EBA |
| ctrlnum | (OCoLC)842932675 (DE-599)BVBBV043156347 |
| dewey-full | 511.3/6 |
| dewey-hundreds | 500 - Natural sciences and mathematics |
| dewey-ones | 511 - General principles of mathematics |
| dewey-raw | 511.3/6 |
| dewey-search | 511.3/6 |
| dewey-sort | 3511.3 16 |
| dewey-tens | 510 - Mathematics |
| discipline | Mathematik |
| format | Electronic eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>03162nmm a2200517zc 4500</leader><controlfield tag="001">BV043156347</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">00000000000000.0</controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">151126s2013 |||| o||u| ||||||eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9789814440271</subfield><subfield code="9">978-981-4440-27-1</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9789814440288</subfield><subfield code="c">electronic bk.</subfield><subfield code="9">978-981-4440-28-8</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9814440272</subfield><subfield code="9">981-4440-27-2</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9814440280</subfield><subfield code="c">electronic bk.</subfield><subfield code="9">981-4440-28-0</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)842932675</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV043156347</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">aacr</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-1046</subfield><subfield code="a">DE-1047</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">511.3/6</subfield><subfield code="2">23</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Wang, Pei</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Non-axiomatic logic</subfield><subfield code="b">a model of intelligent reasoning</subfield><subfield code="c">Pei Wang, Temple University, USA.</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">New Jersey</subfield><subfield code="b">World Scientific</subfield><subfield code="c">2013</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (pages cm.)</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">Includes bibliographical references and index</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">This book provides a systematic and comprehensive description of Non-Axiomatic Logic, which is the result of the author's research for about three decades.Non-Axiomatic Logic is designed to provide a uniform logical foundation for Artificial Intelligence, as well as an abstract description of the "laws of thought" followed by the human mind. Different from "mathematical" logic, where the focus is the regularity required when demonstrating mathematical conclusions, Non-Axiomatic Logic is an attempt to return to the original aim of logic, that is, to formulate the regularity in actual human thin</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">1. Introduction -- 2. IL-1 : idealized situation -- 3. NAL-1 : basic syntax and semantics -- 4. NAL-1 : basic inference rules -- 5. NARS : basic memory and control -- 6. NAL-2 : derivative copulas -- 7. NAL-3 : set-theoretic terms -- 8. NAL-4 : relational terms -- 9. NAL-5 : statements as terms -- 10. NAL-6 : variable terms -- 11. NAL-7 : events as statements -- 12. NAL-8 : operations and goals as events -- 13. NAL-9 : self-monitoring and self-control -- 14. Summary and beyond</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">MATHEMATICS / Infinity</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">MATHEMATICS / Logic</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Künstliche Intelligenz</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Artificial intelligence</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logic</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Künstliche Intelligenz</subfield><subfield code="0">(DE-588)4033447-8</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Logik</subfield><subfield code="0">(DE-588)4036202-4</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Künstliche Intelligenz</subfield><subfield code="0">(DE-588)4033447-8</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Logik</subfield><subfield code="0">(DE-588)4036202-4</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="8">1\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=575407</subfield><subfield code="x">Aggregator</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-4-EBA</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-028580538</subfield></datafield><datafield tag="883" ind1="1" ind2=" "><subfield code="8">1\p</subfield><subfield code="a">cgwrk</subfield><subfield code="d">20201028</subfield><subfield code="q">DE-101</subfield><subfield code="u">https://d-nb.info/provenance/plan#cgwrk</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=575407</subfield><subfield code="l">FAW01</subfield><subfield code="p">ZDB-4-EBA</subfield><subfield code="q">FAW_PDA_EBA</subfield><subfield code="x">Aggregator</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=575407</subfield><subfield code="l">FAW02</subfield><subfield code="p">ZDB-4-EBA</subfield><subfield code="q">FAW_PDA_EBA</subfield><subfield code="x">Aggregator</subfield><subfield code="3">Volltext</subfield></datafield></record></collection> |
| id | DE-604.BV043156347 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-10T07:19:12Z |
| institution | BVB |
| isbn | 9789814440271 9789814440288 9814440272 9814440280 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-028580538 |
| oclc_num | 842932675 |
| open_access_boolean | |
| owner | DE-1046 DE-1047 |
| owner_facet | DE-1046 DE-1047 |
| physical | 1 Online-Ressource (pages cm.) |
| psigel | ZDB-4-EBA ZDB-4-EBA FAW_PDA_EBA |
| publishDate | 2013 |
| publishDateSearch | 2013 |
| publishDateSort | 2013 |
| publisher | World Scientific |
| record_format | marc |
| spelling | Wang, Pei Verfasser aut Non-axiomatic logic a model of intelligent reasoning Pei Wang, Temple University, USA. New Jersey World Scientific 2013 1 Online-Ressource (pages cm.) txt rdacontent c rdamedia cr rdacarrier Includes bibliographical references and index This book provides a systematic and comprehensive description of Non-Axiomatic Logic, which is the result of the author's research for about three decades.Non-Axiomatic Logic is designed to provide a uniform logical foundation for Artificial Intelligence, as well as an abstract description of the "laws of thought" followed by the human mind. Different from "mathematical" logic, where the focus is the regularity required when demonstrating mathematical conclusions, Non-Axiomatic Logic is an attempt to return to the original aim of logic, that is, to formulate the regularity in actual human thin 1. Introduction -- 2. IL-1 : idealized situation -- 3. NAL-1 : basic syntax and semantics -- 4. NAL-1 : basic inference rules -- 5. NARS : basic memory and control -- 6. NAL-2 : derivative copulas -- 7. NAL-3 : set-theoretic terms -- 8. NAL-4 : relational terms -- 9. NAL-5 : statements as terms -- 10. NAL-6 : variable terms -- 11. NAL-7 : events as statements -- 12. NAL-8 : operations and goals as events -- 13. NAL-9 : self-monitoring and self-control -- 14. Summary and beyond MATHEMATICS / Infinity bisacsh MATHEMATICS / Logic bisacsh Künstliche Intelligenz Artificial intelligence Logic Künstliche Intelligenz (DE-588)4033447-8 gnd rswk-swf Logik (DE-588)4036202-4 gnd rswk-swf Künstliche Intelligenz (DE-588)4033447-8 s Logik (DE-588)4036202-4 s 1\p DE-604 http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=575407 Aggregator Volltext 1\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk |
| spellingShingle | Wang, Pei Non-axiomatic logic a model of intelligent reasoning MATHEMATICS / Infinity bisacsh MATHEMATICS / Logic bisacsh Künstliche Intelligenz Artificial intelligence Logic Künstliche Intelligenz (DE-588)4033447-8 gnd Logik (DE-588)4036202-4 gnd |
| subject_GND | (DE-588)4033447-8 (DE-588)4036202-4 |
| title | Non-axiomatic logic a model of intelligent reasoning |
| title_auth | Non-axiomatic logic a model of intelligent reasoning |
| title_exact_search | Non-axiomatic logic a model of intelligent reasoning |
| title_full | Non-axiomatic logic a model of intelligent reasoning Pei Wang, Temple University, USA. |
| title_fullStr | Non-axiomatic logic a model of intelligent reasoning Pei Wang, Temple University, USA. |
| title_full_unstemmed | Non-axiomatic logic a model of intelligent reasoning Pei Wang, Temple University, USA. |
| title_short | Non-axiomatic logic |
| title_sort | non axiomatic logic a model of intelligent reasoning |
| title_sub | a model of intelligent reasoning |
| topic | MATHEMATICS / Infinity bisacsh MATHEMATICS / Logic bisacsh Künstliche Intelligenz Artificial intelligence Logic Künstliche Intelligenz (DE-588)4033447-8 gnd Logik (DE-588)4036202-4 gnd |
| topic_facet | MATHEMATICS / Infinity MATHEMATICS / Logic Künstliche Intelligenz Artificial intelligence Logic Logik |
| url | http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=575407 |
| work_keys_str_mv | AT wangpei nonaxiomaticlogicamodelofintelligentreasoning |