Главная    Ex Libris    Книги    Журналы    Статьи    Серии    Каталог    Wanted    Загрузка    ХудЛит    Справка    Поиск по индексам    Поиск    Форум   
blank
Авторизация

       
blank
Поиск по указателям

blank
blank
blank
Красота
blank
Kraetzschmar G.K. — Distributed Reason Maintenance for Multiagent Systems
Kraetzschmar G.K. — Distributed Reason Maintenance for Multiagent Systems



Обсудите книгу на научном форуме



Нашли опечатку?
Выделите ее мышкой и нажмите Ctrl+Enter


Название: 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.


Язык: en

Рубрика: Computer science/

Статус предметного указателя: Готов указатель с номерами страниц

ed2k: ed2k stats

Год издания: 1997

Количество страниц: 296

Добавлена в каталог: 05.12.2010

Операции: Положить на полку | Скопировать ссылку для форума | Скопировать ID
blank
Предметный указатель
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
1 2 3 4
blank
Реклама
blank
blank
HR
@Mail.ru
       © Электронная библиотека попечительского совета мехмата МГУ, 2004-2024
Электронная библиотека мехмата МГУ | Valid HTML 4.01! | Valid CSS! О проекте