Abstract:
The OSCAR project has two parallel goals rathe formulation of a general theory of rationality, and the creation of a general-purpose automated reasoner implementing that theory. The theory of rationality takes as its starting point my own philosophical work in epistemology, probability, and philosophical logic.