Commonsense reasoning:
To endow computers with common sense is one of the major long-term goals of Artificial Intelligence research. One approach to this problem is to formalize commonsense reasoning using mathematical logic. Commonsense Reasoning is a detailed, high-level reference on logic-based commonsense reasoning. I...
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Elektronisch E-Book |
| Sprache: | English |
| Veröffentlicht: |
Amsterdam Boston
Elsevier Morgan Kaufmann
© 2006
|
| Schlagworte: | |
| Online-Zugang: | FLA01 Volltext Volltext |
| Zusammenfassung: | To endow computers with common sense is one of the major long-term goals of Artificial Intelligence research. One approach to this problem is to formalize commonsense reasoning using mathematical logic. Commonsense Reasoning is a detailed, high-level reference on logic-based commonsense reasoning. It uses the event calculus, a highly powerful and usable tool for commonsense reasoning, which Erik T. Mueller demonstrates as the most effective tool for the broadest range of applications. He provides an up-to-date work promoting the use of the event calculus for commonsense reasoning, and bringing into one place information scattered across many books and papers. Mueller shares the knowledge gained in using the event calculus and extends the literature with detailed event calculus solutions to problems that span many areas of the commonsense world. Covers key areas of commonsense reasoning including action, change, defaults, space, and mental states. The first full book on commonsense reasoning to use the event calculus. Contextualizes the event calculus within the framework of commonsense reasoning, introducing the event calculus as the best method overall. Focuses on how to use the event calculus formalism to perform commonsense reasoning, while existing papers and books examine the formalisms themselves. Includes fully worked out proofs and circumscriptions for every example. Describes software tools that can be downloaded and used for automated commonsense reasoning, and real-world applications that have been built using the event calculus |
| Beschreibung: | Includes bibliographical references (pages 361-390) and index |
| Beschreibung: | 1 online resource (xxvi, 404 pages) |
| ISBN: | 9780080476612 0080476619 |
Internformat
MARC
| LEADER | 00000nmm a2200000zc 4500 | ||
|---|---|---|---|
| 001 | BV046123887 | ||
| 003 | DE-604 | ||
| 005 | 00000000000000.0 | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 190827s2006 |||| o||u| ||||||eng d | ||
| 020 | |a 9780080476612 |9 978-0-08-047661-2 | ||
| 020 | |a 0080476619 |9 0-08-047661-9 | ||
| 035 | |a (ZDB-33-ESD)ocn659559288 | ||
| 035 | |a (OCoLC)659559288 | ||
| 035 | |a (DE-599)BVBBV046123887 | ||
| 040 | |a DE-604 |b ger |e rda | ||
| 041 | 0 | |a eng | |
| 082 | 0 | |a 153.4/3 |2 22 | |
| 084 | |a SK 130 |0 (DE-625)143216: |2 rvk | ||
| 084 | |a ST 130 |0 (DE-625)143588: |2 rvk | ||
| 100 | 1 | |a Mueller, Erik T. |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Commonsense reasoning |c Erik T. Mueller |
| 264 | 1 | |a Amsterdam |a Boston |b Elsevier Morgan Kaufmann |c © 2006 | |
| 300 | |a 1 online resource (xxvi, 404 pages) | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b c |2 rdamedia | ||
| 338 | |b cr |2 rdacarrier | ||
| 500 | |a Includes bibliographical references (pages 361-390) and index | ||
| 520 | |a To endow computers with common sense is one of the major long-term goals of Artificial Intelligence research. One approach to this problem is to formalize commonsense reasoning using mathematical logic. Commonsense Reasoning is a detailed, high-level reference on logic-based commonsense reasoning. It uses the event calculus, a highly powerful and usable tool for commonsense reasoning, which Erik T. Mueller demonstrates as the most effective tool for the broadest range of applications. He provides an up-to-date work promoting the use of the event calculus for commonsense reasoning, and bringing into one place information scattered across many books and papers. Mueller shares the knowledge gained in using the event calculus and extends the literature with detailed event calculus solutions to problems that span many areas of the commonsense world. Covers key areas of commonsense reasoning including action, change, defaults, space, and mental states. The first full book on commonsense reasoning to use the event calculus. Contextualizes the event calculus within the framework of commonsense reasoning, introducing the event calculus as the best method overall. Focuses on how to use the event calculus formalism to perform commonsense reasoning, while existing papers and books examine the formalisms themselves. Includes fully worked out proofs and circumscriptions for every example. Describes software tools that can be downloaded and used for automated commonsense reasoning, and real-world applications that have been built using the event calculus | ||
| 650 | 4 | |a Artificial Intelligence | |
| 650 | 4 | |a Electronic Data Processing | |
| 650 | 4 | |a Automation | |
| 650 | 7 | |a Artificial intelligence / Mathematics |2 fast | |
| 650 | 7 | |a Logic, Symbolic and mathematical / Data processing |2 fast | |
| 650 | 4 | |a Commonsense reasoning |x Automation | |
| 650 | 4 | |a Artificial intelligence |x Mathematics | |
| 650 | 4 | |a Logic, Symbolic and mathematical |x Data processing | |
| 650 | 0 | 7 | |a Common sense reasoning |0 (DE-588)4401598-7 |2 gnd |9 rswk-swf |
| 689 | 0 | 0 | |a Common sense reasoning |0 (DE-588)4401598-7 |D s |
| 689 | 0 | |8 1\p |5 DE-604 | |
| 776 | 0 | 8 | |i Erscheint auch als |n Druck-Ausgabe |z 0123693888 |
| 776 | 0 | 8 | |i Erscheint auch als |n Druck-Ausgabe |z 9780123693884 |
| 856 | 4 | 0 | |u http://www.sciencedirect.com/science/book/9780123693884 |x Verlag |z URL des Erstveröffentlichers |3 Volltext |
| 856 | 4 | 0 | |u https://www.sciencedirect.com/science/book/9780123693884 |x Verlag |z URL des Erstveröffentlichers |3 Volltext |
| 912 | |a ZDB-33-ESD | ||
| 999 | |a oai:aleph.bib-bvb.de:BVB01-031504340 | ||
| 883 | 1 | |8 1\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
| 966 | e | |u http://www.sciencedirect.com/science/book/9780123693884 |l FLA01 |p ZDB-33-ESD |q FLA_PDA_ESD |x Verlag |3 Volltext | |
Datensatz im Suchindex
| _version_ | 1804180441316458496 |
|---|---|
| any_adam_object | |
| author | Mueller, Erik T. |
| author_facet | Mueller, Erik T. |
| author_role | aut |
| author_sort | Mueller, Erik T. |
| author_variant | e t m et etm |
| building | Verbundindex |
| bvnumber | BV046123887 |
| classification_rvk | SK 130 ST 130 |
| collection | ZDB-33-ESD |
| ctrlnum | (ZDB-33-ESD)ocn659559288 (OCoLC)659559288 (DE-599)BVBBV046123887 |
| dewey-full | 153.4/3 |
| dewey-hundreds | 100 - Philosophy & psychology |
| dewey-ones | 153 - Conscious mental processes & intelligence |
| dewey-raw | 153.4/3 |
| dewey-search | 153.4/3 |
| dewey-sort | 3153.4 13 |
| dewey-tens | 150 - Psychology |
| discipline | Informatik Psychologie Mathematik |
| format | Electronic eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>03761nmm a2200541zc 4500</leader><controlfield tag="001">BV046123887</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">00000000000000.0</controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">190827s2006 |||| o||u| ||||||eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9780080476612</subfield><subfield code="9">978-0-08-047661-2</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0080476619</subfield><subfield code="9">0-08-047661-9</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(ZDB-33-ESD)ocn659559288</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)659559288</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV046123887</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="082" ind1="0" ind2=" "><subfield code="a">153.4/3</subfield><subfield code="2">22</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">ST 130</subfield><subfield code="0">(DE-625)143588:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Mueller, Erik T.</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Commonsense reasoning</subfield><subfield code="c">Erik T. Mueller</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Amsterdam</subfield><subfield code="a">Boston</subfield><subfield code="b">Elsevier Morgan Kaufmann</subfield><subfield code="c">© 2006</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 online resource (xxvi, 404 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">Includes bibliographical references (pages 361-390) and index</subfield></datafield><datafield tag="520" ind1=" " ind2=" "><subfield code="a">To endow computers with common sense is one of the major long-term goals of Artificial Intelligence research. One approach to this problem is to formalize commonsense reasoning using mathematical logic. Commonsense Reasoning is a detailed, high-level reference on logic-based commonsense reasoning. It uses the event calculus, a highly powerful and usable tool for commonsense reasoning, which Erik T. Mueller demonstrates as the most effective tool for the broadest range of applications. He provides an up-to-date work promoting the use of the event calculus for commonsense reasoning, and bringing into one place information scattered across many books and papers. Mueller shares the knowledge gained in using the event calculus and extends the literature with detailed event calculus solutions to problems that span many areas of the commonsense world. Covers key areas of commonsense reasoning including action, change, defaults, space, and mental states. The first full book on commonsense reasoning to use the event calculus. Contextualizes the event calculus within the framework of commonsense reasoning, introducing the event calculus as the best method overall. Focuses on how to use the event calculus formalism to perform commonsense reasoning, while existing papers and books examine the formalisms themselves. Includes fully worked out proofs and circumscriptions for every example. Describes software tools that can be downloaded and used for automated commonsense reasoning, and real-world applications that have been built using the event calculus</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Artificial Intelligence</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Electronic Data Processing</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Automation</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Artificial intelligence / Mathematics</subfield><subfield code="2">fast</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Logic, Symbolic and mathematical / Data processing</subfield><subfield code="2">fast</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Commonsense reasoning</subfield><subfield code="x">Automation</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Artificial intelligence</subfield><subfield code="x">Mathematics</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logic, Symbolic and mathematical</subfield><subfield code="x">Data processing</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Common sense reasoning</subfield><subfield code="0">(DE-588)4401598-7</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Common sense reasoning</subfield><subfield code="0">(DE-588)4401598-7</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="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Druck-Ausgabe</subfield><subfield code="z">0123693888</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">9780123693884</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">http://www.sciencedirect.com/science/book/9780123693884</subfield><subfield code="x">Verlag</subfield><subfield code="z">URL des Erstveröffentlichers</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://www.sciencedirect.com/science/book/9780123693884</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-33-ESD</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-031504340</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://www.sciencedirect.com/science/book/9780123693884</subfield><subfield code="l">FLA01</subfield><subfield code="p">ZDB-33-ESD</subfield><subfield code="q">FLA_PDA_ESD</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield></record></collection> |
| id | DE-604.BV046123887 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-10T08:35:49Z |
| institution | BVB |
| isbn | 9780080476612 0080476619 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-031504340 |
| oclc_num | 659559288 |
| open_access_boolean | |
| physical | 1 online resource (xxvi, 404 pages) |
| psigel | ZDB-33-ESD ZDB-33-ESD FLA_PDA_ESD |
| publishDate | 2006 |
| publishDateSearch | 2006 |
| publishDateSort | 2006 |
| publisher | Elsevier Morgan Kaufmann |
| record_format | marc |
| spelling | Mueller, Erik T. Verfasser aut Commonsense reasoning Erik T. Mueller Amsterdam Boston Elsevier Morgan Kaufmann © 2006 1 online resource (xxvi, 404 pages) txt rdacontent c rdamedia cr rdacarrier Includes bibliographical references (pages 361-390) and index To endow computers with common sense is one of the major long-term goals of Artificial Intelligence research. One approach to this problem is to formalize commonsense reasoning using mathematical logic. Commonsense Reasoning is a detailed, high-level reference on logic-based commonsense reasoning. It uses the event calculus, a highly powerful and usable tool for commonsense reasoning, which Erik T. Mueller demonstrates as the most effective tool for the broadest range of applications. He provides an up-to-date work promoting the use of the event calculus for commonsense reasoning, and bringing into one place information scattered across many books and papers. Mueller shares the knowledge gained in using the event calculus and extends the literature with detailed event calculus solutions to problems that span many areas of the commonsense world. Covers key areas of commonsense reasoning including action, change, defaults, space, and mental states. The first full book on commonsense reasoning to use the event calculus. Contextualizes the event calculus within the framework of commonsense reasoning, introducing the event calculus as the best method overall. Focuses on how to use the event calculus formalism to perform commonsense reasoning, while existing papers and books examine the formalisms themselves. Includes fully worked out proofs and circumscriptions for every example. Describes software tools that can be downloaded and used for automated commonsense reasoning, and real-world applications that have been built using the event calculus Artificial Intelligence Electronic Data Processing Automation Artificial intelligence / Mathematics fast Logic, Symbolic and mathematical / Data processing fast Commonsense reasoning Automation Artificial intelligence Mathematics Logic, Symbolic and mathematical Data processing Common sense reasoning (DE-588)4401598-7 gnd rswk-swf Common sense reasoning (DE-588)4401598-7 s 1\p DE-604 Erscheint auch als Druck-Ausgabe 0123693888 Erscheint auch als Druck-Ausgabe 9780123693884 http://www.sciencedirect.com/science/book/9780123693884 Verlag URL des Erstveröffentlichers Volltext https://www.sciencedirect.com/science/book/9780123693884 Verlag URL des Erstveröffentlichers Volltext 1\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk |
| spellingShingle | Mueller, Erik T. Commonsense reasoning Artificial Intelligence Electronic Data Processing Automation Artificial intelligence / Mathematics fast Logic, Symbolic and mathematical / Data processing fast Commonsense reasoning Automation Artificial intelligence Mathematics Logic, Symbolic and mathematical Data processing Common sense reasoning (DE-588)4401598-7 gnd |
| subject_GND | (DE-588)4401598-7 |
| title | Commonsense reasoning |
| title_auth | Commonsense reasoning |
| title_exact_search | Commonsense reasoning |
| title_full | Commonsense reasoning Erik T. Mueller |
| title_fullStr | Commonsense reasoning Erik T. Mueller |
| title_full_unstemmed | Commonsense reasoning Erik T. Mueller |
| title_short | Commonsense reasoning |
| title_sort | commonsense reasoning |
| topic | Artificial Intelligence Electronic Data Processing Automation Artificial intelligence / Mathematics fast Logic, Symbolic and mathematical / Data processing fast Commonsense reasoning Automation Artificial intelligence Mathematics Logic, Symbolic and mathematical Data processing Common sense reasoning (DE-588)4401598-7 gnd |
| topic_facet | Artificial Intelligence Electronic Data Processing Automation Artificial intelligence / Mathematics Logic, Symbolic and mathematical / Data processing Commonsense reasoning Automation Artificial intelligence Mathematics Logic, Symbolic and mathematical Data processing Common sense reasoning |
| url | http://www.sciencedirect.com/science/book/9780123693884 https://www.sciencedirect.com/science/book/9780123693884 |
| work_keys_str_mv | AT muellererikt commonsensereasoning |