Цитата из книги «Совместимость: Как контролировать искусственный интеллект»

Для компьютерной науки по-настоящему важны два типа логики. Первая, так называемая , б