Секция по логика, Институт по математика и информатика, БАН
Годишна отчетна сесия 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
  Закриване