Аннотация:
В работе предлагается использовать синтетический подход к формальному представлению рассуждений в искусственном интеллекте. Основу это подхода составляют положения теории двойного процесса, позволяющие различить элементарные, быстрые, интуитивные базовые рассуждения и контролируемые, осознаваемые, медленные рассуждения, основанные на размышлениях. Другим источником являются развиваемые в логике и формальной аргументации идеи представления метарассуждений как трансформации исходных рассуждений.