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

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

blank
blank
blank
Красота
blank
Вагин В.Н., Головина Е.Ю., Загорянская А.А. — Достоверный и правдоподобный вывод в интеллектуальных системах
Вагин В.Н., Головина Е.Ю., Загорянская А.А. — Достоверный и правдоподобный вывод в интеллектуальных системах



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



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


Название: Достоверный и правдоподобный вывод в интеллектуальных системах

Авторы: Вагин В.Н., Головина Е.Ю., Загорянская А.А.

Аннотация:

Рассматриваются методы достоверного (дедуктивного) и правдоподобного (абдуктивного, индуктивного) выводов в интеллектуальных системах различного назначения. Приводятся методы дедуктивного вывода на графовых структурах: вывод на графе связей, графе дизъюнктов, вывод на иерархических структурах. Даются различные виды параллелизма при выводе на графовых структурах. Описываются как классические, так и немонотонные модальные логики: логики убеждения и знания, немонотонные логики Мак-Дермотта и Дойла, автоэпистемические логики Мура, логики умолчания Рейтера. Приводятся основы теории аргументации и методы абдуктивного вывода. Рассматриваются базовые принципы построения систем обучения и принятия решений и даются задачи обучения «без учителя» и «с учителем». Излагаются индуктивные методы для случая с неполной информацией и методы теории приближенных множеств.
Для студентов, аспирантов, обучающихся по направлениям «Прикладная математика и информатика», «Информатика и вычислительная техника» и специальностям «Прикладная математика» (по областям), «Прикладная математика и информатика», а также для специалистов в области искусственного интеллекта, интеллектуальных систем управления и принятия решений.


Язык: ru

Рубрика: Computer science/AI, knowledge/

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

ed2k: ed2k stats

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

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

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

