Главная    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
Предметный указатель
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, $\alpha$-interpretation      113
FHPL, $\alpha$-model      114
FHPL, $\alpha$-satisfiable      114
FHPL, $\alpha$-semantics      111
FHPL, $\alpha$-unsatisfiable      114
FHPL, $\omega$-interpretation      111
FHPL, $\omega$-semantics      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
1 2 3 4
blank
Реклама
blank
blank
HR
@Mail.ru
       © Электронная библиотека попечительского совета мехмата МГУ, 2004-2017
Электронная библиотека мехмата МГУ | Valid HTML 4.01! | Valid CSS! О проекте