Logic and representation:
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Buch |
| Sprache: | English |
| Veröffentlicht: |
Stanford, Calif.
Center for the Study of Language and Information
1995
|
| Schriftenreihe: | Center for the Study of Language and Information <Stanford, Calif.>: CSLI lecture notes
39 |
| Schlagworte: | |
| Online-Zugang: | Inhaltsverzeichnis |
| Beschreibung: | XIV, 196 S. graph. Darst. |
| ISBN: | 188152616X 1881526151 |
Internformat
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV010272662 | ||
| 003 | DE-604 | ||
| 005 | 19960624 | ||
| 007 | t | ||
| 008 | 950629s1995 d||| |||| 00||| eng d | ||
| 020 | |a 188152616X |9 1-881526-16-X | ||
| 020 | |a 1881526151 |9 1-881526-15-1 | ||
| 035 | |a (OCoLC)31376053 | ||
| 035 | |a (DE-599)BVBBV010272662 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-12 |a DE-739 |a DE-91G |a DE-473 |a DE-29 |a DE-83 |a DE-11 |a DE-188 | ||
| 050 | 0 | |a P39 | |
| 082 | 0 | |a 160 |2 20 | |
| 084 | |a CC 2500 |0 (DE-625)17609: |2 rvk | ||
| 084 | |a CC 5200 |0 (DE-625)17636: |2 rvk | ||
| 084 | |a ER 620 |0 (DE-625)27737: |2 rvk | ||
| 084 | |a SK 130 |0 (DE-625)143216: |2 rvk | ||
| 084 | |a MAT 030f |2 stub | ||
| 084 | |a 5,1 |2 ssgn | ||
| 084 | |a DAT 540f |2 stub | ||
| 100 | 1 | |a Moore, Robert C. |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Logic and representation |c Robert C. Moore |
| 264 | 1 | |a Stanford, Calif. |b Center for the Study of Language and Information |c 1995 | |
| 300 | |a XIV, 196 S. |b graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a Center for the Study of Language and Information <Stanford, Calif.>: CSLI lecture notes |v 39 | |
| 650 | 7 | |a Langage et logique |2 ram | |
| 650 | 7 | |a Logica |2 gtt | |
| 650 | 7 | |a Logique |2 ram | |
| 650 | 4 | |a Lógica | |
| 650 | 7 | |a Representatie (algemeen) |2 gtt | |
| 650 | 7 | |a Représentation des connaissances |2 ram | |
| 650 | 4 | |a Semántica (Filosofía) | |
| 650 | 7 | |a Sémantique (philosophie) |2 ram | |
| 650 | 7 | |a croyance |2 inriac | |
| 650 | 7 | |a intelligence artificielle |2 inriac | |
| 650 | 7 | |a langage naturel |2 inriac | |
| 650 | 7 | |a langage programmation |2 inriac | |
| 650 | 7 | |a logique non monotone |2 inriac | |
| 650 | 7 | |a logique |2 inriac | |
| 650 | 7 | |a représentation connaissance |2 inriac | |
| 650 | 7 | |a représentation sémantique |2 inriac | |
| 650 | 7 | |a sémantique |2 inriac | |
| 650 | 7 | |a épistémologie |2 inriac | |
| 650 | 4 | |a Logik | |
| 650 | 4 | |a Language and logic | |
| 650 | 4 | |a Logic | |
| 650 | 4 | |a Semantics (Philosophy) | |
| 650 | 0 | 7 | |a Semantik |0 (DE-588)4054490-4 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Künstliche Intelligenz |0 (DE-588)4033447-8 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Logik |0 (DE-588)4036202-4 |2 gnd |9 rswk-swf |
| 689 | 0 | 0 | |a Künstliche Intelligenz |0 (DE-588)4033447-8 |D s |
| 689 | 0 | 1 | |a Logik |0 (DE-588)4036202-4 |D s |
| 689 | 0 | |5 DE-604 | |
| 689 | 1 | 0 | |a Semantik |0 (DE-588)4054490-4 |D s |
| 689 | 1 | |5 DE-604 | |
| 830 | 0 | |a Center for the Study of Language and Information <Stanford, Calif.>: CSLI lecture notes |v 39 |w (DE-604)BV001900711 |9 39 | |
| 856 | 4 | 2 | |m HBZ Datenaustausch |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=006833970&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-006833970 | ||
Datensatz im Suchindex
| _version_ | 1804124687686434816 |
|---|---|
| adam_text | Contents
Acknowledgments ix
Introduction xi
Part I Methodological Arguments 1
1 The Role of Logic in Artificial Intelligence 3
1.1 Logic as an Analytical Tool 3
1.2 Logic as a Knowledge Representation and Reasoning
System 5
1.3 Logic as a Programming Language 10
1.4 Conclusions 16
2 A Cognitivist Reply to Behaviorism 19
Part II Propositional Attitudes 25
3 A Formal Theory of Knowledge and Action 27
3.1 The Interplay of Knowledge and Action 27
3.2 Formal Theories of Knowledge 30
3.3 Formalizing the Possible World Analysis of
Knowledge 43
3.4 A Possible Worlds Analysis of Action 50
3.5 An Integrated Theory of Knowledge and Action 56
4 Computational Models of Belief and the Semantics of
Belief Sentences 71
WITH G. G. HENDRIX
4.1 Computational Theories and Computational
Models 71
4.2 Internal Languages 73
4.3 A Computational Model of Belief 76
v
vi / Contents
4.4 The Semantics of Belief Sentences 81
4.5 Conclusion 86
5 Propositional Attitudes and Russellian
Propositions 91
5.1 Introduction 91
5.2 The Problem of Attitude Reports 92
5.3 How Fine Grained Must Propositions Be? 95
5.4 Could Propositions Be Syntactic? 97
5.5 The Russellian Theory 100
5.6 Russellian Logic 107
5.7 Why Propositional Functions? 112
5.8 Proper Names 114
5.9 Conclusion 119
Part III Autoepistemic Logic 121
6 Semantical Considerations on Nonmonotonic
Logic 123
6.1 Introduction 123
6.2 Nonmonotonic Logic and Autoepistemic Reasoning 125
6.3 The Formalization of Autoepistemic Logic 128
6.4 Analysis of Nonmonotonic Logic 134
6.5 Conclusion 138
7 Possible World Semantics for Autoepistemic
Logic 145
7.1 Introduction 145
7.2 Summary of Autoepistemic Logic 146
7.3 An Alternative Semantics for Autoepistemic Logic 147
7.4 Applications of Possible World Semantics 150
8 Autoepistemic Logic Revisited 153
Part IV Semantics of Natural Language 157
9 Events, Situations, and Adverbs 159
9.1 Introduction 159
9.2 Some Facts about Adverbs and Event Sentences 161
9.3 Situations and Events 163
9.4 The Analysis 167
9.5 Conclusions 170
10 Unification Based Semantic Interpretation 171
10.1 Introduction 171
Contents / vii
10.2 Functional Application vs. Unification 174
10.3 Are Lambda Expressions Ever Necessary? 176
10.4 Theoretical Foundations of Unification Based
Semantics 178
10.5 Semantics of Long Distance Dependencies 183
10.6 Conclusions 186
References 187
Index 195
|
| any_adam_object | 1 |
| author | Moore, Robert C. |
| author_facet | Moore, Robert C. |
| author_role | aut |
| author_sort | Moore, Robert C. |
| author_variant | r c m rc rcm |
| building | Verbundindex |
| bvnumber | BV010272662 |
| callnumber-first | P - Language and Literature |
| callnumber-label | P39 |
| callnumber-raw | P39 |
| callnumber-search | P39 |
| callnumber-sort | P 239 |
| callnumber-subject | P - Philology and Linguistics |
| classification_rvk | CC 2500 CC 5200 ER 620 SK 130 |
| classification_tum | MAT 030f DAT 540f |
| ctrlnum | (OCoLC)31376053 (DE-599)BVBBV010272662 |
| dewey-full | 160 |
| dewey-hundreds | 100 - Philosophy & psychology |
| dewey-ones | 160 - Philosophical logic |
| dewey-raw | 160 |
| dewey-search | 160 |
| dewey-sort | 3160 |
| dewey-tens | 160 - Philosophical logic |
| discipline | Sprachwissenschaft Informatik Mathematik Philosophie Literaturwissenschaft |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02873nam a2200769 cb4500</leader><controlfield tag="001">BV010272662</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">19960624 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">950629s1995 d||| |||| 00||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">188152616X</subfield><subfield code="9">1-881526-16-X</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">1881526151</subfield><subfield code="9">1-881526-15-1</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)31376053</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV010272662</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-739</subfield><subfield code="a">DE-91G</subfield><subfield code="a">DE-473</subfield><subfield code="a">DE-29</subfield><subfield code="a">DE-83</subfield><subfield code="a">DE-11</subfield><subfield code="a">DE-188</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">P39</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">160</subfield><subfield code="2">20</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">CC 2500</subfield><subfield code="0">(DE-625)17609:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">CC 5200</subfield><subfield code="0">(DE-625)17636:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ER 620</subfield><subfield code="0">(DE-625)27737:</subfield><subfield code="2">rvk</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">MAT 030f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">5,1</subfield><subfield code="2">ssgn</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 540f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Moore, Robert C.</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Logic and representation</subfield><subfield code="c">Robert C. Moore</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Stanford, Calif.</subfield><subfield code="b">Center for the Study of Language and Information</subfield><subfield code="c">1995</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XIV, 196 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="1" ind2=" "><subfield code="a">Center for the Study of Language and Information <Stanford, Calif.>: CSLI lecture notes</subfield><subfield code="v">39</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Langage et logique</subfield><subfield code="2">ram</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Logica</subfield><subfield code="2">gtt</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Logique</subfield><subfield code="2">ram</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Lógica</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Representatie (algemeen)</subfield><subfield code="2">gtt</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Représentation des connaissances</subfield><subfield code="2">ram</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Semántica (Filosofía)</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Sémantique (philosophie)</subfield><subfield code="2">ram</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">croyance</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">intelligence artificielle</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">langage naturel</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">langage programmation</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">logique non monotone</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">logique</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">représentation connaissance</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">représentation sémantique</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">sémantique</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">épistémologie</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logik</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Language and logic</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logic</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Semantics (Philosophy)</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Semantik</subfield><subfield code="0">(DE-588)4054490-4</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</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">Logik</subfield><subfield code="0">(DE-588)4036202-4</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="689" ind1="0" 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="0" ind2="1"><subfield code="a">Logik</subfield><subfield code="0">(DE-588)4036202-4</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">Semantik</subfield><subfield code="0">(DE-588)4054490-4</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Center for the Study of Language and Information <Stanford, Calif.>: CSLI lecture notes</subfield><subfield code="v">39</subfield><subfield code="w">(DE-604)BV001900711</subfield><subfield code="9">39</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">HBZ 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=006833970&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-006833970</subfield></datafield></record></collection> |
| id | DE-604.BV010272662 |
| illustrated | Illustrated |
| indexdate | 2024-07-09T17:49:38Z |
| institution | BVB |
| isbn | 188152616X 1881526151 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-006833970 |
| oclc_num | 31376053 |
| open_access_boolean | |
| owner | DE-12 DE-739 DE-91G DE-BY-TUM DE-473 DE-BY-UBG DE-29 DE-83 DE-11 DE-188 |
| owner_facet | DE-12 DE-739 DE-91G DE-BY-TUM DE-473 DE-BY-UBG DE-29 DE-83 DE-11 DE-188 |
| physical | XIV, 196 S. graph. Darst. |
| publishDate | 1995 |
| publishDateSearch | 1995 |
| publishDateSort | 1995 |
| publisher | Center for the Study of Language and Information |
| record_format | marc |
| series | Center for the Study of Language and Information <Stanford, Calif.>: CSLI lecture notes |
| series2 | Center for the Study of Language and Information <Stanford, Calif.>: CSLI lecture notes |
| spelling | Moore, Robert C. Verfasser aut Logic and representation Robert C. Moore Stanford, Calif. Center for the Study of Language and Information 1995 XIV, 196 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier Center for the Study of Language and Information <Stanford, Calif.>: CSLI lecture notes 39 Langage et logique ram Logica gtt Logique ram Lógica Representatie (algemeen) gtt Représentation des connaissances ram Semántica (Filosofía) Sémantique (philosophie) ram croyance inriac intelligence artificielle inriac langage naturel inriac langage programmation inriac logique non monotone inriac logique inriac représentation connaissance inriac représentation sémantique inriac sémantique inriac épistémologie inriac Logik Language and logic Logic Semantics (Philosophy) Semantik (DE-588)4054490-4 gnd rswk-swf Künstliche Intelligenz (DE-588)4033447-8 gnd rswk-swf Logik (DE-588)4036202-4 gnd rswk-swf Künstliche Intelligenz (DE-588)4033447-8 s Logik (DE-588)4036202-4 s DE-604 Semantik (DE-588)4054490-4 s Center for the Study of Language and Information <Stanford, Calif.>: CSLI lecture notes 39 (DE-604)BV001900711 39 HBZ Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=006833970&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Moore, Robert C. Logic and representation Center for the Study of Language and Information <Stanford, Calif.>: CSLI lecture notes Langage et logique ram Logica gtt Logique ram Lógica Representatie (algemeen) gtt Représentation des connaissances ram Semántica (Filosofía) Sémantique (philosophie) ram croyance inriac intelligence artificielle inriac langage naturel inriac langage programmation inriac logique non monotone inriac logique inriac représentation connaissance inriac représentation sémantique inriac sémantique inriac épistémologie inriac Logik Language and logic Logic Semantics (Philosophy) Semantik (DE-588)4054490-4 gnd Künstliche Intelligenz (DE-588)4033447-8 gnd Logik (DE-588)4036202-4 gnd |
| subject_GND | (DE-588)4054490-4 (DE-588)4033447-8 (DE-588)4036202-4 |
| title | Logic and representation |
| title_auth | Logic and representation |
| title_exact_search | Logic and representation |
| title_full | Logic and representation Robert C. Moore |
| title_fullStr | Logic and representation Robert C. Moore |
| title_full_unstemmed | Logic and representation Robert C. Moore |
| title_short | Logic and representation |
| title_sort | logic and representation |
| topic | Langage et logique ram Logica gtt Logique ram Lógica Representatie (algemeen) gtt Représentation des connaissances ram Semántica (Filosofía) Sémantique (philosophie) ram croyance inriac intelligence artificielle inriac langage naturel inriac langage programmation inriac logique non monotone inriac logique inriac représentation connaissance inriac représentation sémantique inriac sémantique inriac épistémologie inriac Logik Language and logic Logic Semantics (Philosophy) Semantik (DE-588)4054490-4 gnd Künstliche Intelligenz (DE-588)4033447-8 gnd Logik (DE-588)4036202-4 gnd |
| topic_facet | Langage et logique Logica Logique Lógica Representatie (algemeen) Représentation des connaissances Semántica (Filosofía) Sémantique (philosophie) croyance intelligence artificielle langage naturel langage programmation logique non monotone logique représentation connaissance représentation sémantique sémantique épistémologie Logik Language and logic Logic Semantics (Philosophy) Semantik Künstliche Intelligenz |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=006833970&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV001900711 |
| work_keys_str_mv | AT moorerobertc logicandrepresentation |