Авторизация
Поиск по указателям
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
Предметный указатель
MXFRMS, all-foci? 208 MXFRMS, all-local-assumptions? 208 MXFRMS, all-local-propositions? 208 MXFRMS, all-propositions? 208 MXFRMS, all-references? 208 MXFRMS, assumptions 189 MXFRMS, asynchronous communication 245 MXFRMS, belief labels 216 MXFRMS, CCU 211 MXFRMS, CCU, facet nodes 215 MXFRMS, CMU 211 MXFRMS, CMU, focus nodes 215 MXFRMS, communication and control unit 211 MXFRMS, communication and distribution 210 MXFRMS, complexity 247 MXFRMS, complexity, runtime 248 MXFRMS, complexity, space 248 MXFRMS, concurrent updates 243 MXFRMS, context management unit 211 MXFRMS, context-of? 197 219 MXFRMS, contract clauses 190 MXFRMS, current focus 190 MXFRMS, current-focus? 206 MXFRMS, dependency net unit 211 MXFRMS, design ideas 173 MXFRMS, design ideas, communicated beliefs 173 MXFRMS, design ideas, directed communication 173 MXFRMS, design ideas, facets 173 MXFRMS, design ideas, remote belief queries 173 MXFRMS, design ideas, update contracts 173 MXFRMS, design requirements 173 MXFRMS, design requirements, belief autonomy 173 MXFRMS, design requirements, local control 173 MXFRMS, DNU 211 MXFRMS, DNU, communicated nodes 215 MXFRMS, DNU, justification nodes 215 MXFRMS, DNU, proposition nodes 215 MXFRMS, extend-focus-environment! 203 232 MXFRMS, extend-focus-group! 203 231 MXFRMS, facet clauses 190 MXFRMS, facet communication interface 235 MXFRMS, facet level 185 186 MXFRMS, facet module 178 185 217 MXFRMS, facet module architecture 211 MXFRMS, facet module, CCU 213 215 MXFRMS, facet module, CMU 213 215 MXFRMS, facet module, DNU 213 215 MXFRMS, facet module, internal state 213 MXFRMS, facet module, state update 226 MXFRMS, focus label 215 MXFRMS, focus structure 174 MXFRMS, focus structure, environment 174 190 MXFRMS, focus structure, group 174 190 MXFRMS, focus structure, modification token holder 174 190 MXFRMS, focus structure, owners 174 190 MXFRMS, focus structure, public write permit 174 190 MXFRMS, follows-from? 197 219 MXFRMS, holds-in? 197 219 MXFRMS, implementation 212 MXFRMS, implementation, representation of state 213 MXFRMS, integrity constraints 213 216 245 MXFRMS, is-assumption-for? 206 MXFRMS, is-facet? 206 MXFRMS, is-focus-for? 206 MXFRMS, is-justification? 206 MXFRMS, is-local-assumption? 206 MXFRMS, is-local-focus? 206 MXFRMS, is-local-proposition? 206 MXFRMS, is-proposition-for? 206 MXFRMS, is-reference? 206 MXFRMS, label propagation 220 MXFRMS, label propagation, correctness 238 MXFRMS, label propagation, incremental mechanism 220 MXFRMS, label propagation, systems dynamics 246 MXFRMS, label propagation, termination 241 MXFRMS, labels 215 MXFRMS, local focus (structure) 174 MXFRMS, mxfrms-propagate 223 MXFRMS, mxfrms-send 235 MXFRMS, mxfrms-update-comm-label 226 MXFRMS, mxfrms-update-prop-label 225 MXFRMS, new-facet! 209 234 MXFRMS, open system architecture 186 MXFRMS, private focus (structure) 174 MXFRMS, PS callback interface 210 MXFRMS, public focus (structure) 174 MXFRMS, query processing 218 MXFRMS, relevant base literal references 189 MXFRMS, relevant base literals 189 MXFRMS, relevant facet constants 189 MXFRMS, relevant focus structures 190 MXFRMS, remove-focus! 202 230 MXFRMS, remove-focus-owner! 204 233 MXFRMS, set-current-focus! 205 234 MXFRMS, shared focus (structure) 174 190 MXFRMS, specification 188 MXFRMS, specification, facet logical state 191 MXFRMS, specification, global logical state 188 MXFRMS, specification, logical query interface 197 MXFRMS, specification, state change interface 199 MXFRMS, specification, state query interface 206 MXFRMS, specification, system level functionality 209 MXFRMS, system architecture 175 MXFRMS, system architecture, agent-oriented perspective 178 MXFRMS, system architecture, implementational perspective 178 MXFRMS, system architecture, locality principle 179 MXFRMS, system architecture, logical perspective 178 MXFRMS, system architecture, perspectives 178 MXFRMS, system level 185 186 MXFRMS, systems dynamics 246 MXFRMS, virtual interface module 182 mxfrms-propagate, MXFRMS 223 mxfrms-send, MXFRMS 235 mxfrms-update-comm-label, MXFRMS 226 mxfrms-update-prop-label, MXFRMS 225 Necessitation 101 Negative introspection 100 new-facet!, MXFRMS 209 234 Node, label 52 On demand information exchange 175 PEDE iii 3 251 PEDE, problem 3 4 PEDE, project 3 251 PEDE, research approach 3 Perfect knowledge 101 Plan 5 Plan, adaptation 7 Plan, alternative 9 Plan, consistency 10 Plan, coordination 97 Plan, inconsistency, mutual 11 Plan, maintenance 253 Plan, partial 6 Plan, representation 9 PLANNER 6 Planning i 251 Planning, agent 10 Planning, data 30 Planning, decision 6 9 Planning, distributed 4 Planning, knowledge 30 Planning, multiagent 6 8 Planning, scheduling, and control, integration of 164 PNMS 9 PNSMS 97 Positive introspection 100 Possible world semantics 100 102 Premise 10 32 Private focus 174 Problem analysis 19 Problem formalization 19 Problem Solver i 7 43 Problem solver interface, language-based 58 Problem solver modules 132 Problem solver queries 13 Production rule 33 Proof procedure 34 Proof theories 101 Proposition 6 Proposition, communicated 91 Proposition, local 91 Proposition, relevant 7 Protocol assumptions 47 139 Protocol assumptions, reduction of syntactic complexity 141 Protocol assumptions, relaxation of 47 139 Public focus 174 Reason maintenance i 2 251 Reason maintenance, assumption-based i Reason maintenance, distributed i Reason maintenance, distributed, systems 4 Reason maintenance, monotonic 63 Reason maintenance, multiagent i 83 Reason maintenance, multiple context i Reason maintenance, single agent 25 Reason maintenance, single agent, generic functionality 43 Reason maintenance, system i 43 Reason maintenance, system, architecture i 50 Reason maintenance, system, specification 44 Reason maintenance, systems, classification of 13 Reason maintenance, systems, distributed 12 Reason maintenance, systems, XFRMS 57 Reason maintenance, technology i Reasoning i 30 Reasoning space 105 Reasoning with uncertainty 260 Reasoning, assumption-based i 25 Reasoning, formal analysis of 33 Reasoning, logics for 33 Reasoning, multiple context i Reasoning, nonmonotonic 254 Reasoning, possibilistic 260 Reasoning, probablitistic 260 Reasoning, spatial 259 Reasoning, temporal 258 Reasoning, temporal, multiagent 258 Reducing failure rates 256 Relevance autonomy 132 142 Remote belief query 155 Remote Procedure Call 2 Remove-environment!, XFRMS 62 Remove-focus!, MXFRMS 202 230 Remove-focus-owner!, MXFRMS 204 233 Replanning 164 Representation, distributed 105 Results, problem analysis 253 Results, problem formalization 253 Results, RMS architecture 253 Results, RMS systems 253 254 Retraction 63 RMS 7 43 RMS, all context 52 RMS, architecture 19 50 58 RMS, classes 50 RMS, complexity 57 RMS, design tradeoffs 48 RMS, distributed 91 RMS, families 50 RMS, generic architecture, CCU 254 RMS, generic architecture, CMU 254 RMS, generic architecture, DNU 254 RMS, implementation, pure database approach 49 RMS, implementation, theorem proving approach 48 RMS, logical query interface, generic 45 RMS, logical query interface, MXFRMS 197 RMS, logical query interface, XFRMS 60 RMS, logical state 47 RMS, logical state, generic 45 RMS, logical state, MXFRMS 188 RMS, logical state, XFRMS 58 RMS, module 50 254 RMS, monotonic 63 RMS, multiagent 253 RMS, multiple context 51 RMS, MXFRMS 254 RMS, problem solver interface 65 RMS, single context 51 RMS, specification 44 RMS, specification, components 44 RMS, specification, logical query interface 44 RMS, specification, logical state 44 RMS, specification, state change interface 44 RMS, specification, state query interface 45 RMS, state change interface, generic 47 RMS, state change interface, MXFRMS 199 RMS, state change interface, XFRMS 61 RMS, state query interface, generic 47 RMS, state query interface, MXFRMS 206 RMS, state query interface, XFRMS 63 RMS, system 19 RMS, systems, distributed 251 RMS, technology, multiagent 253 RMS, technology, single agent 253 RMS, three-unit 64 RMS, XFRMS 254 Safe-add-assumption! 48 Safe-add-justification! 140 Schedule 5 Schedule, alternative 9 28 87 91 Schedule, conflict-free 91 Schedule, consistency 10 91 Schedule, maintenance 253 Schedule, revision 91 Scheduler 6 Scheduling 251 Scheduling of appointments 26 83 Scheduling, agent 10 Scheduling, conflicts 85 Scheduling, constraints 84 Scheduling, data 30 Scheduling, decision 6 9 Scheduling, distributed 4 Scheduling, knowledge 30 Scheduling, multiagent 6 8 scheduling, tasks 84 Schema variable 35 Schizophrenic agents 178 Semantic net 33 Semantics 33 34 set-current-focus!, MXFRMS 205 234 set-focus!, XFRMS 62 Shared beliefs 123 Shared consistency 149 Shared focus 174 Shared inconsistency 155 174 Software components 12 Software development 257 Software installation assistance 257 Software technology 12 Spatial reasoning 259 Speech act theories 99 State space 247 Support systems 12 Syntactic theories 99 Syntactic theories, expressive power 103 Syntax 34 System installation 257 system management 257 Temporal reasoning 258 259 Temporal reasoning, multiagent 258 Theorem prover 33
Реклама
|
|
О проекте