Авторизация
Поиск по указателям
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
Предметный указатель
FHPL, facet 108 FHPL, facet clauses 108 FHPL, facet connectives 106 FHPL, facet constants 106 FHPL, facet group 110 FHPL, facet theorem 106 121 FHPL, facetset 109 FHPL, facetset* 110 FHPL, g-coherent 117 FHPL, g-consequence 115 FHPL, g-consistency 115 FHPL, g-consistent 115 FHPL, g-derivable 119 FHPL, g-inferable 119 FHPL, g-provable 119 FHPL, group 110 FHPL, group coherence 106 117 253 FHPL, group consequence 115 253 FHPL, group consequence, monotonicity of 116 FHPL, group consistency 106 115 253 FHPL, group consistency lemma 116 FHPL, group derivability 118 253 FHPL, group reduction 110 FHPL, Horn clauses 108 FHPL, inter-facet clauses 109 FHPL, inter-facet communication 106 FHPL, intra-facet clauses 108 FHPL, joint consequence 115 FHPL, literals 107 FHPL, local consequence 117 FHPL, local consistency 117 FHPL, logical connectives 106 FHPL, logical consequence, global 106 FHPL, logical consequence, group 106 FHPL, logical consequence, local 106 FHPL, nogood clauses 108 FHPL, premise clauses 108 FHPL, prop 108 109 FHPL, propositional variables 106 FHPL, propset 109 110 FHPL, propset* 110 FHPL, receiver 109 FHPL, remote literals 107 FHPL, road map to 105 FHPL, semantics 111 FHPL, sender 109 FHPL, shared consistency 115 FHPL, shared environment 117 FHPL, special symbols 106 FHPL, subscriber 109 FHPL, syntax 106 FHPL, well-formed formulas 110 Focus 14 54 Focus structure 174 Focus structure, environment 174 Focus structure, group 174 focus?, XFRMS 64 follows-from? 46 137 follows-from?, MXFRMS 197 219 follows-from?, XFRMS 60 Formalization 11 Frame 33 FRMS family 252 Function call notation 197 Generality/specificity dichotomy 171 Global coherence 142 Global consistency 149 Goal 5 99 Goal conflict 27 Group 98 174 Group coherence 174 253 Group consequence 253 Group consistency 253 Group derivability 253 holds-in? 46 137 holds-in?, MXFRMS 197 219 holds-in?, XFRMS 60 Horn Propositional Logic 20 34 HPL 20 32 34 72 253 HPL, alphabet, logical connectives 34 HPL, alphabet, parentheses 34 HPL, alphabet, propositional variables 34 HPL, alphabet, special symbols 34 HPL, axiom, verum 35 HPL, calculus 35 HPL, calculus, derivability relation 72 HPL, calculus, incompleteness 36 HPL, calculus, literal completeness 37 HPL, calculus, soundness 36 HPL, complex formulas 34 HPL, definite clauses 34 HPL, definite clauses, antecedent 34 HPL, definite clauses, consequent 34 HPL, definite clauses, Horn 34 HPL, definite clauses, nogood 34 HPL, definite clauses, premise 34 HPL, derivability 36 HPL, inference rule, modus ponens 35 HPL, language 34 HPL, language, alphabet 34 HPL, literals 34 HPL, literals, extended set of 34 HPL, literals, set of 34 HPL, logical consequence 35 HPL, logical consequence, monotonicity of 35 HPL, well-formed clauses 35 HPL, well-formed formulas 34 Hybrid systems approach 146 IJCAI 1 IMSA 38 Inconsistency 92 Inconsistency of environments 74 Inconsistency, condition for 32 Inconsistency, material 10 Inconsistent context 10 Inconsistent situation 9 Information hiding 15 58 Intentional notions 99 Intentions 99 Interpretation ii Interpretation, construction 57 is-assumption-for?, MXFRMS 206 is-assumption?, XFRMS 64 is-environment?, XFRMS 64 is-facet?, MXFRMS 206 is-focus-for?, MXFRMS 206 is-justification?, MXFRMS 206 is-justification?, XFRMS 64 is-local-assumption?, MXFRMS 206 is-local-focus?, MXFRMS 206 is-local-proposition?, MXFRMS 206 is-proposition-for?, MXFRMS 206 is-proposition?, XFRMS 64 is-reference?, MXFRMS 206 JIT 255 Joint authoring 258 Just-in-time supply processes 255 justification 7 33 Justification, structure 63 justified-by? 46 justifies? 46 KL-ONE 34 Knowledge axiom 100 Knowledge, incomplete 27 Knowledge, representation 30 Knowledge, representation, constraints 33 Knowledge, representation, frames 33 Knowledge, representation, production rules 33 Knowledge, representation, semantic nets 33 Kripke structure 102 Kuenstliche Intelligenz 1 Kuenstliche Intelligenz, Verteilte 1 Label 52 Label, propagation 13 Label, structure 15 Labelling scheme ii labels 13 Language, logical 34 Lazy evaluation 54 LazyRMS 54 Local consistency 149 Local focus 174 Logic 34 Logic, calculus 33 34 Logic, calculus, axioms 34 Logic, calculus, completeness 33 Logic, calculus, deduction rules 34 Logic, calculus, literal completeness 36 Logic, calculus, soundness 33 Logic, classical 34 Logic, consequence relation 35 Logic, deductive consequence relation 36 Logic, derivability 36 Logic, derivability relation 45 Logic, first-order 33 Logic, Horn clause 10 Logic, Horn clause, definite 10 Logic, HPL 32 Logic, language 34 Logic, language, semantics 34 Logic, language, syntax 34 Logic, modal 17 Logic, monotonic 35 Logic, predicate 33 Logic, propositional 33 Logic, propositional, classical 34 Logic, semantics 33 Logic, sentential 34 Logic, syntax 33 Logical consequence 10 12 Logical omniscience problem 100 Logical query function 46 Logics i 32 33 Logics of belief 99 Logics of knowledge 99 Logics, FHPL 105 253 Logics, HPL 253 Logics, intentional 104 Logics, language, hierarchical 104 Logics, language, self-referential 104 Logics, metalanguage 103 Logics, modal 99 Logics, modal, axioms 100 Logics, modal, logical omniscience 100 Logics, modal, material axioms 101 Logics, modal, necessitation 101 Logics, modal, of knowledge and belief 99 Logics, modal, possible world semantics 100 Logics, multiagent 99 Logics, proof theory 101 Logics, self-referential 103 Logics, syntactic theories 103 Logistics 4 255 MAAMAW 1 Maintenance system i Maintenance system, plan i Maintenance system, schedule i Maintenance, design rationale 256 Management system, plan 259 Management system, schedule 259 Mapping notation 197 Market-oriented programming 256 MAs 1 Material axioms 101 Mathematical pseudocode 69 Meeting scheduling, multiagent 84 Mercedes-Benz 255 Metalanguage logics 99 Metalogical state 95 Mixed approach 18 Mobile agents 177 Modal logics 99 modus ponens 35 71 MRMS, architectures 143 MRMS, centralized server approach 144 MRMS, classification, expressive power 148 MRMS, classification, level of consistency 148 MRMS, classification, number of contexts 148 MRMS, current focus 136 MRMS, design tradeoffs 142 MRMS, distributed systems approach 145 MRMS, distribution of control 146 MRMS, families 147 MRMS, focus structures 136 MRMS, global consistency 149 MRMS, hybrid systems approach 146 MRMS, local consistency 149 MRMS, shared consistency 149 MRMS, specification 134 MRMS, specification, callback interface 135 MRMS, specification, components 134 MRMS, specification, context 137 MRMS, specification, extended facet interface 135 MRMS, specification, focus 137 MRMS, specification, global logical state 134 MRMS, specification, local logical state 134 MRMS, specification, logical query interface 134 136 MRMS, specification, logical state 135 MRMS, specification, multiagent logical state 134 MRMS, specification, state change interface 134 138 MRMS, specification, state query interface 134 139 MRMS, synchronization 146 Multiagent i Multiagent reason maintenance, generic functionality 131 Multiagent reason maintenance, system, specification 134 Multiagent RMS ii 253 Multiagent RMS, design requirements 173 Multiagent system 1 Multiagent system, architecture 176 Multiagent systems 8 Multiagent temporal reasoning 258 Multiagent, communication 97 Multiagent, context 98 Multiagent, context management 171 Multiagent, context, environment 98 Multiagent, context, group 98 Multiagent, cooperation 251 Multiagent, coordination 171 251 Multiagent, logics 99 Multiagent, planning 6 8 Multiagent, planning systems 97 Multiagent, reason maintenance i 83 Multiagent, scheduling 6 8 Multiagent, scheduling systems 97 Multiagent, systems i Multiagent, technology 251 Multiple context 8 255 MXFRMS i 171 254 256 MXFRMS, access rights 210 MXFRMS, add-assumption! 200 227 MXFRMS, add-focus! 202 229 MXFRMS, add-focus-owner! 204 233 MXFRMS, add-justification! 200 228 MXFRMS, add-proposition! 200 227 MXFRMS, add-reference! 200 228 MXFRMS, agent dynamics 209 MXFRMS, agent mobility 209 MXFRMS, ail-justifications? 208 MXFRMS, all-assumptions? 208 MXFRMS, all-facets? 208
Реклама
|
|
О проекте