Knowledge representation and language in AI:
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Buch |
| Sprache: | English |
| Veröffentlicht: |
New York u.a.
Horwood
1991
|
| Ausgabe: | 1. publ. |
| Schriftenreihe: | Ellis Horwood series in artificial intelligence
|
| Schlagworte: | |
| Online-Zugang: | Inhaltsverzeichnis |
| Beschreibung: | 230 S. graph. Darst. |
| ISBN: | 0135151236 |
Internformat
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV004638313 | ||
| 003 | DE-604 | ||
| 005 | 19911213 | ||
| 007 | t | ||
| 008 | 911206s1991 d||| |||| 00||| engod | ||
| 020 | |a 0135151236 |9 0-13-515123-6 | ||
| 035 | |a (OCoLC)23462737 | ||
| 035 | |a (DE-599)BVBBV004638313 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-12 |a DE-91G |a DE-739 |a DE-83 | ||
| 050 | 0 | |a Q387 | |
| 082 | 0 | |a 003/.54 |2 20 | |
| 084 | |a ST 285 |0 (DE-625)143648: |2 rvk | ||
| 084 | |a DAT 714f |2 stub | ||
| 084 | |a DAT 703f |2 stub | ||
| 100 | 1 | |a Hodgson, Jonathan P. E. |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Knowledge representation and language in AI |c J. P. E. Hodgson |
| 250 | |a 1. publ. | ||
| 264 | 1 | |a New York u.a. |b Horwood |c 1991 | |
| 300 | |a 230 S. |b graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 0 | |a Ellis Horwood series in artificial intelligence | |
| 650 | 7 | |a Kennisrepresentatie |2 gtt | |
| 650 | 4 | |a Künstliche Intelligenz | |
| 650 | 4 | |a Artificial intelligence | |
| 650 | 4 | |a Computational linguistics | |
| 650 | 4 | |a Knowledge representation (Information theory) | |
| 650 | 0 | 7 | |a Künstliche Intelligenz |0 (DE-588)4033447-8 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Wissensrepräsentation |0 (DE-588)4049534-6 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Programmiersprache |0 (DE-588)4047409-4 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Sprache |0 (DE-588)4056449-6 |2 gnd |9 rswk-swf |
| 689 | 0 | 0 | |a Wissensrepräsentation |0 (DE-588)4049534-6 |D s |
| 689 | 0 | 1 | |a Künstliche Intelligenz |0 (DE-588)4033447-8 |D s |
| 689 | 0 | |5 DE-604 | |
| 689 | 1 | 0 | |a Künstliche Intelligenz |0 (DE-588)4033447-8 |D s |
| 689 | 1 | 1 | |a Programmiersprache |0 (DE-588)4047409-4 |D s |
| 689 | 1 | |5 DE-604 | |
| 689 | 2 | 0 | |a Wissensrepräsentation |0 (DE-588)4049534-6 |D s |
| 689 | 2 | 1 | |a Sprache |0 (DE-588)4056449-6 |D s |
| 689 | 2 | |5 DE-604 | |
| 856 | 4 | 2 | |m HEBIS Datenaustausch |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=002847273&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-002847273 | ||
Datensatz im Suchindex
| _version_ | 1804118756969938944 |
|---|---|
| adam_text | KNOWLEDGE
REPRESENTATION
AND LANGUAGE
INAI
JPE HODGSON BA MA PhD
Center for Machine Learning
Department of Mathematics and Computer Science
Saint Joseph s University, Philadelphia, USA
ELLIS HORWOOD
NEW YORK LONDON TORONTO SYDNEY TOKYO SINGAPORE
Contents
1 Introduction 7
1 1 Structure of the Book 9
2 Knowledge Representation 13
2 1 Logic 13
211 Classical Logics 14
212 Modal Logics 17
213 Fuzzy Logics 19
214 Intuitionistic Logics 22
215 Other Logics 23
216 Knowledge Representation in Logic 26
2 2 Production Systems 27
221 Characteristics of Rule-Based Systems 29
222 Structuring Knowledge Bases 30
2 3 Semantic Networks 35
231 IS-A Networks 37
232 Conceptual Graphs 39
233 Frame Networks 43
234 Representing Knowledge in Semantic Networks 45
2 4 Frames 46
241 Objects, Attributes, and Values 46
242 Frame Hierarchies 47
2 5 The Formal Concept of A Knowledge base 49
3 Reasoning 51
3 1 Search 51
311 Graph Searches 53
CONTENTS
312 Pattern Searches 56
313 Searching and Knowledge Representation 58
3 2 Logical Reasoning 60
321 Deduction 60
322 Unification and Resolution 63
33A Categorical Model 68
3 4 Default Reasoning 72
341 Default Theories 72
342 Default Reasoning in Networks 74
343 Default and Ambiguity 75
3 5 Procedural Reasoning 83
351 Chunking 84
352 Algorithms and Implementation 87
3 6 Heuristics 88
361 Decomposition Heuristics 89
362 Best First Searches 92
Language and Reasoning 93
4 1 LISP and Functional Languages 94
411 Computation in LISP 97
412 Functional Languages 98
4 2 ML and the Theory of Types 99
4 3 Prolog and Logic Programming 102
431 Logic Programming 102
432 Prolog Techniques 104
433 Reasoning Structures in Prolog I l l
4 4 Interpreters as Models 113
4 5 Non-Standard Logics as Languages 114
4 6 Object Oriented Programming 115
461 The Object Oriented Paradigm 116
462 Smalltalk 118
4 7 Imperative Languages: C 120
471C as an AI Language 123
Changing Representations 125
5 1 Formal Representation Changes 126
511 Examples of Representation Change 126
CONTENTS 5
5 2 Weak Isomorphism and Enablement 130
5 3 Lauriere s Problem Solver 135
531 Representation Change in Lauriere 139
5 4 Resolution of Equations 146
541 Constraint Logic Programming 146
542 Prolog III 148
5 5 Representation in Soar 153
551 The Basic Cycle in Soar 155
552 The Language of Soar 157
5 6 Analogical Reasoning 161
561 The Analogy Transform Problem Space 162
562 Finding the Analogy 164
563A Framework for Analogy 164
5 7 Determinations and Analogy 166
6 Large Scale Models 169
6 1 Soar as a Large System 171
611 Focus in Soar 172
612 Applications in Soar 173
613 Representation in Soar 174
614 Expensive Chunks in Soar 175
6 2 The Cyc System 176
621 Overview of Cyc 177
622 The CycL Representation Language 178
623 Inference in Cyc 181
624 Large Scale Control in Cyc 184
625 Some other aspects of Cyc 186
6 3 Blackboards 189
631 The Blackboard Model 190
632 The Blackboard Framework 191
6 4 Hypertext as a Knowledge Base 193
6 5 Review of Large Systems 194
X 7 Representation, Reason, Language 197
7 1 Representation 198
711 Decomposition 199
712 Some Specific Representation problems 201
6 CONTENTS
7 2 Inference 203
7 3 Control 206
7 4 The Closed World 210
741 Incomplete Information 211
742 Reasoning in a Changing Environment 212
7 5 Putting It All Together 213
Bibliography 217
Index 227
|
| any_adam_object | 1 |
| author | Hodgson, Jonathan P. E. |
| author_facet | Hodgson, Jonathan P. E. |
| author_role | aut |
| author_sort | Hodgson, Jonathan P. E. |
| author_variant | j p e h jpe jpeh |
| building | Verbundindex |
| bvnumber | BV004638313 |
| callnumber-first | Q - Science |
| callnumber-label | Q387 |
| callnumber-raw | Q387 |
| callnumber-search | Q387 |
| callnumber-sort | Q 3387 |
| callnumber-subject | Q - General Science |
| classification_rvk | ST 285 |
| classification_tum | DAT 714f DAT 703f |
| ctrlnum | (OCoLC)23462737 (DE-599)BVBBV004638313 |
| dewey-full | 003/.54 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 003 - Systems |
| dewey-raw | 003/.54 |
| dewey-search | 003/.54 |
| dewey-sort | 13 254 |
| 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>02149nam a2200565 c 4500</leader><controlfield tag="001">BV004638313</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">19911213 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">911206s1991 d||| |||| 00||| engod</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0135151236</subfield><subfield code="9">0-13-515123-6</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)23462737</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV004638313</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakddb</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-91G</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-83</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">Q387</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">003/.54</subfield><subfield code="2">20</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 285</subfield><subfield code="0">(DE-625)143648:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 714f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 703f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Hodgson, Jonathan P. E.</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Knowledge representation and language in AI</subfield><subfield code="c">J. P. E. Hodgson</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 u.a.</subfield><subfield code="b">Horwood</subfield><subfield code="c">1991</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">230 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="490" ind1="0" ind2=" "><subfield code="a">Ellis Horwood series in artificial intelligence</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Kennisrepresentatie</subfield><subfield code="2">gtt</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">Computational linguistics</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">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="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">Programmiersprache</subfield><subfield code="0">(DE-588)4047409-4</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Sprache</subfield><subfield code="0">(DE-588)4056449-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="1"><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="5">DE-604</subfield></datafield><datafield tag="689" ind1="1" 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="1" ind2="1"><subfield code="a">Programmiersprache</subfield><subfield code="0">(DE-588)4047409-4</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="2" 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="2" ind2="1"><subfield code="a">Sprache</subfield><subfield code="0">(DE-588)4056449-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="2" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">HEBIS Datenaustausch</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=002847273&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-002847273</subfield></datafield></record></collection> |
| id | DE-604.BV004638313 |
| illustrated | Illustrated |
| indexdate | 2024-07-09T16:15:22Z |
| institution | BVB |
| isbn | 0135151236 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-002847273 |
| oclc_num | 23462737 |
| open_access_boolean | |
| owner | DE-12 DE-91G DE-BY-TUM DE-739 DE-83 |
| owner_facet | DE-12 DE-91G DE-BY-TUM DE-739 DE-83 |
| physical | 230 S. graph. Darst. |
| publishDate | 1991 |
| publishDateSearch | 1991 |
| publishDateSort | 1991 |
| publisher | Horwood |
| record_format | marc |
| series2 | Ellis Horwood series in artificial intelligence |
| spelling | Hodgson, Jonathan P. E. Verfasser aut Knowledge representation and language in AI J. P. E. Hodgson 1. publ. New York u.a. Horwood 1991 230 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier Ellis Horwood series in artificial intelligence Kennisrepresentatie gtt Künstliche Intelligenz Artificial intelligence Computational linguistics Knowledge representation (Information theory) Künstliche Intelligenz (DE-588)4033447-8 gnd rswk-swf Wissensrepräsentation (DE-588)4049534-6 gnd rswk-swf Programmiersprache (DE-588)4047409-4 gnd rswk-swf Sprache (DE-588)4056449-6 gnd rswk-swf Wissensrepräsentation (DE-588)4049534-6 s Künstliche Intelligenz (DE-588)4033447-8 s DE-604 Programmiersprache (DE-588)4047409-4 s Sprache (DE-588)4056449-6 s HEBIS Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=002847273&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Hodgson, Jonathan P. E. Knowledge representation and language in AI Kennisrepresentatie gtt Künstliche Intelligenz Artificial intelligence Computational linguistics Knowledge representation (Information theory) Künstliche Intelligenz (DE-588)4033447-8 gnd Wissensrepräsentation (DE-588)4049534-6 gnd Programmiersprache (DE-588)4047409-4 gnd Sprache (DE-588)4056449-6 gnd |
| subject_GND | (DE-588)4033447-8 (DE-588)4049534-6 (DE-588)4047409-4 (DE-588)4056449-6 |
| title | Knowledge representation and language in AI |
| title_auth | Knowledge representation and language in AI |
| title_exact_search | Knowledge representation and language in AI |
| title_full | Knowledge representation and language in AI J. P. E. Hodgson |
| title_fullStr | Knowledge representation and language in AI J. P. E. Hodgson |
| title_full_unstemmed | Knowledge representation and language in AI J. P. E. Hodgson |
| title_short | Knowledge representation and language in AI |
| title_sort | knowledge representation and language in ai |
| topic | Kennisrepresentatie gtt Künstliche Intelligenz Artificial intelligence Computational linguistics Knowledge representation (Information theory) Künstliche Intelligenz (DE-588)4033447-8 gnd Wissensrepräsentation (DE-588)4049534-6 gnd Programmiersprache (DE-588)4047409-4 gnd Sprache (DE-588)4056449-6 gnd |
| topic_facet | Kennisrepresentatie Künstliche Intelligenz Artificial intelligence Computational linguistics Knowledge representation (Information theory) Wissensrepräsentation Programmiersprache Sprache |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=002847273&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| work_keys_str_mv | AT hodgsonjonathanpe knowledgerepresentationandlanguageinai |