The Computational Value of Nonmonotonic Reasoning

@inproceedings{Ginsberg1991TheCV,
  title={The Computational Value of Nonmonotonic Reasoning},
  author={Matthew L. Ginsberg},
  booktitle={KR},
  year={1991}
}
A substantial portion of the formal work in artiicial intelligence over the past decade has involved the formalization of nonmonotonic reasoning. Unfortunately, although much of the original motivation for this work argued that it was necessary for intelligent systems to jump to default conclusions quickly, little of the formal work has justiied these arguments: Existing formal theories of nonmon-otonic reasoning are nonsemidecidable, with implementations involving repeated calls to theorem… CONTINUE READING

From This Paper

Topics from this paper.

References

Publications referenced by this paper.
Showing 1-10 of 12 references

Exploiting Constraints in Design Synthesis

  • Finger, J Jeerey
  • Exploiting Constraints in Design Synthesis
  • 1987
1 Excerpt

Johan de Kleer. An assumptionbased truth maintenance system

  • De Kleer
  • Artiicial Intelligence
  • 1986
1 Excerpt

THEORIST: A logical reasoning system for defaults and diagnosis

  • Poole
  • THEORIST: A logical reasoning system for defaults…
  • 1985

Ray Reiter. A logic for default reasoning

  • Reiter
  • Artiicial Intelligence
  • 1980
1 Excerpt

A Structure for Plans and Behavior

  • Earl D Sacerdoti, Sacerdoti
  • A Structure for Plans and Behavior
  • 1977
1 Excerpt

Similar Papers

Loading similar papers…