Conceptual foundations of artificial agents:
Gespeichert in:
1. Verfasser: | |
---|---|
Format: | Buch |
Sprache: | English |
Veröffentlicht: |
1998
|
Schlagworte: | |
Online-Zugang: | Inhaltsverzeichnis |
Beschreibung: | Leipzig, Univ., Habil., 1998 |
Beschreibung: | X, 208 S. |
Internformat
MARC
LEADER | 00000nam a2200000 c 4500 | ||
---|---|---|---|
001 | BV012062340 | ||
003 | DE-604 | ||
005 | 19980716 | ||
007 | t | ||
008 | 980716s1998 m||| 00||| eng d | ||
016 | 7 | |a 954037707 |2 DE-101 | |
035 | |a (OCoLC)634173195 | ||
035 | |a (DE-599)BVBBV012062340 | ||
040 | |a DE-604 |b ger |e rakddb | ||
041 | 0 | |a eng | |
049 | |a DE-355 |a DE-11 | ||
100 | 1 | |a Wagner, Gerd |e Verfasser |4 aut | |
245 | 1 | 0 | |a Conceptual foundations of artificial agents |c eingereicht von Gerd Wagner |
264 | 1 | |c 1998 | |
300 | |a X, 208 S. | ||
336 | |b txt |2 rdacontent | ||
337 | |b n |2 rdamedia | ||
338 | |b nc |2 rdacarrier | ||
500 | |a Leipzig, Univ., Habil., 1998 | ||
650 | 0 | 7 | |a Deklarative Programmiersprache |0 (DE-588)4293502-7 |2 gnd |9 rswk-swf |
650 | 0 | 7 | |a Wissensbasiertes System |0 (DE-588)4197554-6 |2 gnd |9 rswk-swf |
650 | 0 | 7 | |a Inferenzsystem |0 (DE-588)4288863-3 |2 gnd |9 rswk-swf |
650 | 0 | 7 | |a Mehragentensystem |0 (DE-588)4389058-1 |2 gnd |9 rswk-swf |
650 | 0 | 7 | |a Produktionsregelsystem |0 (DE-588)4258171-0 |2 gnd |9 rswk-swf |
655 | 7 | |0 (DE-588)4113937-9 |a Hochschulschrift |2 gnd-content | |
689 | 0 | 0 | |a Mehragentensystem |0 (DE-588)4389058-1 |D s |
689 | 0 | 1 | |a Wissensbasiertes System |0 (DE-588)4197554-6 |D s |
689 | 0 | 2 | |a Inferenzsystem |0 (DE-588)4288863-3 |D s |
689 | 0 | 3 | |a Produktionsregelsystem |0 (DE-588)4258171-0 |D s |
689 | 0 | 4 | |a Deklarative Programmiersprache |0 (DE-588)4293502-7 |D s |
689 | 0 | |5 DE-604 | |
856 | 4 | 2 | |m DNB Datenaustausch |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=008164091&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-008164091 |
Datensatz im Suchindex
_version_ | 1812452961468547072 |
---|---|
adam_text |
CONTENTS
1 GENERAL INTRODUCTION
1
1.1 PRACTICAL THEORY AND THEORY-BASED PRACTICE. 1
1.1.1 DO THE REAL THING. 1
1.1.2 THE SUCCESS OF DATABASE SYSTEMS. 2
1.1.3 THE DIFFICULTIES OF EXPERT SYSTEMS. 2
1.1.4 WHAT, IS AN AGENT ?. 3
1.2 VIVID AGENTS . 3
1.3 AN OVERVIEW OF VIVID AGENTS. 5
1.3.1 VIVID KNOWLEDGE SYSTEMS. 5
1.3.2 SPECIFICATION OF REAGENTS. 8
1.3.3 DEFINING THE EXECUTION OF REAGENTS. 9
1.4 INTER-AGENT COMMUNICATION. 9
1.5 VIVA KNOWLEDGE-BASED AGENT PROGRAMMING. 11
1.6 MAIN CONTRIBUTIONS. 11
2 POSITIVE KNOWLEDGE SYSTEMS
13
2.1 BASIC CONCEPTS. 13
2.1.1 REGULAR POSITIVE KNOWLEDGE SYSTEMS. 15
2.1.2 FORMAL PROPERTIES OF KNOWLEDGE SYSTEMS. 17
2.1.3 MINIMAL CHANGE . 18
2.1.4 NONMONOTONICITY. 19
2.1.5 RELATIONAL DATABASES. 19
2.1.6 VIVID KNOWLEDGE SYSTEMS. 22
2.2 FUZZY DATABASES . 22
2.3 TEMPORAL DATABASES . 25
2.4 BITEMPORAL DATABASES . 29
2.5 SECURE DATABASES. 30
2.6 DISJUNCTIVE DATABASES . 33
2.7 S5 DATABASES. 34
3 GENERAL KNOWLEDGE SYSTEMS 37
3.1 BASIC CONCEPTS. 38
3.1.1 REGULAR KNOWLEDGE SYSTEMS. 38
3.1.2 CONSISTENCY. 39
V
BIBLIOGRAFISCHE INFORMATIONEN
HTTP://D-NB.INFO/954037707
VI
CONTENTS
3.1.3 MINIMAL CHANGE . 40
3.1.4 VIVID KNOWLEDGE SYSTEMS. 41
3.2 STANDARD LOGICS AS KNOWLEDGE SYSTEMS. 41
3.3 INCOMPLETE RELATIONAL DATABASES . 42
3.3.1 SHORTCOMINGS OF IRDBS. 44
3.4 RELATIONAL FACTBASES. 45
3.5 POSSIBILISTIC DATABASES. 47
3.6 SOURCE-LABELED FACTBASES. 50
3.7 SECURE FACTBASES . 51
3.8 DISJUNCTIVE FACTBASES. 53
3.8.1 EXACT PREDICATES AND THE CLOSED-WORLD ASSUMPTION
. 55
3.8.2 REASONING WITH THREE KINDS OF PREDICATES. 57
4 ADVANCED KNOWLEDGE AND REASONING SERVICES 59
4.1 DEDUCTION RULES. 59
4.1.1 CONSTRAINT SEMANTICS OF RULES. 60
4.1.2 DYNAMIC SEMANTICS OF RULES. 60
4.1.3 STABLE CLOSURES. 60
4.1.4 DEDUCTIVE KNOWLEDGE BASES. 60
4.2 ACTIVE KNOWLEDGE BASES. 61
4.3 EXPLANATIONS . 61
4.4 DIAGNOSES. 62
4.5 REPRESENTING ACTIONS AND GENERATING PLANS . 63
5 DEDUCTIVE KNOWLEDGE SYSTEMS 65
5.1 INTRODUCTION. 65
5.2 DEDUCTIVE KNOWLEDGE BASES. 66
5.3 FURTHER EXAMPLES OF DEDUCTIVE KNOWLEDGE BASES . 73
5.3.1 TEMPORAL DEDUCTIVE DATABASES. 73
5.3.2 EXTENDED DISJUNCTIVE LOGIC PROGRAMS. 73
5.3.3 S5 DEDUCTIVE DATABASE. 74
5.3.4 POSSIBILISTIC DEDUCTIVE DATABASE. 74
5.4 THE IMMEDIATE CONSEQUENCE OPERATOR. 76
5.5 OPERATIONAL VERSUS CONSTRAINT SEMANTICS OF RULES. 78
5.6 AMPLIATIVE DKBS. 78
5.6.1 MONOTONIC DKBS. 79
5.6.2 PERSISTENT AMPLIATIVE DKBS. 80
5.6.3 MONOTONIC AMPLIATIVE DKBS . 82
5.7 NON-AMPLIATIVE DKBS. 83
5.8 CONCLUSION. 83
6
REAGENTS
85
6.1 REACTION AND INTERACTION RULES . 85
6.1.1 EXAMPLE: AN ELEVATOR AS A REAGENT. 86
CONTENTS
VII
G.1.2 VERIFYING THE ELEVATOR SPECIFICATION. 87
6.1.3 EXAMPLE: COMMUNICATING ELEVATORS. 88
6.1.4 INCOMPLETE AND INCONSISTENT INFORMATION. 89
6.2 SPECIFYING REAGENTS. 92
6.3 OPERATIONAL SEMANTICS OF REACTION RULES. 92
6.4 DEFINING THE EXECUTION OF REAGENTS BY META-PROGRAMMING . 94
6.5 REAGENT SYSTEMS AS TRANSITION SYSTEMS. 95
6.6 ASSERTIONAL REASONING . 96
6.7 EXAMPLES OF VERIFICATION. 97
7 COMMUNICATION AND COOPERATION BETWEEN KNOWLEDGE BASES 101
7.1 SECURE INTER-AGENT COMMUNICATION. 101
7-1.1 TELL.101
7.1.2 ASK.101
7.1.3 REPLY .102
7.1.4 AN EXAMPLE OF SECURE COMMUNICATION.103
7.2 MULTI-KNOWLEDGE BASES.104
7.2.1 DISTRIBUTED UPDATING AND QUERY ANSWERING IN MULTI-DATABASE
SYSTEMS.104
7.2.2 EXAMPLE: A TWO-DATABASE SYSTEM.105
7.2.3 DISTRIBUTED QUERY ANSWERING. 106
7.2.4 DISTRIBUTED UPDATING.108
7.2.5 DISTRIBUTED UPDATING USING REPLICATION .108
7.2.6 CORRECTNESS.109
7.3 COOPERATIVE KNOWLEDGE BASES.109
7.3.1 THE CONTRACT NET PROTOCOL FOR COOPERATIVE QUERY ANSWERING 110
7.3.2 RUNNING THE CNP.112
7.3.3 FORMAL PROPERTIES OF THE CNP.112
8
PLANNING SYSTEMS
115
8.1 REPRESENTING ACTIONS.115
8.1.1 EPISTEMIC ACTION RULES.116
8.1.2 PHYSICAL AND COMMUNICATIVE ACTION RULES.117
8.2 GENERATING PLANS.118
9 VIVID AGENTS 119
9.1 SPECIFICATION OF VIVID AGENTS.119
9.2 DEFINING THE EXECUTION OF VIVID AGENTS BY META-PROGRAMMING . . 121
9.3 MULTI-AGENT SYSTEMS AS TRANSITION SYSTEMS .122
9.4 ASSERTIONAL REASONING .126
9.5 RELATED WORK.126
9.6 OPEN ISSUES AND LIMITATIONS.129
9.7 CONCLUSION.129
VIII
CONTENTS
10 VIVA KNOWLEDGE-BASED AGENT PROGRAMMING 131
10.1 INTRODUCTION.131
10.2 BASIC REQUIREMENTS FOR KNOWLEDGE-BASED AGENT PROGRAMMING . . 132
10.2.1 VERSATILITY.132
10.2.2 SCALABILITY.133
10.2.3 CONSERVATIVITY.133
10.3 SPECIFYING AND EXECUTING AGENTS IN VIVA.133
10.3.1 REAGENTS.134
10.3.2 AGENTS.135
10.4 SCHEMA DEFINITION.135
10.4.1 DEFINING PREDICATES.136
10.4.2 DEFINING EVENT SCHEMAS.139
10.4.3 DEFINING ACTION SCHEMAS.140
10.5 BEHAVIOR DEFINITION.140
10.5.1 EXAMPLE: AN ELEVATOR AS A REAGENT,.140
10.5.2 DEFINING ACTIONS .142
10.5.3 DEFINING REACTIONS.143
10.6 AGENT INITIALIZATION.144
10.7 ADVANCED KNOWLEDGE SYSTEMS.144
10.7.1 DEFINING QUALIFIED EXTENSIONAL PREDICATES.144
10.7.2 DEFINING INTENSIONAL PREDICATES.145
10.8 PRE-DEFINED COMMUNICATION EVENTS.146
10.8.1 TELL, ASK, AND REPLY.147
10.8.2 REQUESTS TO ACT.148
10.9 FURTHER DESIDERATA.149
10.9.1 EXTENSIBILITY.149
10.9.2 SCHEMA AND BEHAVIOR INHERITANCE.149
10.9.3 ONLINE MODIFICATION.149
LO.LORELATED WORK.150
10.LLPROGRAMMING EXAMPLES.151
10.11.1 COMMUNICATING ELEVATORS.151
10.11.2 A TWO-DATABASE SYSTEM.152
10.12A PVM-PROLOG-BASED INTERPRETER FOR VIVID AGENTS.155
10.12.1 PVM AND PVM-PROLOG.155
10.12.2 AN INTERPRETER FOR VIVID AGENTS.156
11
FURTHER TOPICS, OPEN PROBLEMS
159
A PARTIAL LOGICS WITH TWO KINDS OF NEGATION 161
A.L PRELIMINARIES .16I
A.2 PARTIAL MODELS.162
A.3 CLASSICAL LOGIC AS A SPECIAL CASE OF PARTIAL LOGIC .165
A.3.1 FROM PARTIAL TO CLASSICAL LOGIC.165
A.3.2 CONFUSING SEMI-PARTIAL LOGIC WITH CLASSICAL LOGIC.166
CONTENTS
IX
B POSSIBILISTIC LOGIC 169
B.L INTRODUCTION.169
B.2 PRELIMINARIES .170
B.3 THE LOGICAL SEMANTICS PROBLEM OF REASONING WITH UNCERTAINTY . . 170
B.3.1 A NATURAL SOLUTION.171
B.3.2 THE NON-COMPOSITIONAL POSSIBILITY-THEORETIC APPROACH . . 172
B.4 SEMI-POSSIBILISTIC LOGIC.173
B. 5 POSSIBILISTIC LOGIC.176
C THE LOGIC OF TEMPORALLY QUALIFIED INFORMATION 181
C. L SYNTAX.181
C.2 SEMANTICS.183
C.3 FROM TIMEPOINTS TO TIMESTAMPS AND VICE VERSA.184
C.4 MINIMAL MODELS.185
ZUSAMMENFASSUNG DER WISSENSCHAFTLICHEN ERGEBNISSE 197
3.5 EINFIIHRUNG .197
3.5.1 WAS IST EIN AGENT ?.197
3.5.2 VIVIDE AGENTEN.198
3.6 VIVIDE WISSENSREPRASENTATION .199
3.6.1 POSITIVE WISSENSSYSTEME.200
3.6.2 ALLGEMEINE WISSENSSYSTEME .201
3.6.3 DEDUKTIVE WISSENSSYSTEME.203
3.7 REAGENTEN.203
3.8 KOMMUNIKATION ZWISCHEN VIVIDEN AGENTEN.205
3.9 PROAKTIVE VIVIDE AGENTEN.206
3.10 AGENTENPROGRAMMIERUNG IN VIVA.207
3.10.1 SCHEMADEFINITION.208
3.10.2 VERHALTENSDEFINTION.208 |
any_adam_object | 1 |
author | Wagner, Gerd |
author_facet | Wagner, Gerd |
author_role | aut |
author_sort | Wagner, Gerd |
author_variant | g w gw |
building | Verbundindex |
bvnumber | BV012062340 |
ctrlnum | (OCoLC)634173195 (DE-599)BVBBV012062340 |
format | Book |
fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>00000nam a2200000 c 4500</leader><controlfield tag="001">BV012062340</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">19980716</controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">980716s1998 m||| 00||| eng d</controlfield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">954037707</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)634173195</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV012062340</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-355</subfield><subfield code="a">DE-11</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Wagner, Gerd</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Conceptual foundations of artificial agents</subfield><subfield code="c">eingereicht von Gerd Wagner</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="c">1998</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">X, 208 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">Leipzig, Univ., Habil., 1998</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Deklarative Programmiersprache</subfield><subfield code="0">(DE-588)4293502-7</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Wissensbasiertes System</subfield><subfield code="0">(DE-588)4197554-6</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Inferenzsystem</subfield><subfield code="0">(DE-588)4288863-3</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Mehragentensystem</subfield><subfield code="0">(DE-588)4389058-1</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Produktionsregelsystem</subfield><subfield code="0">(DE-588)4258171-0</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="0">(DE-588)4113937-9</subfield><subfield code="a">Hochschulschrift</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Mehragentensystem</subfield><subfield code="0">(DE-588)4389058-1</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Wissensbasiertes System</subfield><subfield code="0">(DE-588)4197554-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="2"><subfield code="a">Inferenzsystem</subfield><subfield code="0">(DE-588)4288863-3</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="3"><subfield code="a">Produktionsregelsystem</subfield><subfield code="0">(DE-588)4258171-0</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="4"><subfield code="a">Deklarative Programmiersprache</subfield><subfield code="0">(DE-588)4293502-7</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="2"><subfield code="m">DNB 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=008164091&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-008164091</subfield></datafield></record></collection> |
genre | (DE-588)4113937-9 Hochschulschrift gnd-content |
genre_facet | Hochschulschrift |
id | DE-604.BV012062340 |
illustrated | Not Illustrated |
indexdate | 2024-10-09T16:03:57Z |
institution | BVB |
language | English |
oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-008164091 |
oclc_num | 634173195 |
open_access_boolean | |
owner | DE-355 DE-BY-UBR DE-11 |
owner_facet | DE-355 DE-BY-UBR DE-11 |
physical | X, 208 S. |
publishDate | 1998 |
publishDateSearch | 1998 |
publishDateSort | 1998 |
record_format | marc |
spelling | Wagner, Gerd Verfasser aut Conceptual foundations of artificial agents eingereicht von Gerd Wagner 1998 X, 208 S. txt rdacontent n rdamedia nc rdacarrier Leipzig, Univ., Habil., 1998 Deklarative Programmiersprache (DE-588)4293502-7 gnd rswk-swf Wissensbasiertes System (DE-588)4197554-6 gnd rswk-swf Inferenzsystem (DE-588)4288863-3 gnd rswk-swf Mehragentensystem (DE-588)4389058-1 gnd rswk-swf Produktionsregelsystem (DE-588)4258171-0 gnd rswk-swf (DE-588)4113937-9 Hochschulschrift gnd-content Mehragentensystem (DE-588)4389058-1 s Wissensbasiertes System (DE-588)4197554-6 s Inferenzsystem (DE-588)4288863-3 s Produktionsregelsystem (DE-588)4258171-0 s Deklarative Programmiersprache (DE-588)4293502-7 s DE-604 DNB Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=008164091&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
spellingShingle | Wagner, Gerd Conceptual foundations of artificial agents Deklarative Programmiersprache (DE-588)4293502-7 gnd Wissensbasiertes System (DE-588)4197554-6 gnd Inferenzsystem (DE-588)4288863-3 gnd Mehragentensystem (DE-588)4389058-1 gnd Produktionsregelsystem (DE-588)4258171-0 gnd |
subject_GND | (DE-588)4293502-7 (DE-588)4197554-6 (DE-588)4288863-3 (DE-588)4389058-1 (DE-588)4258171-0 (DE-588)4113937-9 |
title | Conceptual foundations of artificial agents |
title_auth | Conceptual foundations of artificial agents |
title_exact_search | Conceptual foundations of artificial agents |
title_full | Conceptual foundations of artificial agents eingereicht von Gerd Wagner |
title_fullStr | Conceptual foundations of artificial agents eingereicht von Gerd Wagner |
title_full_unstemmed | Conceptual foundations of artificial agents eingereicht von Gerd Wagner |
title_short | Conceptual foundations of artificial agents |
title_sort | conceptual foundations of artificial agents |
topic | Deklarative Programmiersprache (DE-588)4293502-7 gnd Wissensbasiertes System (DE-588)4197554-6 gnd Inferenzsystem (DE-588)4288863-3 gnd Mehragentensystem (DE-588)4389058-1 gnd Produktionsregelsystem (DE-588)4258171-0 gnd |
topic_facet | Deklarative Programmiersprache Wissensbasiertes System Inferenzsystem Mehragentensystem Produktionsregelsystem Hochschulschrift |
url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=008164091&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
work_keys_str_mv | AT wagnergerd conceptualfoundationsofartificialagents |