OSCAR: a general theory of rationality

@article{Pollock1989OSCARAG,
  title={OSCAR: a general theory of rationality},
  author={John L. Pollock},
  journal={J. Exp. Theor. Artif. Intell.},
  year={1989},
  volume={1},
  pages={209-226}
}
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.