Knowledge representation, reasoning, and the design of intelligent agents: the answer-set programming approach
Knowledge representation and reasoning is the foundation of artificial intelligence, declarative programming, and the design of knowledge-intensive software systems capable of performing intelligent tasks. Using logical and probabilistic formalisms based on answer set programming (ASP) and action la...
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Elektronisch E-Book |
| Sprache: | English |
| Veröffentlicht: |
Cambridge
Cambridge University Press
2014
|
| Schlagworte: | |
| Online-Zugang: | BSB01 FHN01 UPA01 UBW01 URL des Erstveröffentlichers |
| Zusammenfassung: | Knowledge representation and reasoning is the foundation of artificial intelligence, declarative programming, and the design of knowledge-intensive software systems capable of performing intelligent tasks. Using logical and probabilistic formalisms based on answer set programming (ASP) and action languages, this book shows how knowledge-intensive systems can be given knowledge about the world and how it can be used to solve non-trivial computational problems. The authors maintain a balance between mathematical analysis and practical design of intelligent agents. All the concepts, such as answering queries, planning, diagnostics, and probabilistic reasoning, are illustrated by programs of ASP. The text can be used for AI-related undergraduate and graduate classes and by researchers who would like to learn more about ASP and knowledge representation |
| Beschreibung: | 1 Online-Ressource (xiv, 348 Seiten) |
| ISBN: | 9781139342124 |
| DOI: | 10.1017/CBO9781139342124 |
Internformat
MARC
| LEADER | 00000nmm a2200000zc 4500 | ||
|---|---|---|---|
| 001 | BV043943711 | ||
| 003 | DE-604 | ||
| 005 | 20230704 | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 161206s2014 |||| o||u| ||||||eng d | ||
| 020 | |a 9781139342124 |c Online |9 978-1-139-34212-4 | ||
| 024 | 7 | |a 10.1017/CBO9781139342124 |2 doi | |
| 035 | |a (ZDB-20-CBO)CR9781139342124 | ||
| 035 | |a (OCoLC)967603530 | ||
| 035 | |a (DE-599)BVBBV043943711 | ||
| 040 | |a DE-604 |b ger |e rda | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-12 |a DE-92 |a DE-739 |a DE-20 | ||
| 082 | 0 | |a 006.3 |2 23 | |
| 084 | |a ST 304 |0 (DE-625)143653: |2 rvk | ||
| 100 | 1 | |a Gelfond, Michael |e Verfasser |0 (DE-588)1051601088 |4 aut | |
| 245 | 1 | 0 | |a Knowledge representation, reasoning, and the design of intelligent agents |b the answer-set programming approach |c Michael Gelfond, Texas Tech University, Yulia Kahl |
| 246 | 1 | 3 | |a Knowledge Representation, Reasoning, & the Design of Intelligent Agents |
| 264 | 1 | |a Cambridge |b Cambridge University Press |c 2014 | |
| 300 | |a 1 Online-Ressource (xiv, 348 Seiten) | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b c |2 rdamedia | ||
| 338 | |b cr |2 rdacarrier | ||
| 520 | |a Knowledge representation and reasoning is the foundation of artificial intelligence, declarative programming, and the design of knowledge-intensive software systems capable of performing intelligent tasks. Using logical and probabilistic formalisms based on answer set programming (ASP) and action languages, this book shows how knowledge-intensive systems can be given knowledge about the world and how it can be used to solve non-trivial computational problems. The authors maintain a balance between mathematical analysis and practical design of intelligent agents. All the concepts, such as answering queries, planning, diagnostics, and probabilistic reasoning, are illustrated by programs of ASP. The text can be used for AI-related undergraduate and graduate classes and by researchers who would like to learn more about ASP and knowledge representation | ||
| 650 | 4 | |a Intelligent agents (Computer software) | |
| 650 | 0 | 7 | |a Agent |g Künstliche Intelligenz |0 (DE-588)4310355-8 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Wissensrepräsentation |0 (DE-588)4049534-6 |2 gnd |9 rswk-swf |
| 689 | 0 | 0 | |a Agent |g Künstliche Intelligenz |0 (DE-588)4310355-8 |D s |
| 689 | 0 | 1 | |a Wissensrepräsentation |0 (DE-588)4049534-6 |D s |
| 689 | 0 | |8 1\p |5 DE-604 | |
| 700 | 1 | |a Kahl, Yulia |e Sonstige |0 (DE-588)1051601177 |4 oth | |
| 776 | 0 | 8 | |i Erscheint auch als |n Druckausgabe |z 978-1-107-02956-9 |
| 856 | 4 | 0 | |u https://doi.org/10.1017/CBO9781139342124 |x Verlag |z URL des Erstveröffentlichers |3 Volltext |
| 912 | |a ZDB-20-CBO | ||
| 999 | |a oai:aleph.bib-bvb.de:BVB01-029352682 | ||
| 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.1017/CBO9781139342124 |l BSB01 |p ZDB-20-CBO |q BSB_PDA_CBO |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1017/CBO9781139342124 |l FHN01 |p ZDB-20-CBO |q FHN_PDA_CBO |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1017/CBO9781139342124 |l UPA01 |p ZDB-20-CBO |q UPA_PDA_CBO_Kauf2019 |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1017/CBO9781139342124 |l UBW01 |p ZDB-20-CBO |q UBW_PDA_CBO_Kauf_2023 |x Verlag |3 Volltext | |
Datensatz im Suchindex
| _version_ | 1804176887839195136 |
|---|---|
| any_adam_object | |
| author | Gelfond, Michael |
| author_GND | (DE-588)1051601088 (DE-588)1051601177 |
| author_facet | Gelfond, Michael |
| author_role | aut |
| author_sort | Gelfond, Michael |
| author_variant | m g mg |
| building | Verbundindex |
| bvnumber | BV043943711 |
| classification_rvk | ST 304 |
| collection | ZDB-20-CBO |
| ctrlnum | (ZDB-20-CBO)CR9781139342124 (OCoLC)967603530 (DE-599)BVBBV043943711 |
| dewey-full | 006.3 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 006 - Special computer methods |
| dewey-raw | 006.3 |
| dewey-search | 006.3 |
| dewey-sort | 16.3 |
| dewey-tens | 000 - Computer science, information, general works |
| discipline | Informatik |
| doi_str_mv | 10.1017/CBO9781139342124 |
| format | Electronic eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>03198nmm a2200505zc 4500</leader><controlfield tag="001">BV043943711</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20230704 </controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">161206s2014 |||| o||u| ||||||eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781139342124</subfield><subfield code="c">Online</subfield><subfield code="9">978-1-139-34212-4</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1017/CBO9781139342124</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(ZDB-20-CBO)CR9781139342124</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)967603530</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV043943711</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-12</subfield><subfield code="a">DE-92</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-20</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">006.3</subfield><subfield code="2">23</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 304</subfield><subfield code="0">(DE-625)143653:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Gelfond, Michael</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)1051601088</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Knowledge representation, reasoning, and the design of intelligent agents</subfield><subfield code="b">the answer-set programming approach</subfield><subfield code="c">Michael Gelfond, Texas Tech University, Yulia Kahl</subfield></datafield><datafield tag="246" ind1="1" ind2="3"><subfield code="a">Knowledge Representation, Reasoning, & the Design of Intelligent Agents</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Cambridge</subfield><subfield code="b">Cambridge University Press</subfield><subfield code="c">2014</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (xiv, 348 Seiten)</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="520" ind1=" " ind2=" "><subfield code="a">Knowledge representation and reasoning is the foundation of artificial intelligence, declarative programming, and the design of knowledge-intensive software systems capable of performing intelligent tasks. Using logical and probabilistic formalisms based on answer set programming (ASP) and action languages, this book shows how knowledge-intensive systems can be given knowledge about the world and how it can be used to solve non-trivial computational problems. The authors maintain a balance between mathematical analysis and practical design of intelligent agents. All the concepts, such as answering queries, planning, diagnostics, and probabilistic reasoning, are illustrated by programs of ASP. The text can be used for AI-related undergraduate and graduate classes and by researchers who would like to learn more about ASP and knowledge representation</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Intelligent agents (Computer software)</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Agent</subfield><subfield code="g">Künstliche Intelligenz</subfield><subfield code="0">(DE-588)4310355-8</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Wissensrepräsentation</subfield><subfield code="0">(DE-588)4049534-6</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Agent</subfield><subfield code="g">Künstliche Intelligenz</subfield><subfield code="0">(DE-588)4310355-8</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Wissensrepräsentation</subfield><subfield code="0">(DE-588)4049534-6</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">Kahl, Yulia</subfield><subfield code="e">Sonstige</subfield><subfield code="0">(DE-588)1051601177</subfield><subfield code="4">oth</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Druckausgabe</subfield><subfield code="z">978-1-107-02956-9</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1017/CBO9781139342124</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-20-CBO</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-029352682</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.1017/CBO9781139342124</subfield><subfield code="l">BSB01</subfield><subfield code="p">ZDB-20-CBO</subfield><subfield code="q">BSB_PDA_CBO</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.1017/CBO9781139342124</subfield><subfield code="l">FHN01</subfield><subfield code="p">ZDB-20-CBO</subfield><subfield code="q">FHN_PDA_CBO</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.1017/CBO9781139342124</subfield><subfield code="l">UPA01</subfield><subfield code="p">ZDB-20-CBO</subfield><subfield code="q">UPA_PDA_CBO_Kauf2019</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.1017/CBO9781139342124</subfield><subfield code="l">UBW01</subfield><subfield code="p">ZDB-20-CBO</subfield><subfield code="q">UBW_PDA_CBO_Kauf_2023</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield></record></collection> |
| id | DE-604.BV043943711 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-10T07:39:20Z |
| institution | BVB |
| isbn | 9781139342124 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-029352682 |
| oclc_num | 967603530 |
| open_access_boolean | |
| owner | DE-12 DE-92 DE-739 DE-20 |
| owner_facet | DE-12 DE-92 DE-739 DE-20 |
| physical | 1 Online-Ressource (xiv, 348 Seiten) |
| psigel | ZDB-20-CBO ZDB-20-CBO BSB_PDA_CBO ZDB-20-CBO FHN_PDA_CBO ZDB-20-CBO UPA_PDA_CBO_Kauf2019 ZDB-20-CBO UBW_PDA_CBO_Kauf_2023 |
| publishDate | 2014 |
| publishDateSearch | 2014 |
| publishDateSort | 2014 |
| publisher | Cambridge University Press |
| record_format | marc |
| spelling | Gelfond, Michael Verfasser (DE-588)1051601088 aut Knowledge representation, reasoning, and the design of intelligent agents the answer-set programming approach Michael Gelfond, Texas Tech University, Yulia Kahl Knowledge Representation, Reasoning, & the Design of Intelligent Agents Cambridge Cambridge University Press 2014 1 Online-Ressource (xiv, 348 Seiten) txt rdacontent c rdamedia cr rdacarrier Knowledge representation and reasoning is the foundation of artificial intelligence, declarative programming, and the design of knowledge-intensive software systems capable of performing intelligent tasks. Using logical and probabilistic formalisms based on answer set programming (ASP) and action languages, this book shows how knowledge-intensive systems can be given knowledge about the world and how it can be used to solve non-trivial computational problems. The authors maintain a balance between mathematical analysis and practical design of intelligent agents. All the concepts, such as answering queries, planning, diagnostics, and probabilistic reasoning, are illustrated by programs of ASP. The text can be used for AI-related undergraduate and graduate classes and by researchers who would like to learn more about ASP and knowledge representation Intelligent agents (Computer software) Agent Künstliche Intelligenz (DE-588)4310355-8 gnd rswk-swf Wissensrepräsentation (DE-588)4049534-6 gnd rswk-swf Agent Künstliche Intelligenz (DE-588)4310355-8 s Wissensrepräsentation (DE-588)4049534-6 s 1\p DE-604 Kahl, Yulia Sonstige (DE-588)1051601177 oth Erscheint auch als Druckausgabe 978-1-107-02956-9 https://doi.org/10.1017/CBO9781139342124 Verlag URL des Erstveröffentlichers Volltext 1\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk |
| spellingShingle | Gelfond, Michael Knowledge representation, reasoning, and the design of intelligent agents the answer-set programming approach Intelligent agents (Computer software) Agent Künstliche Intelligenz (DE-588)4310355-8 gnd Wissensrepräsentation (DE-588)4049534-6 gnd |
| subject_GND | (DE-588)4310355-8 (DE-588)4049534-6 |
| title | Knowledge representation, reasoning, and the design of intelligent agents the answer-set programming approach |
| title_alt | Knowledge Representation, Reasoning, & the Design of Intelligent Agents |
| title_auth | Knowledge representation, reasoning, and the design of intelligent agents the answer-set programming approach |
| title_exact_search | Knowledge representation, reasoning, and the design of intelligent agents the answer-set programming approach |
| title_full | Knowledge representation, reasoning, and the design of intelligent agents the answer-set programming approach Michael Gelfond, Texas Tech University, Yulia Kahl |
| title_fullStr | Knowledge representation, reasoning, and the design of intelligent agents the answer-set programming approach Michael Gelfond, Texas Tech University, Yulia Kahl |
| title_full_unstemmed | Knowledge representation, reasoning, and the design of intelligent agents the answer-set programming approach Michael Gelfond, Texas Tech University, Yulia Kahl |
| title_short | Knowledge representation, reasoning, and the design of intelligent agents |
| title_sort | knowledge representation reasoning and the design of intelligent agents the answer set programming approach |
| title_sub | the answer-set programming approach |
| topic | Intelligent agents (Computer software) Agent Künstliche Intelligenz (DE-588)4310355-8 gnd Wissensrepräsentation (DE-588)4049534-6 gnd |
| topic_facet | Intelligent agents (Computer software) Agent Künstliche Intelligenz Wissensrepräsentation |
| url | https://doi.org/10.1017/CBO9781139342124 |
| work_keys_str_mv | AT gelfondmichael knowledgerepresentationreasoningandthedesignofintelligentagentstheanswersetprogrammingapproach AT kahlyulia knowledgerepresentationreasoningandthedesignofintelligentagentstheanswersetprogrammingapproach AT gelfondmichael knowledgerepresentationreasoningthedesignofintelligentagents AT kahlyulia knowledgerepresentationreasoningthedesignofintelligentagents |