Логический подход к искусственному интеллекту: От модальной логики к логике баз данных