Practical logic of cognitive systems (Elsevier B.V.)