"Formal Methods in Artificial Intelligence" - читать интересную книгу автора (Allan M. Ramsay)