Ingegnerie della conoscenza. Introduzione alla filosofia computazionale