Conference Website: [ Ссылка ]

Human Reasoning and Cognitive Science (2008) (with Michiel van Lambalgen) argues that at least several logics are required for modelling human reasoning because of the many things people need to achieve by reasoning, and then attributes a central role in this ecology to Logic Programming (LP), as the logic of reasoning to interpretations. Any ‘new information that presents itself requires interpretation, and LP provides a first-response. Its reasoning can be fast, cheap and automatic, and puts new incoming information in touch with the relevant parts of the vast repository of a human individuals general knowledge, without which contact no sense can be made of the input. This is one capacity among others that has a good claim to be at the heart of what makes human reasoning so distinctive. Ironically, LP is an invention of computer science. This talk will briefly outline how LP serves experimental investigation of human reasoning to interpretations, providing some examples of little bits we understand. If it succeeds, it will have made clearer how different from the computation of von Neumann machines, human computation really is, and how indispensable logic is to the conduct of psychology.

свернуть