Knowledge representation, reasoning, and declarative problem solving
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Buch |
| Sprache: | English |
| Veröffentlicht: |
Cambridge
Cambridge Univ. Press
2003
|
| Ausgabe: | 1. publ. |
| Schlagworte: | |
| Online-Zugang: | Sample text Publisher description Table of contents Inhaltsverzeichnis |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
MARC
| LEADER | 00000nam a2200000zc 4500 | ||
|---|---|---|---|
| 001 | BV019334906 | ||
| 003 | DE-604 | ||
| 005 | 20210224 | ||
| 007 | t| | ||
| 008 | 040713s2003 xxk |||| 00||| eng d | ||
| 010 | |a 2002025622 | ||
| 020 | |a 0521818028 |9 0-521-81802-8 | ||
| 035 | |a (OCoLC)49384091 | ||
| 035 | |a (DE-599)BVBBV019334906 | ||
| 040 | |a DE-604 |b ger |e aacr | ||
| 041 | 0 | |a eng | |
| 044 | |a xxk |c GB | ||
| 049 | |a DE-739 |a DE-20 |a DE-29T |a DE-859 |a DE-573 | ||
| 050 | 0 | |a QA76.76.E95 | |
| 082 | 0 | |a 006.3/3 |2 21 | |
| 084 | |a ST 304 |0 (DE-625)143653: |2 rvk | ||
| 100 | 1 | |a Baral, Chitta |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Knowledge representation, reasoning, and declarative problem solving |c Chitta Baral |
| 250 | |a 1. publ. | ||
| 264 | 1 | |a Cambridge |b Cambridge Univ. Press |c 2003 | |
| 300 | |a XIV, 530 S. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 500 | |a Includes bibliographical references (p. 498-518) and index | ||
| 650 | 4 | |a Künstliche Intelligenz | |
| 650 | 4 | |a Artificial intelligence | |
| 650 | 4 | |a Expert systems (Computer science) | |
| 650 | 4 | |a Knowledge representation (Information theory) | |
| 650 | 0 | 7 | |a Wissensrepräsentation |0 (DE-588)4049534-6 |2 gnd |9 rswk-swf |
| 689 | 0 | 0 | |a Wissensrepräsentation |0 (DE-588)4049534-6 |D s |
| 689 | 0 | |5 DE-604 | |
| 856 | 4 | |u http://www.loc.gov/catdir/samples/cam033/2002025622.html |3 Sample text | |
| 856 | 4 | |u http://www.loc.gov/catdir/description/cam022/2002025622.html |3 Publisher description | |
| 856 | 4 | |u http://www.loc.gov/catdir/toc/cam027/2002025622.html |3 Table of contents | |
| 856 | 4 | 2 | |m HEBIS Datenaustausch Darmstadt |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=012799736&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-012799736 | |
Datensatz im Suchindex
| _version_ | 1819771012078632960 |
|---|---|
| adam_text | KNOWLEDGE REPRESENTATION, REASONING AND DECLARATIVE PROBLEM SOLVING
CHITTA BARAL ARIZONA STATE UNIVERSITY CAMBRIDGE UNIVERSITY PRESS
CONTENTS PREFACE PAGE IX DECLARATIVE PROGRAMMING IN ANSPROLOG*:
INTRODUCTION AND PRELIMINARIES 1 1.1 MOTIVATION: WHY ANSPROLOG*? 3 1.2
ANSWER SET FRAMEWORKS AND PROGRAMS 8 1.3 SEMANTICS OF ANSPROLOG*
PROGRAMS 16 1.4 DATABASE QUERIES AND ANSPROLOG* FUNCTIONS 40 1.5 NOTES
AND REFERENCES 44 SIMPLE MODULES FOR DECLARATIVE PROGRAMMING WITH ANSWER
SETS 46 2.1 DECLARATIVE PROBLEM SOLVING MODULES 47 2.2 KNOWLEDGE
REPRESENTATION AND REASONING MODULES 73 2.3 NOTES AND REFERENCES 81
PRINCIPLES AND PROPERTIES OF DECLARATIVE PROGRAMMING WITH ANSWER SETS 83
3.1 BASIC NOTIONS AND BASIC PROPERTIES 84 3.2 SOME ANSPROLOG*
SUB-CLASSES AND THEIR BASIC PROPERTIES 93 3.3 RESTRICTED MONOTONICITY
AND SIGNED ANSPROLOG* PROGRAMS 108 3.4 ANALYZING ANSPROLOG* PROGRAMS
USING SPLITTING 113 3.5 LANGUAGE INDEPENDENCE AND LANGUAGE TOLERANCE
120 3.6 INTERPOLATING AN ANSPROLOG PROGRAM 126 3.7 BUILDING AND REFINING
PROGRAMS FROM COMPONENTS: FUNCTIONAL SPECIFICATIONS AND REALIZATION
THEOREMS 137 3.8 FILTER-ABDUCIBLE ANSPROLOG OR PROGRAMS 144 3.9
EQUIVALENCE OF PROGRAMS AND SEMANTICS PRESERVING TRANSFORMATIONS 154
3.10 NOTES AND REFERENCES 168 DECLARATIVE PROBLEM SOLVING AND REASONING
IN ANSPROLOG* 170 4.1 THREE WELL-KNOWN PROBLEM SOLVING TASKS 170 4.2
CONSTRAINT SATISFACTION PROBLEMS (CSPS) 183 VI CONTENTS 4.3 DYNAMIC
CONSTRAINT SATISFACTION PROBLEMS (DCSPS) 186 4.4 COMBINATORIAL GRAPH
PROBLEMS 188 4.5 PRIORITIZED DEFAULTS AND INHERITANCE HIERARCHIES 192
4.6 NOTES AND REFERENCES 197 5 REASONING ABOUT ACTIONS AND PLANNING IN
ANSPROLOG* 199 5.1 REASONING IN THE ACTION DESCRIPTION LANGUAGE A 199
5.2 REASONING ABOUT ACTIONS AND PLAN VERIFICATION IN RICHER DOMAINS 229
5.3 ANSWER SET PLANNING EXAMPLES IN EXTENSIONS OF A AND STRIPS 244 5.4
APPROXIMATE PLANNING WHEN INITIAL STATE IS INCOMPLETE 261 5.5 PLANNING
WITH PROCEDURAL CONSTRAINTS 262 5.6 EXPLAINING OBSERVATIONS THROUGH
ACTION OCCURRENCES AND APPLICATION TO DIAGNOSIS 269 5.7 CASE STUDY:
PLANNING AND PLAN CORRECTNESS IN A SPACE SHUTTLE REACTION CONTROL SYSTEM
274 5.8 NOTES AND REFERENCES 277 6 COMPLEXITY, EXPRESSIVENESS, AND OTHER
PROPERTIES OF ANSPROLOG* PROGRAMS 278 6.1 COMPLEXITY AND EXPRESSIVENESS
278 6.2 COMPLEXITY OF ANSDATALOG* SUB-CLASSES 288 6.3 EXPRESSIVENESS OF
ANSDATALOG* SUB-CLASSES 301 6.4 COMPLEXITY AND EXPRESSIVENESS OF
ANSPROLOG* SUB-CLASSES 304 6.5 COMPACT REPRESENTATION AND COMPILABILITY
OF ANSPROLOG 311 6.6 RELATIONSHIP WITH OTHER KNOWLEDGE REPRESENTATION
FORMALISMS 313 6.7 NOTES AND REFERENCES 341 7 ANSWER SET COMPUTING
ALGORITHMS 345 7.1 BRANCH AND BOUND WITH WFS: WFS-BB 346 7.2 THE
ASSUME-AND-REDUCE ALGORITHM OF SLG 358 7.3 THE SMODELS ALGORITHM 363 7.4
THE DLV ALGORITHM 372 7.5 NOTES AND REFERENCES 379 8 QUERY ANSWERING AND
ANSWER SET COMPUTING SYSTEMS 382 8.1 SMODELS 382 8.2 THE DLV SYSTEM 403
8.3 APPLICATIONS OF ANSWER SET COMPUTING SYSTEMS 412 8.4 PURE PROLOG 440
8.5 NOTES AND REFERENCES 456 9 FURTHER EXTENSIONS OF AND ALTERNATIVES TO
ANSPROLOG* 458 9.1 ANSPROLOG NOT * OR * - L : ALLOWING NOT IN THE HEAD
458 9.2 ANSPROLOG 11 OR L *: ALLOWING NESTED EXPRESSIONS 461 9.3
ANSPROLOG ORKM ALLOWING KNOWLEDGE AND BELIEF OPERATORS 466 CONTENTS
VII 9.4 ABDUCTIVE REASONING WITH ANSPROLOG: ANSPROLOG M 470 9.5 DOMAIN
CLOSURE AND THE UNIVERSAL QUERY PROBLEM 471 9.6 ANSPROLOG,,: ADDING SET
CONSTRUCTS TO ANSPROLOG 475 9.7 ANSPROLOG- PROGRAMS: ANSPROLOG
PROGRAMS WITH ORDERING 477 9.8 WELL-FOUNDED SEMANTICS OF PROGRAMS WITH
ANSPROLOG SYNTAX 482 9.9 WELL-FOUNDED SEMANTICS OF PROGRAMS WITH
ANSPROLOG SYNTAX 490 9.10 NOTES AND REFERENCES 492 APPENDIX A:
ORDINALS, LATTICES, AND FIXPOINT THEORY 494 APPENDIX B: TURING MACHINES
496 BIBLIOGRAPHY 498 INDEX OF NOTATION 519 INDEX OF TERMS 522
|
| any_adam_object | 1 |
| author | Baral, Chitta |
| author_facet | Baral, Chitta |
| author_role | aut |
| author_sort | Baral, Chitta |
| author_variant | c b cb |
| building | Verbundindex |
| bvnumber | BV019334906 |
| callnumber-first | Q - Science |
| callnumber-label | QA76 |
| callnumber-raw | QA76.76.E95 |
| callnumber-search | QA76.76.E95 |
| callnumber-sort | QA 276.76 E95 |
| callnumber-subject | QA - Mathematics |
| classification_rvk | ST 304 |
| ctrlnum | (OCoLC)49384091 (DE-599)BVBBV019334906 |
| dewey-full | 006.3/3 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 006 - Special computer methods |
| dewey-raw | 006.3/3 |
| dewey-search | 006.3/3 |
| dewey-sort | 16.3 13 |
| 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>01891nam a2200469zc 4500</leader><controlfield tag="001">BV019334906</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20210224 </controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">040713s2003 xxk |||| 00||| eng d</controlfield><datafield tag="010" ind1=" " ind2=" "><subfield code="a">2002025622</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0521818028</subfield><subfield code="9">0-521-81802-8</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)49384091</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV019334906</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">xxk</subfield><subfield code="c">GB</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-739</subfield><subfield code="a">DE-20</subfield><subfield code="a">DE-29T</subfield><subfield code="a">DE-859</subfield><subfield code="a">DE-573</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">QA76.76.E95</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">006.3/3</subfield><subfield code="2">21</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">Baral, Chitta</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Knowledge representation, reasoning, and declarative problem solving</subfield><subfield code="c">Chitta Baral</subfield></datafield><datafield tag="250" ind1=" " ind2=" "><subfield code="a">1. publ.</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Cambridge</subfield><subfield code="b">Cambridge Univ. Press</subfield><subfield code="c">2003</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XIV, 530 S.</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="500" ind1=" " ind2=" "><subfield code="a">Includes bibliographical references (p. 498-518) and index</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">Expert systems (Computer science)</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Knowledge representation (Information theory)</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">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="856" ind1="4" ind2=" "><subfield code="u">http://www.loc.gov/catdir/samples/cam033/2002025622.html</subfield><subfield code="3">Sample text</subfield></datafield><datafield tag="856" ind1="4" ind2=" "><subfield code="u">http://www.loc.gov/catdir/description/cam022/2002025622.html</subfield><subfield code="3">Publisher description</subfield></datafield><datafield tag="856" ind1="4" ind2=" "><subfield code="u">http://www.loc.gov/catdir/toc/cam027/2002025622.html</subfield><subfield code="3">Table of contents</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">HEBIS Datenaustausch Darmstadt</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=012799736&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-012799736</subfield></datafield></record></collection> |
| id | DE-604.BV019334906 |
| illustrated | Not Illustrated |
| indexdate | 2024-12-23T17:41:29Z |
| institution | BVB |
| isbn | 0521818028 |
| language | English |
| lccn | 2002025622 |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-012799736 |
| oclc_num | 49384091 |
| open_access_boolean | |
| owner | DE-739 DE-20 DE-29T DE-859 DE-573 |
| owner_facet | DE-739 DE-20 DE-29T DE-859 DE-573 |
| physical | XIV, 530 S. |
| publishDate | 2003 |
| publishDateSearch | 2003 |
| publishDateSort | 2003 |
| publisher | Cambridge Univ. Press |
| record_format | marc |
| spellingShingle | Baral, Chitta Knowledge representation, reasoning, and declarative problem solving Künstliche Intelligenz Artificial intelligence Expert systems (Computer science) Knowledge representation (Information theory) Wissensrepräsentation (DE-588)4049534-6 gnd |
| subject_GND | (DE-588)4049534-6 |
| title | Knowledge representation, reasoning, and declarative problem solving |
| title_auth | Knowledge representation, reasoning, and declarative problem solving |
| title_exact_search | Knowledge representation, reasoning, and declarative problem solving |
| title_full | Knowledge representation, reasoning, and declarative problem solving Chitta Baral |
| title_fullStr | Knowledge representation, reasoning, and declarative problem solving Chitta Baral |
| title_full_unstemmed | Knowledge representation, reasoning, and declarative problem solving Chitta Baral |
| title_short | Knowledge representation, reasoning, and declarative problem solving |
| title_sort | knowledge representation reasoning and declarative problem solving |
| topic | Künstliche Intelligenz Artificial intelligence Expert systems (Computer science) Knowledge representation (Information theory) Wissensrepräsentation (DE-588)4049534-6 gnd |
| topic_facet | Künstliche Intelligenz Artificial intelligence Expert systems (Computer science) Knowledge representation (Information theory) Wissensrepräsentation |
| url | http://www.loc.gov/catdir/samples/cam033/2002025622.html http://www.loc.gov/catdir/description/cam022/2002025622.html http://www.loc.gov/catdir/toc/cam027/2002025622.html http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=012799736&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| work_keys_str_mv | AT baralchitta knowledgerepresentationreasoninganddeclarativeproblemsolving |