Прототипирование верификации поведения интеллектуальных агентов в языке логического программирования ПРОЛОГ
Description
Рассмотрены современные подходы к верификации поведения интеллектуальных агентов. Кратко изложены особенности формальных языков, применяемых для описания спецификаций поведения агентов, и принципы проверки корректности этих спецификаций. Приведены формулировки типичных условий корректности спецификаций поведения агентов. Показано, как сравнительно простыми средствами языка ПРОЛОГ можно осуществлять прототипирование верификации мультиагентных интеллектуальных систем, используя предварительно составленную спецификацию и сформулированные на языке модальной логики условия их корректности. Для студентов бакалавриата, обучающихся по направлению подготовки 09.03.02 «Информационные системы и технологии» и изучающих дисциплину «Интеллектуальные системы и технологии».
Technical Details
| age: | 0 |
| author: | В. В. Девятков |
| genres_list: | 5272,5312,6645 |
| ISBN: | 978-5-7038-5590-4 |
| lang: | ru |
| publisher: | МГТУ им. Н.Э. Баумана (национальный исследовательский университет) |
| Type: | book |
| year: | 2021 |
| Форматы: |
Price history chart & currency exchange rate
Customers also viewed
1%
~ 2,200.00 руб.
сумка женская 2019 новый корейский женский высокое качество одно плечо сумка мода небольшой квадрат
dhgate.com
1%
~ 750.00 руб.
Lifting Hip Printed Widen Waistband Thongs, Black white red gray sky blue deep blue
newchic.com
1%
~ 1,970.00 руб.
skirts lace edge patched high-waisted short black pleated skirt woman girl aesthetic vintage mini saias female
dhgate.com
-2%
1%
~ 1,280.00 руб.
Cationic data cable charger storage bag, portable waterproof mobile phone digital bag
aliexpress.com
+6%
1%
~ 169,000.00 руб.
220 В электрическая пищевая слайсер для мяса домашняя настольная слайсер для мяса слайсер для ягненка и говядины 0-22 мм машина для резки хлеба ветчины мяса
aliexpress.ru
-3%
1%
~ 1,060.00 руб.
50pcs Aluminum Foil Light Shielded Medicine Storage Bags Portable Sealed Mini Medicine Subpackage Food Material Self Sealing Bag
aliexpress.ru
1%
~ 5,200.00 руб.
TN plus running shoes Atlanta Cherry Black Royal Digital Camo Hyper Blue Fresh Noble Red USA tns mens womens sports sneakers trainers oversize 36-47
dhgate.com
1%
~ 5,900.00 руб.
Переключатель двигателя и модуля в сборе для DEWALT N681272 DCD701 DCD706 DCD701C1E DCD701D2 DCD706D2 DCD701M, детали для аккумуляторной дрели
aliexpress.ru
1%
246.74 руб.
garden supplies cc knitting touch screen glove capacitive gloves cc women winter warm wool gloves antiskid knitted telefingers chr2598052
dhgate.com
1%
~ 2,350.00 руб.
custom jersey mens women youth baltimore''orioles''70 travis lakins 31 cedric mullins 1 richie martin 47 john means base, Blue;black
dhgate.com
1%
~ 6,300.00 руб.
1PC Octopus Cruzu Bronze Brass Copper EDC Paracord Beads Lanyard Pendants Knife Beads Umbrella Rope Cord Pendants Beads
aliexpress.com
1%
~ 1,480.00 руб.
Múltiples Cajones Caja De Almacenamiento De Gran Capacidad Maquillaje Escritorio Mesa De Cosméticos Contenedor De Joyería Organizador - Talla L
dx.com
1%
~ 1,250.00 руб.
Женские Купальники, комплект из двух предметов, бикини, купальный костюм для женщин, свободное плавание с подкладками, летние купальники
aliexpress.ru
1%
2,599.00 руб.
Шторы JoyArty с фотопечатью "Полет лебедя" из сатена, 290х180 см, Полет лебедя
goods.ru
1%
~ 56,310.00 руб.
jean michel basquiat graffiti art #203 home decor handcrafts /hd print oil painting on canvas wall art canvas pictures 200309
dhgate.com
-12%
1%
1,892.00 руб.
Коврики в салон для VW Jetta 02/2005 г.в. ELEMENT, NLC.51.14.210kh
vseinstrumenti.ru
1%
~ 1,390.00 руб.
Car Front Gear Shift Cup Holder Decoration Ring Cover for Ford Mustang 2015 2016 2017 2018 2019 2020 Car Interior Accessories
aliexpress.com
1%
~ 310.00 руб.
Soft TPU case for Xiaomi Mi 8 Mi 8SE Mi 8 Lite ultra thin transparent plating shining case For Xiaomi MI 8 Explorer Cover
aliexpress.com
1%
~ 1,520.00 руб.
extendable mobile smart phone digital camera tripod stand mount holder clip set for nikon for canon 6 6s 7 110cm/65cm1
dhgate.com
+7%
1%
~ 850.00 руб.
Костюм спортивный мужской из хлопка и льна, повседневный комплект из 2 предметов, свободная футболка с короткими рукавами и шорты, на лето
aliexpress.ru
+7%
1%
~ 1,400.00 руб.
Stainless Steel Handicraft Key Buckle Waist Keychain Matte Bead Car Keyring American Mechanical Style Men Gift Small Trinket
aliexpress.com
+9%
1%
~ 2,900.00 руб.
New Design 1 Set 3D Carbon Fiber Tank Gas Cap Pad & Tank Sticker Decal Protector for Kawasaki Z900 Z 900 (Green Word)
aliexpress.com
+7%
1%
~ 415.00 руб.
10Pcs Carbon Brushes Spare Parts Mini Drill Electric Grinder Replacement For Electric Motors Rotary Tool WQ 1400/WQ 1000/WQ
aliexpress.ru
+4%
1%
~ 122,740.00 руб.
Подержанная форма, 5-осевые детали станка с ЧПУ, совместимые с брендом Lang, Самоцентрирующиеся регулируемые зажимные тиски
aliexpress.ru
+2%
1%
~ 675.00 руб.
(2-10piece)100% New TAS5825MRHBR TAS5825MB0 5825MB0 5825MBO QFN-32 Chipset
aliexpress.com
