On Scientific Inquiry and Computational Argumentation

6^th April 2018, 11:00 Chatham Building
Federico Cerutti
Cardiff University

Abstract

In this speculative talk I will discuss how existing work in formal argumentation can support the creation of a Regulæ Philosophandi Ratiocinator, i.e. a machinery implementing general principles of formal science. I argue that scientific enquiry can be supported by formal argumentation, that is uniquely equipped to implement the process of conjecture and refutation discussed by Popper. In particular, I will review two research projects in this light, one aimed at supporting intelligence analysis— CISpaces.org—and one aimed at assessing natural language interfaces to formal argumentation.