Knowledge representation, reasoning, and the design of intelligent agents: the answer-set programming approach
Gespeichert in:
| Hauptverfasser: | , |
|---|---|
| Format: | Buch |
| Sprache: | English |
| Veröffentlicht: |
New York, NY
Cambridge Univ. Press
2014
|
| Ausgabe: | 1. publ. |
| Schlagworte: | |
| Online-Zugang: | Inhaltsverzeichnis |
| Beschreibung: | XIV, 348 S. graph. Darst. |
| ISBN: | 9781107029569 |
Internformat
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV041831871 | ||
| 003 | DE-604 | ||
| 005 | 20140728 | ||
| 007 | t | ||
| 008 | 140507s2014 xxud||| |||| 00||| eng d | ||
| 010 | |a 013029651 | ||
| 020 | |a 9781107029569 |9 978-1-107-02956-9 | ||
| 035 | |a (OCoLC)881256319 | ||
| 035 | |a (DE-599)BVBBV041831871 | ||
| 040 | |a DE-604 |b ger |e aacr | ||
| 041 | 0 | |a eng | |
| 044 | |a xxu |c US | ||
| 049 | |a DE-473 |a DE-188 | ||
| 050 | 0 | |a QA76.76.I58 | |
| 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 ; Yulia Kahl |
| 250 | |a 1. publ. | ||
| 264 | 1 | |a New York, NY |b Cambridge Univ. Press |c 2014 | |
| 300 | |a XIV, 348 S. |b graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 650 | 4 | |a Intelligent agents (Computer software) | |
| 650 | 0 | 7 | |a Wissensrepräsentation |0 (DE-588)4049534-6 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Agent |g Künstliche Intelligenz |0 (DE-588)4310355-8 |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 | |5 DE-604 | |
| 700 | 1 | |a Kahl, Yulia |e Verfasser |0 (DE-588)1051601177 |4 aut | |
| 856 | 4 | 2 | |m Digitalisierung UB Bamberg - ADAM Catalogue Enrichment |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=027276733&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-027276733 | ||
Datensatz im Suchindex
| _version_ | 1804152168800845824 |
|---|---|
| adam_text | Contents
Preface
page xî
1
Logic-Based Approach to Agent Design
1
1.1
Modeling an Intelligent Agent
1
1.2
Simple Family Knowledge Base
—
An Example
4
1.3
A Historical Comment
6
Summary
8
References and Further Reading
9
Exercises
10
2
Answer Set Prolog (ASP)
11
2.1
Syntax
11
2.2
Semantics
16
2.3
A Note on Translation from Natural Language
30
2.4
Properties of ASP Programs
31
Summary
35
References and Further Reading
35
Exercises
36
3
Roots of Answer Set Prolog
40
3.1
First-Order Logic
(FOL)
40
3.2
Nonmonotonic Logics
43
3.3
ASP and Negation in Logic Programming
49
Summary
57
References and Further Reading
57
Exercises
58
4
Creating a Knowledge Base
61
4.1
Reasoning about Family
62
4.2
Reasoning about Electrical Circuits
71
vii
viii Contents
4.3
Hierarchical Information and
Inheritance
75
Summary °
1
References and Further Reading
82
Exercises
83
5
Representing Defaults
86
5.1
A General Strategy for Representing Defaults
86
5.2
Knowledge Bases with Null Values
93
5.3
Simple Priorities between Defaults
95
5.4
Inheritance Hierarchies with Defaults
99
5.5 (*)
Indirect Exceptions to Defaults
103
Summary
108
References and Further Reading
108
Exercises
109
6
The Answer-Set Programming Paradigm
114
6.1
Computing Hamiltonian Cycles
115
6.2
Solving Puzzles
121
Summary
127
References and Further Reading
128
Exercises
129
7
Algorithms for Computing Answer Sets
131
7.1
Finding Models of Propositional Formulas
131
7.2
Finding Answer Sets of Logic Programs
136
Summary
149
References and Further Reading
150
Exercises
150
8
Modeling Dynamic Domains
152
8.1
The Blocks World
-
A Historic Example
152
8.2
A General Solution
162
8.3
AC Syntax
166
8.4
AC Semantics
-
The Transition Relation
167
8.5
Examples
175
8.6
Nondeterminism in AC
184
8.7
Temporal Projection
186
Summary
ţ
g
η
References and Further Reading
188
Exercises
Contents ix
9
Planning Agents
192
9.1
Classical
Planning
with a Given
Horizon
192
9.2
Examples of Classical
Planning
195
9.3
Heuristics
204
9.4
Concurrent Planning
208
9.5 (♦)
Finding Minimal Plans
209
Summary
211
References and Further Reading
213
Exercises
214
10
Diagnostic Agents
216
10.1
Recording the History of a Domain
218
10.2
Defining Explanations
220
10.3
Computing Explanations
224
10.4 (*)
Finding Minimal Explanations
228
10.5
Importance of New Predicates hpd and
obs
229
Summary
231
References and Further Reading
232
Exercises
232
11
Probabilistic Reasoning
235
11.1
Classical Probabilistic Models
235
11.2
The Jungle Story in P-log
238
11.3
Syntax and Semantics of P-log
241
11.4
Representing Knowledge in P-log
251
11.5 (*)
P-log
4-
CR-Prolog and the Wandering Robot
263
Summary
266
References and Further Reading
267
Exercises
267
12
The Prolog Programming Language
271
12.1
The Prolog Interpreter
271
12.2
Programming in Prolog
284
Summary
304
References and Further Reading
305
Exercises
305
Appendix A: ASP Solver Quick-Start
307
Appendix B:
Aspide
310
Appendix C: Introduction to SPARC
314
χ
Contents
Appendix
D:
Code 317
D.
1
ASP Encoding of the Igniting the Burner Example
317
D.2 ASP Encoding of the Missionaries and Cannibals
Example
320
D.3 ASP Encoding of the Circuit Diagnostic Example
325
Bibliography
331
Index
343
|
| any_adam_object | 1 |
| author | Gelfond, Michael Kahl, Yulia |
| author_GND | (DE-588)1051601088 (DE-588)1051601177 |
| author_facet | Gelfond, Michael Kahl, Yulia |
| author_role | aut aut |
| author_sort | Gelfond, Michael |
| author_variant | m g mg y k yk |
| building | Verbundindex |
| bvnumber | BV041831871 |
| callnumber-first | Q - Science |
| callnumber-label | QA76 |
| callnumber-raw | QA76.76.I58 |
| callnumber-search | QA76.76.I58 |
| callnumber-sort | QA 276.76 I58 |
| callnumber-subject | QA - Mathematics |
| classification_rvk | ST 304 |
| ctrlnum | (OCoLC)881256319 (DE-599)BVBBV041831871 |
| 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 |
| edition | 1. publ. |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01723nam a2200421 c 4500</leader><controlfield tag="001">BV041831871</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20140728 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">140507s2014 xxud||| |||| 00||| eng d</controlfield><datafield tag="010" ind1=" " ind2=" "><subfield code="a">013029651</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781107029569</subfield><subfield code="9">978-1-107-02956-9</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)881256319</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV041831871</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="044" ind1=" " ind2=" "><subfield code="a">xxu</subfield><subfield code="c">US</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-473</subfield><subfield code="a">DE-188</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">QA76.76.I58</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 ; Yulia Kahl</subfield></datafield><datafield tag="250" ind1=" " ind2=" "><subfield code="a">1. publ.</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">New York, NY</subfield><subfield code="b">Cambridge Univ. Press</subfield><subfield code="c">2014</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XIV, 348 S.</subfield><subfield code="b">graph. Darst.</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">n</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">nc</subfield><subfield code="2">rdacarrier</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">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="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="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="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Kahl, Yulia</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)1051601177</subfield><subfield code="4">aut</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">Digitalisierung UB Bamberg - ADAM Catalogue Enrichment</subfield><subfield code="q">application/pdf</subfield><subfield code="u">http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=027276733&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-027276733</subfield></datafield></record></collection> |
| id | DE-604.BV041831871 |
| illustrated | Illustrated |
| indexdate | 2024-07-10T01:06:26Z |
| institution | BVB |
| isbn | 9781107029569 |
| language | English |
| lccn | 013029651 |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-027276733 |
| oclc_num | 881256319 |
| open_access_boolean | |
| owner | DE-473 DE-BY-UBG DE-188 |
| owner_facet | DE-473 DE-BY-UBG DE-188 |
| physical | XIV, 348 S. graph. Darst. |
| publishDate | 2014 |
| publishDateSearch | 2014 |
| publishDateSort | 2014 |
| publisher | Cambridge Univ. 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 ; Yulia Kahl 1. publ. New York, NY Cambridge Univ. Press 2014 XIV, 348 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier Intelligent agents (Computer software) Wissensrepräsentation (DE-588)4049534-6 gnd rswk-swf Agent Künstliche Intelligenz (DE-588)4310355-8 gnd rswk-swf Agent Künstliche Intelligenz (DE-588)4310355-8 s Wissensrepräsentation (DE-588)4049534-6 s DE-604 Kahl, Yulia Verfasser (DE-588)1051601177 aut Digitalisierung UB Bamberg - ADAM Catalogue Enrichment application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=027276733&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Gelfond, Michael Kahl, Yulia Knowledge representation, reasoning, and the design of intelligent agents the answer-set programming approach Intelligent agents (Computer software) Wissensrepräsentation (DE-588)4049534-6 gnd Agent Künstliche Intelligenz (DE-588)4310355-8 gnd |
| subject_GND | (DE-588)4049534-6 (DE-588)4310355-8 |
| title | Knowledge representation, reasoning, and the design of intelligent agents the answer-set programming approach |
| 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 ; Yulia Kahl |
| title_fullStr | Knowledge representation, reasoning, and the design of intelligent agents the answer-set programming approach Michael Gelfond ; Yulia Kahl |
| title_full_unstemmed | Knowledge representation, reasoning, and the design of intelligent agents the answer-set programming approach Michael Gelfond ; 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) Wissensrepräsentation (DE-588)4049534-6 gnd Agent Künstliche Intelligenz (DE-588)4310355-8 gnd |
| topic_facet | Intelligent agents (Computer software) Wissensrepräsentation Agent Künstliche Intelligenz |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=027276733&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| work_keys_str_mv | AT gelfondmichael knowledgerepresentationreasoningandthedesignofintelligentagentstheanswersetprogrammingapproach AT kahlyulia knowledgerepresentationreasoningandthedesignofintelligentagentstheanswersetprogrammingapproach |