阿托卡·阿丽色达所著的《溯因推理(从逻辑探究发现与解释)/认知哲学译丛》采取逻辑进路，首先探讨了科学哲学、人工智能和认知科学领域中发现的逻辑以及科学方法论中逻辑的作用。其次将溯因作为一种逻辑推论，运用语义树结构框架分析产生这种推理的计算过程。再次将科学哲学中的解释模型怍为一种溯因论证形式，提供了表征结构的逻辑分析。后将溯困与信念修正相联系，表明了溯因与哲学、人工智能及实用主义之间的密切联系，也表明了溯因作为一种逻辑探究的认识过程，自然构成了哲学和人工智能的基础。
本书可供科学哲学、心灵哲学、认知哲学、逻辑学、认知科学、人工智能及心理学领域的研究者和学生阅读。