"Логический подход к искусственному интеллекту: От модальной логики к логике баз данных (Пер. с франц.)" - читать интересную книгу автора (Тейз А., Грибомон П., Юлен Г., и др. [Thayse])