Representing Multiple Theories

@inproceedings{Nayak1994RepresentingMT,
  title={Representing Multiple Theories},
  author={P. Pandurang Nayak},
  booktitle={AAAI},
  year={1994}
}
Most Artificial Intelligence programs lack generality because they reason with a single domain theory that is tailored for a specific task and embodies a host of implicit assumptions. Contexts have been proposed as an effective solution to this problem by providing a mechanism for explicitly stating the assumptions underlying a domain theory. In addition, contexts can be used to focus reasoning, allow the representation of mutually incoherent domain theories, lift, axioms from one context into… CONTINUE READING