Lattice-Valued Logic: An Alternative Approach to Treat Fuzziness and Incomparability
Lattice-valued logic aims at establishing the logical foundation for uncertain information processing routinely performed by humans and artificial intelligence systems. In this textbook for the first time a general introduction on lattice-valued logic is given. It systematically summarizes research...
Gespeichert in:
| Hauptverfasser: | , , , |
|---|---|
| Format: | Elektronisch E-Book |
| Sprache: | English |
| Veröffentlicht: |
Berlin, Heidelberg
Springer Berlin Heidelberg
2003
|
| Schriftenreihe: | Studies in Fuzziness and Soft Computing
132 |
| Schlagworte: | |
| Online-Zugang: | FHI01 BTU01 Volltext |
| Zusammenfassung: | Lattice-valued logic aims at establishing the logical foundation for uncertain information processing routinely performed by humans and artificial intelligence systems. In this textbook for the first time a general introduction on lattice-valued logic is given. It systematically summarizes research from the basic notions up to recent results on lattice implication algebras, lattice-valued logic systems based on lattice implication algebras, as well as the corresponding reasoning theories and methods. The book provides the suitable theoretical logical background of lattice-valued logic systems and supports newly designed intelligent uncertain-information-processing systems and a wide spectrum of intelligent learning tasks |
| Beschreibung: | 1 Online-Ressource (XVI, 390 p) |
| ISBN: | 9783540448471 |
| DOI: | 10.1007/978-3-540-44847-1 |
Internformat
MARC
| LEADER | 00000nmm a2200000zcb4500 | ||
|---|---|---|---|
| 001 | BV045149212 | ||
| 003 | DE-604 | ||
| 005 | 00000000000000.0 | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 180827s2003 |||| o||u| ||||||eng d | ||
| 020 | |a 9783540448471 |9 978-3-540-44847-1 | ||
| 024 | 7 | |a 10.1007/978-3-540-44847-1 |2 doi | |
| 035 | |a (ZDB-2-ENG)978-3-540-44847-1 | ||
| 035 | |a (OCoLC)1050949051 | ||
| 035 | |a (DE-599)BVBBV045149212 | ||
| 040 | |a DE-604 |b ger |e aacr | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-573 |a DE-634 | ||
| 082 | 0 | |a 620 |2 23 | |
| 084 | |a ST 301 |0 (DE-625)143651: |2 rvk | ||
| 100 | 1 | |a Xu, Yang |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Lattice-Valued Logic |b An Alternative Approach to Treat Fuzziness and Incomparability |c by Yang Xu, Keyun Qin, Da Ruan, Jun Liu |
| 264 | 1 | |a Berlin, Heidelberg |b Springer Berlin Heidelberg |c 2003 | |
| 300 | |a 1 Online-Ressource (XVI, 390 p) | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b c |2 rdamedia | ||
| 338 | |b cr |2 rdacarrier | ||
| 490 | 0 | |a Studies in Fuzziness and Soft Computing |v 132 | |
| 520 | |a Lattice-valued logic aims at establishing the logical foundation for uncertain information processing routinely performed by humans and artificial intelligence systems. In this textbook for the first time a general introduction on lattice-valued logic is given. It systematically summarizes research from the basic notions up to recent results on lattice implication algebras, lattice-valued logic systems based on lattice implication algebras, as well as the corresponding reasoning theories and methods. The book provides the suitable theoretical logical background of lattice-valued logic systems and supports newly designed intelligent uncertain-information-processing systems and a wide spectrum of intelligent learning tasks | ||
| 650 | 4 | |a Engineering | |
| 650 | 4 | |a Complexity | |
| 650 | 4 | |a Mathematical Logic and Foundations | |
| 650 | 4 | |a Systems Theory, Control | |
| 650 | 4 | |a Math Applications in Computer Science | |
| 650 | 4 | |a Artificial Intelligence (incl. Robotics) | |
| 650 | 4 | |a Group Theory and Generalizations | |
| 650 | 4 | |a Engineering | |
| 650 | 4 | |a Computer science / Mathematics | |
| 650 | 4 | |a Artificial intelligence | |
| 650 | 4 | |a Group theory | |
| 650 | 4 | |a System theory | |
| 650 | 4 | |a Mathematical logic | |
| 650 | 4 | |a Complexity, Computational | |
| 650 | 0 | 7 | |a Künstliche Intelligenz |0 (DE-588)4033447-8 |2 gnd |9 rswk-swf |
| 689 | 0 | 0 | |a Künstliche Intelligenz |0 (DE-588)4033447-8 |D s |
| 689 | 0 | |8 1\p |5 DE-604 | |
| 700 | 1 | |a Qin, Keyun |4 aut | |
| 700 | 1 | |a Ruan, Da |4 aut | |
| 700 | 1 | |a Liu, Jun |4 aut | |
| 776 | 0 | 8 | |i Erscheint auch als |n Druck-Ausgabe |z 9783642072796 |
| 856 | 4 | 0 | |u https://doi.org/10.1007/978-3-540-44847-1 |x Verlag |z URL des Erstveröffentlichers |3 Volltext |
| 912 | |a ZDB-2-ENG | ||
| 940 | 1 | |q ZDB-2-ENG_2000/2004 | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-030538911 | ||
| 883 | 1 | |8 1\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
| 966 | e | |u https://doi.org/10.1007/978-3-540-44847-1 |l FHI01 |p ZDB-2-ENG |q ZDB-2-ENG_2000/2004 |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-540-44847-1 |l BTU01 |p ZDB-2-ENG |q ZDB-2-ENG_Archiv |x Verlag |3 Volltext | |
Datensatz im Suchindex
| _version_ | 1804178820603838464 |
|---|---|
| any_adam_object | |
| author | Xu, Yang Qin, Keyun Ruan, Da Liu, Jun |
| author_facet | Xu, Yang Qin, Keyun Ruan, Da Liu, Jun |
| author_role | aut aut aut aut |
| author_sort | Xu, Yang |
| author_variant | y x yx k q kq d r dr j l jl |
| building | Verbundindex |
| bvnumber | BV045149212 |
| classification_rvk | ST 301 |
| collection | ZDB-2-ENG |
| ctrlnum | (ZDB-2-ENG)978-3-540-44847-1 (OCoLC)1050949051 (DE-599)BVBBV045149212 |
| dewey-full | 620 |
| dewey-hundreds | 600 - Technology (Applied sciences) |
| dewey-ones | 620 - Engineering and allied operations |
| dewey-raw | 620 |
| dewey-search | 620 |
| dewey-sort | 3620 |
| dewey-tens | 620 - Engineering and allied operations |
| discipline | Informatik |
| doi_str_mv | 10.1007/978-3-540-44847-1 |
| format | Electronic eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>03158nmm a2200649zcb4500</leader><controlfield tag="001">BV045149212</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">00000000000000.0</controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">180827s2003 |||| o||u| ||||||eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783540448471</subfield><subfield code="9">978-3-540-44847-1</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1007/978-3-540-44847-1</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(ZDB-2-ENG)978-3-540-44847-1</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)1050949051</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV045149212</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-573</subfield><subfield code="a">DE-634</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">620</subfield><subfield code="2">23</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 301</subfield><subfield code="0">(DE-625)143651:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Xu, Yang</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Lattice-Valued Logic</subfield><subfield code="b">An Alternative Approach to Treat Fuzziness and Incomparability</subfield><subfield code="c">by Yang Xu, Keyun Qin, Da Ruan, Jun Liu</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin, Heidelberg</subfield><subfield code="b">Springer Berlin Heidelberg</subfield><subfield code="c">2003</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (XVI, 390 p)</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="490" ind1="0" ind2=" "><subfield code="a">Studies in Fuzziness and Soft Computing</subfield><subfield code="v">132</subfield></datafield><datafield tag="520" ind1=" " ind2=" "><subfield code="a">Lattice-valued logic aims at establishing the logical foundation for uncertain information processing routinely performed by humans and artificial intelligence systems. In this textbook for the first time a general introduction on lattice-valued logic is given. It systematically summarizes research from the basic notions up to recent results on lattice implication algebras, lattice-valued logic systems based on lattice implication algebras, as well as the corresponding reasoning theories and methods. The book provides the suitable theoretical logical background of lattice-valued logic systems and supports newly designed intelligent uncertain-information-processing systems and a wide spectrum of intelligent learning tasks</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Engineering</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Complexity</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Mathematical Logic and Foundations</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Systems Theory, Control</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Math Applications in Computer Science</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Artificial Intelligence (incl. Robotics)</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Group Theory and Generalizations</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Engineering</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer science / Mathematics</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Artificial intelligence</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Group theory</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">System theory</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Mathematical logic</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Complexity, Computational</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="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=" "><subfield code="8">1\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Qin, Keyun</subfield><subfield code="4">aut</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Ruan, Da</subfield><subfield code="4">aut</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Liu, Jun</subfield><subfield code="4">aut</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">9783642072796</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1007/978-3-540-44847-1</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-2-ENG</subfield></datafield><datafield tag="940" ind1="1" ind2=" "><subfield code="q">ZDB-2-ENG_2000/2004</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-030538911</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">https://doi.org/10.1007/978-3-540-44847-1</subfield><subfield code="l">FHI01</subfield><subfield code="p">ZDB-2-ENG</subfield><subfield code="q">ZDB-2-ENG_2000/2004</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.1007/978-3-540-44847-1</subfield><subfield code="l">BTU01</subfield><subfield code="p">ZDB-2-ENG</subfield><subfield code="q">ZDB-2-ENG_Archiv</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield></record></collection> |
| id | DE-604.BV045149212 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-10T08:10:03Z |
| institution | BVB |
| isbn | 9783540448471 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-030538911 |
| oclc_num | 1050949051 |
| open_access_boolean | |
| owner | DE-573 DE-634 |
| owner_facet | DE-573 DE-634 |
| physical | 1 Online-Ressource (XVI, 390 p) |
| psigel | ZDB-2-ENG ZDB-2-ENG_2000/2004 ZDB-2-ENG ZDB-2-ENG_2000/2004 ZDB-2-ENG ZDB-2-ENG_Archiv |
| publishDate | 2003 |
| publishDateSearch | 2003 |
| publishDateSort | 2003 |
| publisher | Springer Berlin Heidelberg |
| record_format | marc |
| series2 | Studies in Fuzziness and Soft Computing |
| spelling | Xu, Yang Verfasser aut Lattice-Valued Logic An Alternative Approach to Treat Fuzziness and Incomparability by Yang Xu, Keyun Qin, Da Ruan, Jun Liu Berlin, Heidelberg Springer Berlin Heidelberg 2003 1 Online-Ressource (XVI, 390 p) txt rdacontent c rdamedia cr rdacarrier Studies in Fuzziness and Soft Computing 132 Lattice-valued logic aims at establishing the logical foundation for uncertain information processing routinely performed by humans and artificial intelligence systems. In this textbook for the first time a general introduction on lattice-valued logic is given. It systematically summarizes research from the basic notions up to recent results on lattice implication algebras, lattice-valued logic systems based on lattice implication algebras, as well as the corresponding reasoning theories and methods. The book provides the suitable theoretical logical background of lattice-valued logic systems and supports newly designed intelligent uncertain-information-processing systems and a wide spectrum of intelligent learning tasks Engineering Complexity Mathematical Logic and Foundations Systems Theory, Control Math Applications in Computer Science Artificial Intelligence (incl. Robotics) Group Theory and Generalizations Computer science / Mathematics Artificial intelligence Group theory System theory Mathematical logic Complexity, Computational Künstliche Intelligenz (DE-588)4033447-8 gnd rswk-swf Künstliche Intelligenz (DE-588)4033447-8 s 1\p DE-604 Qin, Keyun aut Ruan, Da aut Liu, Jun aut Erscheint auch als Druck-Ausgabe 9783642072796 https://doi.org/10.1007/978-3-540-44847-1 Verlag URL des Erstveröffentlichers Volltext 1\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk |
| spellingShingle | Xu, Yang Qin, Keyun Ruan, Da Liu, Jun Lattice-Valued Logic An Alternative Approach to Treat Fuzziness and Incomparability Engineering Complexity Mathematical Logic and Foundations Systems Theory, Control Math Applications in Computer Science Artificial Intelligence (incl. Robotics) Group Theory and Generalizations Computer science / Mathematics Artificial intelligence Group theory System theory Mathematical logic Complexity, Computational Künstliche Intelligenz (DE-588)4033447-8 gnd |
| subject_GND | (DE-588)4033447-8 |
| title | Lattice-Valued Logic An Alternative Approach to Treat Fuzziness and Incomparability |
| title_auth | Lattice-Valued Logic An Alternative Approach to Treat Fuzziness and Incomparability |
| title_exact_search | Lattice-Valued Logic An Alternative Approach to Treat Fuzziness and Incomparability |
| title_full | Lattice-Valued Logic An Alternative Approach to Treat Fuzziness and Incomparability by Yang Xu, Keyun Qin, Da Ruan, Jun Liu |
| title_fullStr | Lattice-Valued Logic An Alternative Approach to Treat Fuzziness and Incomparability by Yang Xu, Keyun Qin, Da Ruan, Jun Liu |
| title_full_unstemmed | Lattice-Valued Logic An Alternative Approach to Treat Fuzziness and Incomparability by Yang Xu, Keyun Qin, Da Ruan, Jun Liu |
| title_short | Lattice-Valued Logic |
| title_sort | lattice valued logic an alternative approach to treat fuzziness and incomparability |
| title_sub | An Alternative Approach to Treat Fuzziness and Incomparability |
| topic | Engineering Complexity Mathematical Logic and Foundations Systems Theory, Control Math Applications in Computer Science Artificial Intelligence (incl. Robotics) Group Theory and Generalizations Computer science / Mathematics Artificial intelligence Group theory System theory Mathematical logic Complexity, Computational Künstliche Intelligenz (DE-588)4033447-8 gnd |
| topic_facet | Engineering Complexity Mathematical Logic and Foundations Systems Theory, Control Math Applications in Computer Science Artificial Intelligence (incl. Robotics) Group Theory and Generalizations Computer science / Mathematics Artificial intelligence Group theory System theory Mathematical logic Complexity, Computational Künstliche Intelligenz |
| url | https://doi.org/10.1007/978-3-540-44847-1 |
| work_keys_str_mv | AT xuyang latticevaluedlogicanalternativeapproachtotreatfuzzinessandincomparability AT qinkeyun latticevaluedlogicanalternativeapproachtotreatfuzzinessandincomparability AT ruanda latticevaluedlogicanalternativeapproachtotreatfuzzinessandincomparability AT liujun latticevaluedlogicanalternativeapproachtotreatfuzzinessandincomparability |