Операции: Положить на полку | Скопировать ссылку для форума | Скопировать ID
blank
Предметный указатель
$MRS_p$      373
$WFSX_p$      363 371 372
$\alpha$-правило      151 155 158
$\alpha$-формула      141 149 150 154 175
$\beta$-правило      151 155
$\beta$-формула      141 149 150 155 175
$\delta$-правило      147 151
$\delta$-формула      143 146 149 150 177 178
$\forall$-формула      32—34
$\gamma$-правило      147 151 180 184
$\Gamma$-расширение      413
$\Gamma$-семантика умолчаний      415
$\gamma$-формула      143 147 149—151 177 178
$\Gamma^*$-оператор      329
$\mathbf M$-модельная структура      277
$\Omega$-расширение      410—415 416
$\Omega$-семантика      413 414
$\Omega$-семантика умолчаний      410 41
$\Phi^p$-оператор      362
AF-структура      437
AKO (a kind of)      228
AND-параллелизм      60 117 125 636 666
AND-параллельная резолюция      94 108 112 115
AND-параллельный алгоритм      109
AND-параллельный вывод      88 107
AND-резольвирование      98
AS-противоречивая программа      334
AS-противоречивость      335
ATMS      460 461 652 682
C-Prolog      62
C-граф      118—125 131 132 134 638 668
CASE-система      216 640 670
CET      459
CLS      563
CRS      373 374
Data Mining      514 596 655 661 685 69
DC-параллелизм      9
DCDP-множества      108 109
DCDP-параллелизм      91 636 666
DCDP-параллельная резолюция      108 115
DCDP-параллельный алгоритм      109
DCDP-параллельный вывод      88 91 98 107
EB-логика      393 399—40
EB-теорпя      398
F-минимальная      325
GL-трансформация      333
GUHA-метод      529 530 656 686
H-интерпретация      39
He-факторы знания      643 673
ICF      589 595
iff-определение      459
IFF-процедура      459
ISA (is an instance of)      228
ISA-иерархия      194 196 198 199 215 218 468 583 585 589 590 595
K-модель пересмотра      456
K45      297
KDD      510 513 516 655 685
Knowledge Discovery in Databases      596
KT      282
KT4      288
KT45      283 288
LTMS      320
MBR      320
MDDB      508
MNS      366 367 369 374
modus ponens      238 250 256 290 394 443
Modus Tollens      250
MRP      367 369 374
NAF      50
NP-полная задача      329
NP-полно      336
OL-вывод      51 52
OL-опровержение      52
OL-резолюция      52
OLAP      506
OLAP-приложение      507
OLAP-система      506—508
OLAP-технология      510 655 685
op-подграф      53
OR-дизъюнкт      98
OR-параллелизм      60 89 90 117 125 126 637 667
OR-параллельная резолюция      89 107 108
OR-параллельный вывод      88 90 98
OR-резольвирование      98
OR-связи      90
OSCAR      438
P-интерпретация      360 36
P-моделью      283
p-подграф      53
Part-of-иерархия      194 196—199 218 468 469
PSM      342 343 416
ROLAP      508
SLD-резолюция      54 500
SLX      351 353
SLX-T-вывод      351 352 354 355
SLX-T-вывод с предшественниками      354
SLX-T-неуспех      352
SLX-T-опровержение      351 352 354 355
SLX-TU-вывод      351 352 354
SLX-TU-вывод с предшественниками      355
SLX-TU-неуспех      352
SLX-TU-опровержение      351 352 355
SLX-опровержение      352
SLХ-вывод      353
SQL-запросы      507
SUN-дизъюнкт      94—98 107 109 112
T-дерево      345—350
T-предшественники      355
TU-дерево      346—350
TU-предшественники      354
U-преобразования      12
U-формула      148
WAODAG      465
wf-модель      487—489
wf-приемлемое множество гипотез      489
wf-приемлемость      488
wf-семантика      489 491 494
WfM      341—345 348 351 352 355 359 417 418
WFS      346 353 377
WFSX      345 347 348 351 353 354 356—359 362—364 369 372 374 375 377 383 385—387 394 395 399—402 415 416
WFSX-модель      387
Абдуктивная гипотеза      465
Абдуктивная логическая программа      459
Абдуктивная логическая структура      459
Абдуктивная процедура      449 454 456 461 464
Абдуктивная процедура доказательства      501 502
Абдуктивная система      449
Абдуктивная структура      450 451 453 464 499 500
Абдуктивная теория      463 468 469
Абдуктивное доказательство      45
Абдуктивное логическое программирование      451 452 459 499 502
Абдуктивное объяснение      419 444 450 455 461 496—498 500 502 652 682
Абдуктивное описание      444
Абдуктивное расширение      445
Абдуктивное решение      450 459
Абдуктивное следование      445
Абдуктивный аргумент      421 423
Абдуктивный вывод      16 238 251 252 323 419 420 444—447 466 467 496 499 650—652 680—682
Абдуктивный механизм      445
Абдуктивный процесс      450 454 463
Абдуктивный силлогизм      445
Абдукция      13 251 252 419 444—450 453 456 465 633 642 651 663 672 681
Абдукция, основанная на стоимости      464 465
Абдуцент      18 446 449—451 468 470 472 473 478 496 498—500
Абдуцентная литера      468 469 473
Абдуцируемый предикат      451 459
Абсолютная метрическая шкала      229
Абстрактная аргументационная система      438 44
Абстрактная аргументационная структура      440 484
Абстрактное значение      59
Абстрактное объяснение      467
Абстракция      468
Автоматизированное рассуждение      651 68
Автоматическое доказательство теорем      634 639 664 669
Автоэпистемическая абдуцируемая формула      452
Автоэпистемическая интерпретация      294 298
Автоэпистемическая логика      254 375 393 401 452 643 645 647 648 650 673 675 677 678 680
Автоэпистемическая логика замкнутых убеждений      392 648 678
Автоэпистемическая логика знаний и мнений      648 678
Автоэпистемическая логика Мура      391 392 397 648 678
Автоэпистемическая логика Мура и Пшимусинского      389
Автоэпистемическая логика очерчивания      392
Автоэпистемическая модель      299
Автоэпистемическая теория      293 375 390 393 452 453 648 651 678 68
Автоэпистемическая теория T      398
Автоэпистемическая теория Мура      398
Автоэпистемическая фоновая теория      452
Автоэпистемические логики (АЭЛ)      292 295 297 298 301 311 312
Автоэпистемический тип рассуждений      253
Автоэпистемическое расширение      392
Агностик      39
Адаптивный сплайн метод      515
Администрирование      509
Аккомодации      242
Аксиома      237 238 245 261 289
Аксиома абстракции      469
Аксиома АХ-      378 379
Аксиома контрапозиции      252
Аксиома объяснений      467 469
Аксиомы Рассела — Бернайса      255
Активатор      231 232
Активность      23
Алгоритм      632
Алгоритм AND-параллельной резолюции      96
Алгоритм Data Mining      514 517
Алгоритм DCDP-параллельного вывода      92 135
Алгоритм DCDP-параллельной резолюции      9
Алгоритм EG2      589 594 595 659 689
Алгоритм ID3      561 569—575 578 579 589 591 594 595 620 621 63
Алгоритм ID5R      574 575 578 579
Алгоритм MAXMIN      538 539
Алгоритм OR-параллельная резолюция      96
Алгоритм OR-параллельной резолюции      9
Алгоритм PAL      13
Алгоритм Reduce      580 582 583
Алгоритм RS1      608 610 611 617 620 621 661 69
Алгоритм RS2      617 619 661 69
Алгоритм абдуктивного вывода      48
Алгоритм автоматической классификации      657 687
Алгоритм АМХ      566 569
Алгоритм антиунификации      525
Алгоритм вероятностных абдуктивных рассуждений      472
Алгоритм входной линейной резолюции      219
Алгоритм вывода на C-графе      123
Алгоритм вывода на графе связей      83
Алгоритм вывода пустого C-графа      122
Алгоритм генерации правил      62
Алгоритм группирования      657 687
Алгоритм ДРЕВ      561 563—566 569 573 574
Алгоритм извлечения знаний      504
Алгоритм индукции      655 685
Алгоритм Кокса      462
Алгоритм количественного и качественного распознавания по признакам      659
Алгоритм Куинлана      661 69
Алгоритм многократной унификации      162
Алгоритм обобщения      544 560 563 655 685
Алгоритм обратной сколемизации      457
Алгоритм обучения без учителя      560
Алгоритм обучения на основе примеров      655 685
Алгоритм обучения с учителем      558 560 569
Алгоритм параллельного дедуктивного вывода      135
Алгоритм получения объяснений для наблюдаемых литер      472
Алгоритм последовательной классификации      626 628
Алгоритм построения целевых деревьев      492
Алгоритм преобразования C-графов      120
Алгоритм приведения к КНФ      34 35
Алгоритм распознавания      521 523
Алгоритм резолюции      457 462
Алгоритм семейства ID3      589
Алгоритм Сколема      33—35 204—206 212 213 219
Алгоритм сколемизации      204—206 212 213 219
Алгоритм сколемизации в MLL      206
Алгоритм унификации      45 61 159—163 171 173 184 204 208 209 219
Алгоритм фокусирования      583 584 589 659 689
Алгоритм «K средних»      541 542
Алгоритмы количественного и качественного распознавания по признакам      689
Алетическая логика      257 258
Алетическая модальность      257
АЛПЕВ      24 634 664
Алфавит      323 324 390
АМХ      574
Анализ вариантов      460
Анализ данных      510 596
Анализ признаков      63
Аналитическая таблица      117 136 138 145 153 154 159 160 163 181 478
Аналитическая таблица со свободными переменными      166
Аннулированный аргумент      428
Аннулированный подаргумент      43
Аннулируемое заключение      434
Аннулируемый аргумент      434
Аннулируемый статус аргумента      442
Аномальная ситуация      467
Антилогизм      266
Антиобъяснение      453
Апостериорная вероятность      253
Априорная вероятность      253 557
Аргумент      420 421 424—444 460 500 50
Аргумент «в силе»      44
Аргумент-аналог      42
Аргументационная последовательность      440
Аргументационная семантика      438 481 496 500 502 652 682
Аргументационная семантика Данга      650 680
Аргументационная система      420—423 433 436 438 440 442—444 651 68
Аргументационная структура      437 443 452 481 483 487
Аргументационная теория      440
Аргументационное расширение      437 438
Аргументационный вывод      419
Аргументация      499 650 652 680 682
Аргументы      422
Археология данных      510
Ассерторическая силлогистика      257
Ассерторический статус утверждений      238
Ассимиляция (усвоение) противоречивой информации      24
Ассимиляция знаний      357
Ассоциативный квантор      529 530
Атака      421 423 429 437 452 481—483 485 486 488 489 496 498 500 50
Атака аргументов      420 423
Атом      323 332 333 338 340 346 377 383 386 393 394 399 409 490 493 500 604 609 610 618 620
Атомарная формула      199
Атомарное множество      39
Атрибут      200 217 226 233 504 517 520 560 562 569—573 575 579 583 584 588—590 592 593 595 597 598 600 602 604 606—608 611 616—618 620—622 632
Ациклический граф DAG      465
База данных      331 504 507 509 510 513—516 589 596 599 601—603 621 655 661 685 69
База знаний      236 330 499 562 625 626 631 647 677
База Эрбрана      324 335 337
Базовый класс      53
Бектрекинг      58 59 61 63 94 115 117 157 314
Бимодальная логика      455
Бинарная резольвента      46
Бинарная унификация      163
Бинарное дерево      566
Бинарное дерево решений      573
Бинарный атрибут      602
Бинарный признак      562 569
Ближний промах      584
Блокирование транзитивности      306 307
Боковой упорядоченный дизъюнкт      5
Брауэрова система      276
Булева переменная      559
Булева сеть доверия      465
1 2 3 4 5 6 7 8
blank
Реклама
blank
blank
HR
@Mail.ru
       © Электронная библиотека попечительского совета мехмата МГУ, 2004-2020
Электронная библиотека мехмата МГУ | Valid HTML 4.01! | Valid CSS! О проекте