Авторизация
Поиск по указателям
Kraetzschmar G.K. — Distributed Reason Maintenance for Multiagent Systems
Обсудите книгу на научном форуме Нашли опечатку?
Название: Distributed Reason Maintenance for Multiagent SystemsАвтор: Kraetzschmar G.K. Аннотация: This book provides a systematic in-depth investigation of a class of multiple-context assumption-based multiagent reasoning problems, typical, e.g., for distributed planning, scheduling, and control. First, logical and architectural foundations are provided to construct the two systems XFRMS and MXFRMS allowing the development of more complex utilities. Then the technology developed for XFRMS in the single-agent case is further enhanced to the multiagent situation. The multiagent RMS MXFRMS provides, along with XFRMS, a solid foundation for building more complex utilities, such as plan or schedule maintenance systems. In the final chapter, the software engineer confronted with the task of building a practicable multiagent system can find a discussion of potential uses and future extensions of the systems provided.
Язык: Рубрика: Computer science /Статус предметного указателя: Готов указатель с номерами страниц ed2k: ed2k stats Год издания: 1997Количество страниц: 296Добавлена в каталог: 05.12.2010Операции: Положить на полку |
Скопировать ссылку для форума | Скопировать ID
Предметный указатель
2vATMS 54 AAAI 1 Accessibility relation 102 Acquaintances 136 Action theory 9 add-assumption! 47 138 add-assumption!, MXFRMS 200 227 add-assumption!, XFRMS 62 add-environment! 47 add-environment!, XFRMS 62 add-facet! 138 add-focus! 138 add-focus!, MXFRMS 202 229 add-focus-owner!, MXFRMS 204 233 add-justification! 47 138 add-justification!, MXFRMS 200 228 add-justification!, XFRMS 62 add-proposition! 47 138 add-proposition!, MXFRMS 200 227 add-proposition!, XFRMS 62 add-reference! 138 add-reference!, MXFRMS 200 228 Agent i Agent, acquaintances 136 Agent, architecture 13 Agent, autonomous 17 Agent, autonomy ii 96 142 251 Agent, deliberative 5 Agent, dynamics 209 Agent, identifier 100 Agent, infrastructure 16 Agent, knowledge-based 3 Agent, malevolent 142 169 Agent, mobility 209 Agent, planning 10 Agent, rational 5 Agent, scheduling 10 Agent, trusted 96 Ai systems i all-assumptions?, MXFRMS 208 all-assumptions?, XFRMS 64 all-environments?, XFRMS 64 all-facets?, MXFRMS 208 all-foci?, MXFRMS 208 all-justifications?, MXFRMS 208 all-justifications?, XFRMS 64 all-local-assumptions?, MXFRMS 208 all-local-propositions?, MXFRMS 208 all-propositions?, MXFRMS 208 all-propositions?, XFRMS 64 all-references?, MXFRMS 208 Appointment scheduling 26 83 Appointment scheduling, multiagent 84 Architecture, layered 30 31 97 Architecture, two-level 7 13 ARMS family 252 artificial intelligence 1 251 Artificial intelligence, distributed 1 Assimilation of information approach 95 Assumption 6 7 31 33 46 255 Assumption about future world states 6 Assumption, communicated 91 Assumption-based reasoning 25 Assumption-based reasoning, multiagent 11 83 Assumption-based reasoning, multiple-context 11 Asymptotic behavior 247 ATMS i 7 13 52 ATMS, complexity 54 ATMS, complexity problems 57 ATMS, deficiencies 13 ATMS, dependency network 52 ATMS, focussing techniques 54 ATMS, label 52 ATMS, label, completeness 53 ATMS, label, consistency 53 ATMS, label, minimality 53 ATMS, label, soundness 53 ATMS, label, update 53 ATMS, nogoods 53 ATTMS 259 Automatic facetification 180 Axiom 4 100 Axiom 5 100 Axiom K 100 Axiom T 100 Base layer substrates 258 Base literal references 178 Belief 10 Belief autonomy 17 132 142 Belief consistency 11 Belief merge 123 Belief revision problem 2 11 57 61 Belief revision problem, distributed 3 12 153 199 253 Belief update 91 Belief update, communication of 91 Belief, communicated 11 92 Belief, local 92 Brain-damaged agents 178 BRTMS 149 150 bulk updates 55 c-subsumption 54 CAIA-94 84 CATMS 54 CCU 20 65 211 213 254 Centralized server approach 17 144 182 Clause database 10 63 Clause database, update 11 Clause retraction 63 clauses 10 Client-server architecture 2 CMU 20 65 211 213 254 Communicated belief 189 Communicated nodes 155 Communication 4 99 Communication and control 65 Communication and control unit 15 65 211 Communication of beliefs 11 Complex task 5 complexity 20 33 57 Computational complexity ii Computational cost ii Computational support 4 253 Conceptualization 38 Configuration Management 257 conflict resolution 171 Conflict resolution protocol 179 Conflicting goals 27 conflicts 11 Congruence problem 93 132 142 175 195 253 Consequence 32 Consequence determination problem 57 Consequence determination problem, distributed 12 199 253 Consequence finding i 10 Consequence, logical 46 Consequential closure 100 Consistency 32 Consistency checking i 68 Consistency of an environment 46 Consistency, global 92 Consistency, local 11 Consistency, plan 10 Consistency, schedule 10 Consistency, shared 115 Constraint 33 Constraints 27 Constraints, logical 10 context 10 32 46 98 Context coherence 174 Context determination i Context determination problem 2 10 57 Context determination problem, distributed 3 12 199 253 Context management ii 65 155 Context management unit 15 65 211 Context management, application-specific 172 Context management, explicit 58 Context management, general 172 Context management, multiagent 171 Context of an environment 46 Context, deletion 15 Context, inconsistent 10 Context, information 13 Context, maintenance 57 Context, management 13 Context, revision 32 context-of? 46 138 context-of?, MXFRMS 197 219 context-of?, XFRMS 60 contingency planning 164 Contract net protocol 256 Contradiction 10 11 Cooperation problem 4 Coordination problem 5 Coordination, multiagent 171 correctness 20 Correspondence theory 102 CPL 35 Current environment 14 current-focus?, MXFRMS 206 DAI 1 DARMS 150 152 251 DARMS, ATMS expressiveness 163 DARMS, belief merge 164 DARMS, communication and control 158 DARMS, context management 157 DARMS, cyclic communication 164 DARMS, dependency net management 156 DARMS, derivability 160 DARMS, formal specification 160 DARMS, functional interface 158 DARMS, handling failure situations 165 DARMS, integrity constraints 162 DARMS, module architecture 155 DARMS, NOGOODS 159 DARMS, planning for contingencies 167 DARMS, remote belief query 158 Data, communicated 11 Data, consistency 2 Data, integrity 2 Data, relevant 31 Datalog 34 DATMS 149 151 251 Decision, planning 6 Decision, scheduling 6 Deduction, concurrent 105 Deduction, simultaneous 105 Deductive closure 71 Denial of service approach 93 Dependencies i Dependencies between data 39 Dependencies, causal 9 Dependencies, data iii Dependencies, logical i 7 255 Dependencies, maintenance of 253 Dependencies, temporal 8 9 Dependency between data 31 Dependency net ii 13 65 Dependency net unit 15 65 211 Dependency network 52 Dependency, communicated 91 Dependency, local 91 Derivability 71 Derivability relation, partial representation 44 Design decision support 256 Design rationale maintenance 256 Diagnosis i Directed communication 155 distributed i Distributed system approach 18 145 Distributed, belief revision problem 199 Distributed, consequence determination problem 199 Distributed, context determination problem 199 Distributed, control i Distributed, databases 2 Distributed, environment i Distributed, planning i 4 Distributed, proofs 122 Distributed, reason maintenance i Distributed, reason maintenance system 12 91 97 251 Distributed, resource allocation 256 Distributed, scheduling i 4 Distributed, systems iii Distribution, functional 4 255 Distribution, spatial 4 255 Distribution, temporal 4 255 DNU 20 65 211 213 254 Document configuration management 258 Domain theory 9 39 DRMS 97 131 DTMS 149 150 Dynamical systems 246 Dynamical systems, theory 246 Eager information exchange 175 ECAI 1 Electronic markets 256 Environment 10 46 174 Environment, consistent 46 Environment, context 46 Equilibrium point 247 Explanation i Explanation generation 57 extend-environment!, XFRMS 62 extend-focus-environment!, MXFRMS 203 232 extend-focus-group!, MXFRMS 203 231 Facet 105 Facetted Horn Propositional Logic 17 105 Falsum 67 74 FHPL ii 17 34 99 104 105 253 FHPL, 113 FHPL, 114 FHPL, 114 FHPL, 111 FHPL, 114 FHPL, 111 FHPL, 111 FHPL, alphabet 106 FHPL, base literal references 107 FHPL, base literals 107 FHPL, belief autonomy 122 FHPL, calculus 118 FHPL, calculus, base belief completeness 106 FHPL, calculus, completeness 106 FHPL, calculus, contract modus ponens 118 FHPL, calculus, incompleteness 119 FHPL, calculus, literal completeness 106 119 FHPL, calculus, local modus ponens 118 FHPL, calculus, soundness 106 119 FHPL, common consistency 115 FHPL, common environment 117 FHPL, connectives, precedence order 107 FHPL, contexts 122 FHPL, contract clauses 109 FHPL, contract delivery object 109 FHPL, contract source object 109 FHPL, contractor 109 FHPL, deduction theorem 106 121 FHPL, derivability 118 FHPL, derivability relation, distributed representation 216 FHPL, derivability, global 106 FHPL, derivability, group 106 FHPL, derivability, local 106
Реклама
-interpretation 
-interpretation 
|
|
О проекте