Секция по
логика, Институт по математика и
информатика, БАН
Годишна
отчетна сесия 2000
Програма
Място: | Семинарна
зала 503, етаж 5 Институт по математика и информатика бул. Акад. Г. Бончев, бл. 8, София |
|
Време: | 14 декември, 2000 г., от 14 часа |
1400-1405 |
Откриване | |||
Председател: Любомир Иванов | ||||
1405-1425 |
За
областите от продължителности за интервалната темпорална логика |
Димитър Скордев | ||
Резюме: Областите
от продължителности на
интервалната темпорална
логика се характеризират като положителните конуси на дясно наредените групи. Оттук става ясно, че операцията събиране в такива области не винаги е комутативна. |
||||
1425-1445 |
Теорема
на Салквист за полиадични модални езици |
Димитър Вакарелов | ||
1445-1505 |
Спектри на структури | Весела
Балева Иван Сосков |
||
1505-1525 | Автомати на Левенштейн | Стоян
Михов Клаус Шулц |
||
1525-1540 |
кафе, чай и допълнения | |||
Председател: Димитър Скордев | ||||
1540-1600 |
Линейни
апликации в оперативни пространства |
Йордан Зашев | ||
1600-1620 |
Мажоритарният
парламент - или олигархичен, или противоречив |
Владимир Сотиров | ||
1620-1640 |
Дефиниция на изкуствен интелект | Димитър Добрев | ||
Резюме: Ще
си зададем въпросите:
"Трябва ли ни да знаем какво
е AI?" и "Какво е интелект?". След това ще дадем една дефиниция на Изкуствен Интелект. Накрая от тази дефиниция ще получим алгоритъм, който след краен брой стъпки ще открие AI. |
||||
1640-1700 |
За
квантора по състоянията в P-фрагмента на смятането на продължителностите с итерация (PDC*) |
Димитър Гелев | ||
Резюме: Кванторът
по променливите за състояния е
изразим в PDC* и неизразим в неразрешими фрагменти/разширения на DC, От тази изразимост следва конструктивно доказателство на интерполационната теорема на Крейг за PDC*. Съответни резултати са налице и за модалния оператор "префикс" в PDC* и mu-PDC. |
||||
1700-1705 |
Закриване |