Switch to: References

Add citations

You must login to add citations.
  1. The Qualification Problem: A Solution to the Problem of Anomalous Models.Michael Thielscher - 2001 - Artificial Intelligence 131 (1-2):1-37.
  • Motivated Action Theory: A Formal Theory of Causal Reasoning.Lynn Andrea Stein & Leora Morgenstern - 1994 - Artificial Intelligence 71 (1):1-42.
  • Mid-Sized Axiomatizations of Commonsense Problems: A Case Study in Egg Cracking.Leora Morgenstern - 2001 - Studia Logica 67 (3):333-384.
    We present an axiomatization of a problem in commonsense reasoning, characterizing the proper procedure for cracking an egg and transferring its contents to a bowl. The axiomatization is mid-sized, larger than toy problems such as the Yale Shooting Problem or the Suitcase Problem, but much smaller than the comprehensive axiomatizations associated with CYC and HPKB. This size of axiomatization permits the development of non-trivial, reusable core theories of commonsense reasoning, acts as a testbed for existing theories of commonsense reasoning, and (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   8 citations