OSCAR: a general theory of rationality

  title={OSCAR: a general theory of rationality},
  author={John L. Pollock},
  journal={J. Exp. Theor. Artif. Intell.},
Abstract The enterprise is the construction of a general theory of rationality, and its implementation in an automated reasoning system named OSCAR. The paper describes a general architecture for rational thought. This includes both theoretical reasoning and practical reasoning, and builds in important interconnections between them. It is urged that a sophisticated reasoner must be an introspective reasoner, capable of monitoring its own reasoning and reasoning about it. An introspective… CONTINUE READING

Topics from this paper.