ищу книги по искусственному интеллукту, СРОЧНО
Логический подход к искусственному интеллекту: от классической логики к
логическому программированию: пер. с франц./Тейз А., Грибомон П., Луи Ж. и др. - М.: Мир, 1990. - 432с.:ил.
Логический подход к искусственному интеллекту: от модальной логики к логике баз данных: пер. с франц./Тейз А., Грибомон П., Юлен Г. и др. - М.: Мир, 1998. - 494с.:ил.
Ч. Чень Математическая логика и автоматическое доказательство теорем
или ешё чё-нить по теме:
Логический подход к искусственному интеллекту (желательно философские аспекты)