Reasoning about knowledge:
Gespeichert in:
| Format: | Buch |
|---|---|
| Sprache: | English |
| Veröffentlicht: |
Cambridge, Mass. u.a.
MIT Pr.
1995
|
| Schlagworte: | |
| Online-Zugang: | Inhaltsverzeichnis |
| Beschreibung: | Hier auch später erschienene, unveränderte Nachdrucke |
| Beschreibung: | XIII, 477 S. |
| ISBN: | 0262061627 |
Internformat
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV010389535 | ||
| 003 | DE-604 | ||
| 005 | 20121015 | ||
| 007 | t | ||
| 008 | 950919s1995 |||| 00||| eng d | ||
| 020 | |a 0262061627 |9 0-262-06162-7 | ||
| 035 | |a (OCoLC)31413117 | ||
| 035 | |a (DE-599)BVBBV010389535 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-739 |a DE-384 |a DE-355 |a DE-29 |a DE-29T |a DE-703 |a DE-12 |a DE-19 |a DE-20 |a DE-523 |a DE-634 |a DE-188 |a DE-473 | ||
| 050 | 0 | |a BD181 | |
| 082 | 0 | |a 001 |2 22 | |
| 084 | |a CC 4400 |0 (DE-625)17626: |2 rvk | ||
| 084 | |a MS 6950 |0 (DE-625)123772: |2 rvk | ||
| 084 | |a ST 120 |0 (DE-625)143585: |2 rvk | ||
| 084 | |a ST 285 |0 (DE-625)143648: |2 rvk | ||
| 084 | |a 5,1 |2 ssgn | ||
| 245 | 1 | 0 | |a Reasoning about knowledge |c Ronald Fagin ... |
| 264 | 1 | |a Cambridge, Mass. u.a. |b MIT Pr. |c 1995 | |
| 300 | |a XIII, 477 S. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 500 | |a Hier auch später erschienene, unveränderte Nachdrucke | ||
| 650 | 4 | |a Agente (Filosofía) | |
| 650 | 4 | |a Connaissance, Théorie de la | |
| 650 | 7 | |a Inteligencia artificial |2 larpcal | |
| 650 | 7 | |a Kennis |2 gtt | |
| 650 | 4 | |a Personne (Philosophie) | |
| 650 | 4 | |a Raisonnement | |
| 650 | 4 | |a Razonamiento | |
| 650 | 7 | |a Redeneren |2 gtt | |
| 650 | 4 | |a Agent (Philosophy) | |
| 650 | 4 | |a Knowledge, Theory of | |
| 650 | 4 | |a Reasoning | |
| 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 Wissensrepräsentation |0 (DE-588)4049534-6 |D s |
| 689 | 0 | 1 | |a Agent |g Künstliche Intelligenz |0 (DE-588)4310355-8 |D s |
| 689 | 0 | |5 DE-604 | |
| 700 | 1 | |a Fagin, Ronald |e Sonstige |4 oth | |
| 856 | 4 | 2 | |m Digitalisierung UB Bamberg |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=006917664&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-006917664 | ||
Datensatz im Suchindex
| _version_ | 1804124815146090496 |
|---|---|
| adam_text | Contents
Preface
to the Hardcover Edition
xi
Preface to the Paperback Edition
xv
1
Introduction and Overview
1
1.1
The Muddy Children Puzzle
..................... 4
1.2
An Overview of the Book
...................... 8
2
A Model for Knowledge
15
2.1
The Possible-Worlds Model
..................... 15
2.2
Adding Common Knowledge and Distributed Knowledge
■·...· 23
2.3
The Muddy Children Revisited
.................... 25
2.4
The Properties of Knowledge
.................... 31
2.5
An Event-Based Approach
...................... 38
3
Completeness and Complexity
49
3.1
Completeness Results
........................ 51
3.2
Decidability
............................. 65
3.3
Incorporating Common Knowledge
................. 70
3.4
Incorporating Distributed Knowledge
................ 73
3.5
The Complexity of the Validity Problem
..............· 74
3.6
NP-Completeness Results for S5 and KD45
............. 78
3.7
The First-Order Logic of Knowledge
................ 80
3.7.1
First-Order Logic
...................... 81
3.7.2
First-Order Modal Logic
............. ..... 84
3.7.3
Assumptions on Domains
.................. 86
Vlil
3.7.4
Properties of Knowledge in Relational Kripke Structures
. . 87
4
Knowledge in Multi-Agent Systems
109
4.1
Runs and Systems
..........................109
4.2
Incorporating Knowledge
......................46
4.3
Incorporating Time
..........................121
4.4
Examples of Systems
........................123
4.4.1
Knowledge Bases
......................123
4.4.2
Game Trees
.........................131
4.4.3
Synchronous Systems
....................135
4.4.4
Perfect Recall
........................136
4.4.5
Message-Passing Systems
..................138
4.4.6
Asynchronous Message-Passing Systems
..........141
4.5
Knowledge Gain in A.M.P. Systems
.................145
5
Protocols and Programs
163
5.1
Actions
................................163
5.2
Protocols and Contexts
........................167
5.3
Programs
...............................180
5.4
Specifications
............................183
6
Common Knowledge and Agreement
189
6.1
Coordinated Attack
.........................190
6.2
Agreeing to Disagree
.........................199
6.3
Simultaneous Byzantine Agreement
.................206
6.4
Nonrigid Sets and Common Knowledge
...............213
6.5
Attaining SBA
............................218
6.6
Attaining Common Knowledge
...................224
6.6.1
Clean Rounds
........................225
6.6.2
Waste
............................226
6.6.3
Computing Common Knowledge
..............230
6.7
Detailed Proofs
............................232
7
Knowledge-Based Programming
253
7.1
Knowledge-Based Programs
.....................253
7.2
Getting Unique Representations
...................259
7.3
Knowledge Bases Revisited
.....................271
їх
7.4
A Knowledge-Based Program for SBA
...............276
7.5
Strong Correctness
..........................281
7.6
The Sequence-Transmission Problem
................283
7.7
Proving Strong Correctness of ST
..................290
8
Evolving Knowledge
303
8.1
Properties of Knowledge and Time
..................303
8.2
Synchrony and Perfect Recall
....................307
8.3
Knowledge and Time in A.M.P. Systems
...............311
8.4
Knowledge and Time in
Ј^(Ф)
...................313
8.5
A Closer Look at Axiom
OÁ«,
φ...................
318
9
Logical Omniscience
333
9.1
Logical Omniscience
.........................334
9.2
Explicit Representation of Knowledge
................337
9.2.1
The Syntactic Approach
...................338
9.2.2
The Semantic Approach
...................340
9.2.3
Discussion
..........................345
9.3
Nonstandard
Logic
..........................346
9.3.1
Nonstandard
Structures
...................346
9.3.2
Strong Implication
......................350
9.3.3
A Payoff: Querying Knowledge Bases
............354
9.3.4
Discussion
..........................357
9.4
Impossible Worlds
..........................357
9.5
Awareness
..............................362
9.6
Local Reasoning
...........................368
9.7
Concluding Remarks
.........................373
10
Knowledge and Computation
391
10.1
Knowledge and Action Revisited
..................391
10.2
Algorithmic Knowledge
.......................394
10.2.1
Algorithmic Knowledge Systems
..............394
10.2.2
Properties of Algorithmic Knowledge
............398
10.3
Examples
...............................399
10.4
Algorithmic Knowledge Programs
..................402
10.4.1
Algorithmic Knowledge Programming
............403
10.4.2
Algorithmic
Knowledge
and Complexity
..........405
10.4.3
Implementing Knowledge-Based Programs
.........408
11
Common Knowledge Revisited
415
11.1
Common Knowledge as a Conjunction
................416
11.2
Common Knowledge and Simultaneity
...............419
11.2.1
Common Knowledge and Uncertainty
............419
11.2.2
Simultaneous Events
.....................421
11.3
Temporal Imprecision
........................425
11.4
The Granularity of Time
.......................428
11.5
Common Knowledge as a Fixed Point
................433
11.5.1
Fixed Points
.........................433
11.5.2
Downward Continuity and Infinite Conjunctions
......440
11.6
Approximations of Common Knowledge
..............443
11.6.1 £-
and Eventual Common Knowledge
............443
11.6.2
Applications to Coordinated Attack
.............447
11.6.3
Timestamped Common Knowledge
.............451
11.6.4
Other Approximations of Common Knowledge
.......453
11.7
Discussion
..............................454
Bibliography
463
Symbol Index
488
Index
491
|
| any_adam_object | 1 |
| building | Verbundindex |
| bvnumber | BV010389535 |
| callnumber-first | B - Philosophy, Psychology, Religion |
| callnumber-label | BD181 |
| callnumber-raw | BD181 |
| callnumber-search | BD181 |
| callnumber-sort | BD 3181 |
| callnumber-subject | BD - Speculative Philosophy |
| classification_rvk | CC 4400 MS 6950 ST 120 ST 285 |
| ctrlnum | (OCoLC)31413117 (DE-599)BVBBV010389535 |
| dewey-full | 001 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 001 - Knowledge |
| dewey-raw | 001 |
| dewey-search | 001 |
| dewey-sort | 11 |
| dewey-tens | 000 - Computer science, information, general works |
| discipline | Allgemeines Informatik Soziologie Philosophie |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02049nam a2200553 c 4500</leader><controlfield tag="001">BV010389535</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20121015 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">950919s1995 |||| 00||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0262061627</subfield><subfield code="9">0-262-06162-7</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)31413117</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV010389535</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-739</subfield><subfield code="a">DE-384</subfield><subfield code="a">DE-355</subfield><subfield code="a">DE-29</subfield><subfield code="a">DE-29T</subfield><subfield code="a">DE-703</subfield><subfield code="a">DE-12</subfield><subfield code="a">DE-19</subfield><subfield code="a">DE-20</subfield><subfield code="a">DE-523</subfield><subfield code="a">DE-634</subfield><subfield code="a">DE-188</subfield><subfield code="a">DE-473</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">BD181</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">001</subfield><subfield code="2">22</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">CC 4400</subfield><subfield code="0">(DE-625)17626:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">MS 6950</subfield><subfield code="0">(DE-625)123772:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 120</subfield><subfield code="0">(DE-625)143585:</subfield><subfield code="2">rvk</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">5,1</subfield><subfield code="2">ssgn</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Reasoning about knowledge</subfield><subfield code="c">Ronald Fagin ...</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Cambridge, Mass. u.a.</subfield><subfield code="b">MIT Pr.</subfield><subfield code="c">1995</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XIII, 477 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">Hier auch später erschienene, unveränderte Nachdrucke</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Agente (Filosofía)</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Connaissance, Théorie de la</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Inteligencia artificial</subfield><subfield code="2">larpcal</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Kennis</subfield><subfield code="2">gtt</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Personne (Philosophie)</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Raisonnement</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Razonamiento</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Redeneren</subfield><subfield code="2">gtt</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Agent (Philosophy)</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Knowledge, Theory of</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Reasoning</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">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">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=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Fagin, Ronald</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">Digitalisierung UB Bamberg</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=006917664&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-006917664</subfield></datafield></record></collection> |
| id | DE-604.BV010389535 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-09T17:51:39Z |
| institution | BVB |
| isbn | 0262061627 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-006917664 |
| oclc_num | 31413117 |
| open_access_boolean | |
| owner | DE-739 DE-384 DE-355 DE-BY-UBR DE-29 DE-29T DE-703 DE-12 DE-19 DE-BY-UBM DE-20 DE-523 DE-634 DE-188 DE-473 DE-BY-UBG |
| owner_facet | DE-739 DE-384 DE-355 DE-BY-UBR DE-29 DE-29T DE-703 DE-12 DE-19 DE-BY-UBM DE-20 DE-523 DE-634 DE-188 DE-473 DE-BY-UBG |
| physical | XIII, 477 S. |
| publishDate | 1995 |
| publishDateSearch | 1995 |
| publishDateSort | 1995 |
| publisher | MIT Pr. |
| record_format | marc |
| spelling | Reasoning about knowledge Ronald Fagin ... Cambridge, Mass. u.a. MIT Pr. 1995 XIII, 477 S. txt rdacontent n rdamedia nc rdacarrier Hier auch später erschienene, unveränderte Nachdrucke Agente (Filosofía) Connaissance, Théorie de la Inteligencia artificial larpcal Kennis gtt Personne (Philosophie) Raisonnement Razonamiento Redeneren gtt Agent (Philosophy) Knowledge, Theory of Reasoning Agent Künstliche Intelligenz (DE-588)4310355-8 gnd rswk-swf Wissensrepräsentation (DE-588)4049534-6 gnd rswk-swf Wissensrepräsentation (DE-588)4049534-6 s Agent Künstliche Intelligenz (DE-588)4310355-8 s DE-604 Fagin, Ronald Sonstige oth Digitalisierung UB Bamberg application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=006917664&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Reasoning about knowledge Agente (Filosofía) Connaissance, Théorie de la Inteligencia artificial larpcal Kennis gtt Personne (Philosophie) Raisonnement Razonamiento Redeneren gtt Agent (Philosophy) Knowledge, Theory of Reasoning 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 | Reasoning about knowledge |
| title_auth | Reasoning about knowledge |
| title_exact_search | Reasoning about knowledge |
| title_full | Reasoning about knowledge Ronald Fagin ... |
| title_fullStr | Reasoning about knowledge Ronald Fagin ... |
| title_full_unstemmed | Reasoning about knowledge Ronald Fagin ... |
| title_short | Reasoning about knowledge |
| title_sort | reasoning about knowledge |
| topic | Agente (Filosofía) Connaissance, Théorie de la Inteligencia artificial larpcal Kennis gtt Personne (Philosophie) Raisonnement Razonamiento Redeneren gtt Agent (Philosophy) Knowledge, Theory of Reasoning Agent Künstliche Intelligenz (DE-588)4310355-8 gnd Wissensrepräsentation (DE-588)4049534-6 gnd |
| topic_facet | Agente (Filosofía) Connaissance, Théorie de la Inteligencia artificial Kennis Personne (Philosophie) Raisonnement Razonamiento Redeneren Agent (Philosophy) Knowledge, Theory of Reasoning Agent Künstliche Intelligenz Wissensrepräsentation |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=006917664&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| work_keys_str_mv | AT faginronald reasoningaboutknowledge |