Switch to: Citations

Add references

You must login to add references.
  1. Intelligence without representation.Rodney A. Brooks - 1991 - Artificial Intelligence 47 (1--3):139-159.
    Artificial intelligence research has foundered on the issue of representation. When intelligence is approached in an incremental manner, with strict reliance on interfacing to the real world through perception and action, reliance on representation disappears. In this paper we outline our approach to incrementally building complete intelligent Creatures. The fundamental decomposition of the intelligent system is not into independent information processing units which must interface with each other via representations. Instead, the intelligent system is decomposed into independent and parallel activity (...)
    Download  
     
    Export citation  
     
    Bookmark   662 citations  
  • On the proper treatment of connectionism.Paul Smolensky - 1988 - Behavioral and Brain Sciences 11 (1):1-23.
    A set of hypotheses is formulated for a connectionist approach to cognitive modeling. These hypotheses are shown to be incompatible with the hypotheses underlying traditional cognitive models. The connectionist models considered are massively parallel numerical computational systems that are a kind of continuous dynamical system. The numerical variables in the system correspond semantically to fine-grained features below the level of the concepts consciously used to describe the task domain. The level of analysis is intermediate between those of symbolic cognitive models (...)
    Download  
     
    Export citation  
     
    Bookmark   778 citations  
  • Circumscription — A Form of Non-Monotonic Reasoning.John McCarthy - 1980 - Artificial Intelligence 13 (1-2):27–39.
    Download  
     
    Export citation  
     
    Bookmark   365 citations  
  • Strips: A new approach to the application of theorem proving to problem solving.Richard E. Fikes & Nils J. Nilsson - 1971 - Artificial Intelligence 2 (3-4):189-208.
    Download  
     
    Export citation  
     
    Bookmark   219 citations  
  • Applications of Circumscription to Formalizing Common Sense Knowledge.John McCarthy - 1986 - Artificial Intelligence 28 (1):89–116.
    Download  
     
    Export citation  
     
    Bookmark   185 citations  
  • Non-monotonic logic I.Drew McDermott & Jon Doyle - 1980 - Artificial Intelligence 13 (1-2):41-72.
    Download  
     
    Export citation  
     
    Bookmark   128 citations  
  • Intention is choice with commitment.Philip R. Cohen & Hector J. Levesque - 1990 - Artificial Intelligence 42 (2-3):213-261.
    This paper explores principles governing the rational balance among an agent's beliefs, goals, actions, and intentions. Such principles provide specifications for artificial agents, and approximate a theory of human action (as philosophers use the term). By making explicit the conditions under which an agent can drop his goals, i.e., by specifying how the agent is committed to his goals, the formalism captures a number of important properties of intention. Specifically, the formalism provides analyses for Bratman's three characteristic functional roles played (...)
    Download  
     
    Export citation  
     
    Bookmark   116 citations  
  • Probabilistic logic.Nils J. Nilsson - 1986 - Artificial Intelligence 28 (1):71-87.
    Download  
     
    Export citation  
     
    Bookmark   95 citations  
  • A logic for default reasoning.Ray Reiter - 1980 - Artificial Intelligence 13 (1-2):81-137.
    Download  
     
    Export citation  
     
    Bookmark   655 citations  
  • On the thresholds of knowledge.Douglas B. Lenat & Edward A. Feigenbaum - 1991 - Artificial Intelligence 47 (1-3):185-250.
    Download  
     
    Export citation  
     
    Bookmark   29 citations  
  • The owl and the electric encyclopedia.Brian Cantwell Smith - 1991 - Artificial Intelligence 47 (1-3):251-288.
    Download  
     
    Export citation  
     
    Bookmark   29 citations  
  • Eurisko: A program that learns new heuristics and domain concepts.Douglas B. Lenat - 1983 - Artificial Intelligence 21 (1-2):61-98.
    Download  
     
    Export citation  
     
    Bookmark   28 citations  
  • The use of design descriptions in automated diagnosis.Michael R. Genesereth - 1984 - Artificial Intelligence 24 (1-3):411-436.
    Download  
     
    Export citation  
     
    Bookmark   25 citations  
  • Prolegomena to a theory of mechanized formal reasoning.Richard W. Weyhrauch - 1980 - Artificial Intelligence 13 (1-2):133-170.
    Download  
     
    Export citation  
     
    Bookmark   23 citations  
  • A blackboard architecture for control.Barbara Hayes-Roth - 1985 - Artificial Intelligence 26 (3):251-321.
    Download  
     
    Export citation  
     
    Bookmark   17 citations  
  • The nature of heuristics.Douglas B. Lenat - 1982 - Artificial Intelligence 19 (2):189-249.
    Download  
     
    Export citation  
     
    Bookmark   14 citations  
  • TEAM: An experiment in the design of transportable natural-language interfaces.Barbara J. Grosz, Douglas E. Appelt, Paul A. Martin & Fernando C. N. Pereira - 1987 - Artificial Intelligence 32 (2):173-243.
    Download  
     
    Export citation  
     
    Bookmark   8 citations  
  • Theory formation by heuristic search.Douglas B. Lenat - 1983 - Artificial Intelligence 21 (1-2):31-59.
    Download  
     
    Export citation  
     
    Bookmark   8 citations  
  • A new use of an automated reasoning assistant: Open questions in equivalential calculus and the study of infinite domains.L. Wos, S. Winker, B. Smith, R. Veroff & L. Henschen - 1984 - Artificial Intelligence 22 (3):303-356.
    Download  
     
    Export citation  
     
    Bookmark   1 citation