Если кого-то в Москве интересует тема формальных языков представления знаний (например, спрашивали здесь

Автор: es3000
Дата: 12.02.14

), то есть отличная возможность сходить на семинар Meghyn Bienvenu в ВШЭ 16-го апреля.

In this talk, I will briefly review what is meant by an ontology in computer science, and I will introduce description logics (DLs) as a concrete formalism for specifying ontologies. I will describe the types of ontological information that can be expressed using DLs, give an overview of the main reasoning tasks, and mention the complexity vs. expressivity tradeoff. Finally, I will close the talk by a brief overview of the types of problems being studied in modern DL research.

Денег вроде не просят, но нужно зарегистрироваться.

PS. Я никак не связан с организацией семинара, просто лично знаком с Меган, она очень серьезный человек в этой теме и ее всегда интересно слушать.