Switch to: Citations

Add references

You must login to add references.
  1. A Temporal Logic for Reasoning about Processes and Plans.Drew McDermott - 1982 - Cognitive Science 6 (2):101-155.
    Much previous work in artificial intelligence has neglected representing time in all its complexity. In particular, it has neglected continuous change and the indeterminacy of the future. To rectify this, I have developed a first‐order temporal logic, in which it is possible to name and prove things about facts, events, plans, and world histories. In particular, the logic provides analyses of causality, continuous change in quantities, the persistence of facts (the frame problem), and the relationship between tasks and actions. It (...)
    Download  
     
    Export citation  
     
    Bookmark   81 citations  
  • Categorization and representation of physics problems by experts and novices.Michelene T. H. Chi, Paul J. Feltovich & Robert Glaser - 1981 - Cognitive Science 5 (2):121-52.
    The representation of physics problems in relation to the organization of physics knowledge is investigated in experts and novices. Four experiments examine the existence of problem categories as a basis for representation; differences in the categories used by experts and novices; differences in the knowledge associated with the categories; and features in the problems that contribute to problem categorization and representation. Results from sorting tasks and protocols reveal that experts and novices begin their problem representations with specifiably different problem categories, (...)
    Download  
     
    Export citation  
     
    Bookmark   231 citations  
  • Qualitative process theory.Kenneth D. Forbus - 1984 - Artificial Intelligence 24 (1-3):85-168.
    Download  
     
    Export citation  
     
    Bookmark   120 citations  
  • Causal Reasoning in Medicine: Analysis of a Protocol.Benjamin Kuipers & Jerome P. Kassirer - 1984 - Cognitive Science 8 (4):363-385.
    Download  
     
    Export citation  
     
    Bookmark   11 citations  
  • Repair Theory: A Generative Theory of Bugs in Procedural Skills.John Seely Brown & Kurt VanLehn - 1980 - Cognitive Science 4 (4):379-426.
    This paper describes a generative theory of bugs. It claims that all bugs of a procedural skill can be derived by a highly constrained form of problem solving acting on incomplete procedures. These procedures are characterized by formal deletion operations that model incomplete learning and forgetting. The problem solver and the deletion operator have been constrained to make it impossible to derive “star‐bugs”—algorithms that are so absurd that expert diagnosticians agree that the alogorithm will never be observed as a bug. (...)
    Download  
     
    Export citation  
     
    Bookmark   56 citations  
  • A model-based method for computer-aided medical decision-making.Sholom M. Weiss, Casimir A. Kulikowski, Saul Amarel & Aran Safir - 1978 - Artificial Intelligence 11 (1-2):145-172.
    Download  
     
    Export citation  
     
    Bookmark   19 citations