A strong focus of my scientific work has been on logic and its application to problems of knowledge representation and reasoning. Until the late 1980s this was mainly in the context of classical logic and its extensions, and its application to KRR in sciences such as physics and economics. Thereafter I became interested in problems of common sense reasoning and the application of nonclassical logics to KRR within artificial intelligence. In the mid-1990s I developed a system of nonmonotonic reasoning called equilibrium logic, closely related to the stable model semantics of logic programs that now forms the basis of answer set programming (ASP).
Equilibrium propositional logic is based on the strongest super-intuitionistic logic that is properly contained in classical logic, called here-and-there or Goedels 3-valued logic (though it was first described by Heyting and axiomatised by Lukasiewicz). This logic forms a good foundation for ASP as it allows one to analyse important properties of answer set programs. Together with several colleagues, we have continued to develop equilibrium logic and are now studying and applying first-order versions of it. One promising line of application is to hybrid knowledge bases that arise out of the need to combine ontologies and rules, for example in the context of the Semantic Web. Another area is intertheory relations, the study of logical properties such as equivalence or reduction between theories, programs, ontologies or other kinds of knowledge constructions. You can find out more about equilibrium logic here.
A shortlist of topics I am interested in today includes:
Born in London, England, 29 Oct 1952
1971-1975, University of Sussex, BA in Philosophy
1975-1976, University of Sussex, MSc in Logic & Scientific Method
1976-1978 St Johns College Oxford, Research in Philosophy
1978-1979 University of Sussex, Logic & Scientific Method, Doctorate (D. Phil.)
1986 Free University Berlin, Habilitation (Dr. Phil. Habil.)
1982-88 Lecturer, Institute of Philosophy, Free University Berlin
1982-83 Fellow, Netherlands Institute of Advanced Studies (NIAS)
1988-92 Heisenberg Research Fellow at the Free University Berlin. Leader of an interdisciplinary research group 'Logic, Epistemics and Information'
1992-93 Acting Professor of Philosophy of Science, University of Göttingen
1993-94 Acting Professor of Philosophy of Science, University of Heidelberg
1994-00 Senior Researcher at the German Research Centre for Artificial Intelligence (DFKI), Saarbrücken
2000-02 Researcher (Auxiliary Agent), European Commission, Future and Emerging Technologies Unit, DG INFSO, Brussels
2002-2007 Ramón y Cajal Senior Research Fellow in Computer Science at the Rey Juan Carlos University, Madrid
2007-2009 Professor in the Area of Computing Science and AI, Rey Juan Carlos University, Madrid
Since Jan 2009, I3 Professor at the Universidad Politécnica de Madrid.
FEAST, Foundations and Extensions of Answer Set programming Technology (Spanish Ministry of Science and Innovation, MICINN TIN2009-14562-C05-02), 2009-2012. This is a coordinated project with the Universities of Málaga, La Coruña, Cadiz and the Rey Juan Carlos University, Madrid. It is due to start at the end of 2009. I'm principal investigator fot the UPM.
Agreement Technologies (Spanish Ministry of Science and Innovation, MICINN, CSD2007-00022), 2007-2012. This `consolider' project involves the IIIA-CSIC, Cetinia-URJC and the GTI-IA - UPV. I'm responsible for the subarea 1.2.
Logics, Deduction and Programming for Intelligent Systems. (Spanish Ministry of Education and Science TIN-2006-15455-C03-03), Nov. 2006-2010, coordinated project with the Universities of Málaga and La Coruña. I'm principal investigator for the URJC.
Formal Techniques for Reasoning about Ontologies in e-Science, Integrated Action with the National and Kapodistrian University of Athens, Greece. Principal investigator for the URJC. 2005-06
DELIA, Deduction and Programming in Nonclassical Logics for Knowledge Technologies (Spanish Ministry of Education and Science TIC-2003-9001-C02), Dec. 2003-2006, coordinated project with the University of Málaga, principal investigator for the URJC.
WASP, Working Group on Answer Set Programming (IST-2001-37004), thematic network in IST (FP5), principal investigator for the URJC, 2003-2005.
Nonclassical Logics for Artificial Intelligence, Ramón y Cajal Research Project, 2002-2007.
Computer Modelling of Scientific Reasoning CMSRA III, Buenos Aires, 2003
9th International Conference on Logics In AI JELIA 2004, Lisboa, 2004
Computer Modelling of Scientific Reasoning CMSRA IV, Lisboa, 2005
XI Conferencia de Inteligencia Artificial, CAEPIA 2005, Santiago de Compostela, 2005
8th Int. Conf. on Logic Programming and Nonmonotonic Reasoning, LPNMR, Calabria, 2005
10th International Conference on Logics In AI, JELIA 2006, Liverpool, 2006
2nd International Workshop on Philosophical Foundations of Informations Systems Engineering, PHISE 06, Luxembourg, 2006
17th European Conference on Artificial Intelligence, ECAI 2006, Riva del Garda, 2006
International Workshop on Applications of Logic Programming in the Semantic Web and Semantic Web Services (ALPSWS2006), Seattle, 2006
9th Int. Conf. on Logic Programming and Nonmonotonic Reasoning, LPNMR 2007, Tempe, AZ, USA, 2007
22nd AAAI Conference on Artificial Intelligence, AAAI-07, Vancouver, Canada, 2007
Pedro Cabalar, David Pearce and Agustín Valverde.
A Revised Concept of Safety for General Answer Set Programs (Extended Version).
Technical Report ELWG-TR-2009-01, April 2009, Revised October 2009
David Pearce and Agustín Valverde.
Quantified Equilibrium Logic and the First Order Logic of Here-and-There.
Technical Report, Univ. Rey Juan Carlos, 2006
David Pearce, Hans Tompits and Stefan Woltran.,
Characterising Equilibrium Logic and Nested LogicPrograms: Reductions and Complexity,
Technical Report GIA 2007-12-01, Univ. Rey Juan Carlos, 2007.