"Logic-based artificial intelligence" - читать интересную книгу автора (Minker J. (ed.))