Search

Theory of mind refers to the human capacity for reasoning about others' mental states based on observations of their actions and unfolding events. This type of reasoning is notorious in the cognitive science literature for its presumed computational intractability. A possible reason could be that it may involve higher-order thinking (e.g., 'you believe that I believe that you believe'). To investigate this we formalize theory of mind reasoning as updating of beliefs about beliefs using dynamic epistemic logic, as this formalism allows to parameterize 'order of thinking.' We prove that theory of mind reasoning, so formalized, indeed is intractable (specifically, PSPACE-complete). Using parameterized complexity we prove, however, that the 'order parameter' is not a source of intractability. We furthermore consider a set of alternative parameters and investigate which of them are sources of intractability. We discuss the implications of these results for the understanding of theory of mind.

A study to evaluate the natural rate of infection of Ixodes ricinus with Borrelia burgdorferi sensu lato was carried out in an endemic focus of Lyme disease in the Trieste area in northern Italy. Two-hundred and twenty-seven ticks collected in ten different stations were tested individually for the presence of the spirochetes using polymerase chain reaction techniques able to identify both Borrelia burgdorferi sensu lato and the four genospecies (Borrelia burgdorferi sensu stricto, Borrelia garinii. Borrelia afzelii and group VS116). Multiple infection of individual ticks was found. The infection rate ranged from 0-70%. Infection of Ixodes ricinus with Borrelia burgdorferi group VS116 was found for the first time in Italy in both a high and a low endemic focus of Lyme disease.