International Workshop

COMPUTATIONAL MODELS OF SCIENTIFIC REASONING AND APPLICATIONS



Purpose

In the era of distributed and decentralized information technologies, the role of reasoning and theorizing about knowledge becomes crucial for the design and control of information systems. The purpose of this workshop is to bring together practitioners in the several fields involved in the computational models of scientific reasoning (Logic, KR&R, Cognitive Sciences, Epistemology and Theory of Science, among others) in order to exchange the results of their ongoing research, share their experiences and speculate about their impact on the new information technologies.

 

Scope

The scope of the workshop includes (but is not limited to) the following areas:


 
Inference Procedures
  • Ampliative Inference
  • Argumentative and Defeasible Reasoning
  • Analogy, Induction and Abduction
  • Paraconsistent Logics
  • Plausible and Hypothetical Reasoning
  • Causal and Explanatory Reasoning
  • Hypothesis Formation, Learning and Discovery
  • Coherence, Explanation and Acceptance
  • Procedural Rationality
  • Distributed Scientific Inference
Philosophical Aspects of the Computational Models of Scientific Reasoning
  • Computational Epistemology and Theory of Science
  • Cognitive Theory Formation
  • Acceptance and Decision Making
  • Reasoning as opposed to Logic
  • Concept Formation and Conceptual Change
  • Design in Scientific Method
  • The Growth of Knowledge
 
Social Metaphors
  • Science as Distributed Computing
  • Models of Science Distributed over Large Networks (grids, semantic webs)
  • Internet Epistemology
  • Self-Organizing Agents
  • Team Theory
  • Rules of Negotiation
  • Social Choice
  • Sociology of Knowledge
  • Evolutionary Epistemology

Applications

  • New Information Technologies
  • Computational Theories in the Sciences
  • Intelligent Data Mining
  • Agent-Based Scientific Discovery
  • Modelling Agreement
  • Intelligent Protocols for E-Commerce
 


Program Committee:


Diderik Batens
Wijsbegeerte
Universiteit Gent - Belgium
Diderik.Batens@rug.ac.be

Jean-Yves Béziau
Institut de Logique
Université de Neuchàtel - Switzerland
Jean-Yves.Beziau@unine.ch

Otávio Bueno
Department of Philosophy
University of South Carolina - USA
obueno@sc.edu

Walter Carnielli
Centre for Logic, Epistemology and the History of Science
State University of Campinas - Brazil
carniell@cle.unicamp.br

Marcelo Coniglio
Centre for Logic, Epistemology and the History of Science
State University of Campinas - Brazil
coniglio@cle.unicamp.br

Claudio Delrieux
Universidad Nacional del Sur - Argentina
claudio@acm.org

Steven French
School of Philosophy
University of Leeds - UK
s.r.d.french@leeds.ac.uk

Lorenzo Magnani
Department of Philosophy & Computational Philosophy Laboratory
University of Pavia - ITALY, and
lorenzo.magnani@unipv.it

David Pearce
Universidad Rey Juan Carlos, Madrid - Spain
d.pearce@escet.urjc.es

Luís Moniz Pereira
Centro de Inteligència Artificial - CENTRIA
Universidade Nova de Lisboa - Portugal
lmp@di.fct.unl.pt


 

Last updated July 29th., 2003