Switch to: References

Add citations

You must login to add citations.
  1. A computational approach to George Boole's discovery of mathematical logic.Luis de Ledesma, Aurora Pérez, Daniel Borrajo & Luis M. Laita - 1997 - Artificial Intelligence 91 (2):281-307.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Machine discovery.Herbert Simon - 1995 - Foundations of Science 1 (2):171-200.
    Human and machine discovery are gradual problem-solving processes of searching large problem spaces for incompletely defined goal objects. Research on problem solving has usually focused on search of an instance space (empirical exploration) and a hypothesis space (generation of theories). In scientific discovery, search must often extend to other spaces as well: spaces of possible problems, of new or improved scientific instruments, of new problem representations, of new concepts, and others. This paper focuses especially on the processes for finding new (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • The process of discovery.Wei-Min Shen - 1995 - Foundations of Science 1 (2):233-251.
    This paper argues that all discoveries, if they can be viewed as autonomous learning from the environment, share a common process. This is the process of model abstraction involving four steps: act, predict, surprise, and refine, all built on top of the discoverer's innate actions, percepts, and mental constructors. The evidence for this process is based on observations on various discoveries, ranging from children playing to animal discoveries of tools, from human problem solving to scientific discovery. Details of this process (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • Scientific discovery as problem solving: Reply to critics.Herbert A. Simon - 1992 - International Studies in the Philosophy of Science 6 (1):69 – 88.
    Download  
     
    Export citation  
     
    Bookmark   6 citations  
  • Map learning with uninterpreted sensors and effectors.David Pierce & Benjamin J. Kuipers - 1997 - Artificial Intelligence 92 (1-2):169-227.
    Download  
     
    Export citation  
     
    Bookmark   4 citations