Lucid Representations

@inproceedings{Davis1991LucidR,
  title={Lucid Representations},
  author={Ernest Davis},
  year={1991}
}
This paper criticizes the widespread idea that knowledge bases in AI systems should be complete and that representations should be \model-like." The arguments in favor of such representations are less cogent and more ambiguous than they appear at rst. Levesque's suggestion that representations should be \vivid" is extremely restrictive, particularly in its uniform imposition of a closed-world assumption. Spatial representations that are adequate for reasoning about a wide range of physical… CONTINUE READING

References

Publications referenced by this paper.
SHOWING 1-10 OF 43 REFERENCES

Making Believers out of Computers

VIEW 4 EXCERPTS
HIGHLY INFLUENTIAL

Model Checking vs. Theorem Proving: A Manifesto

  • Artificial and Mathematical Theory of Computation
  • 1991

\Case-based Reasoning: A Research Paradigm

S Slade
  • \Case-based Reasoning: A Research Paradigm
  • 1991

Comp. Sci. Dept

J Hong, X Tan
  • Comp. Sci. Dept
  • 1990
VIEW 1 EXCERPT

Geometric and Solid Modelling

C Hooman
  • Geometric and Solid Modelling
  • 1990

Representations of commonsense knowledge

  • notThenot Morgan Kaufmann series in representation and reasoning
  • 1990
VIEW 1 EXCERPT