메뉴 건너뛰기




Volumn 8, Issue , 2007, Pages 31-62

The Logic of Intelligence

Author keywords

[No Author keywords available]

Indexed keywords

COGNITIVE FUNCTIONS; HUMAN MIND; INSUFFICIENT KNOWLEDGE AND RESOURCES; REASONING SYSTEM;

EID: 84880302671     PISSN: 16112482     EISSN: None     Source Type: Book Series    
DOI: 10.1007/978-3-540-68677-4_2     Document Type: Article
Times cited : (15)

References (45)
  • 1
    • 84880299959 scopus 로고
    • Aristotle, Indianapolis, Indiana. Translated by R Smith
    • Aristotle (1989) Prior Analytics. Hackett Publishing Company, Indianapolis, Indiana. Translated by R Smith.
    • (1989) Prior Analytics. Hackett Publishing Company
  • 2
    • 0026001868 scopus 로고
    • Rigor mortis: A response to Nilsson's Logic and artificial intelligence
    • Birnbaum L (1991) Rigor mortis: a response to Nilsson's Logic and artificial intelligence. Artificial Intelligence, 47:57-77.
    • (1991) Artificial Intelligence , vol.47 , pp. 57-77
    • Birnbaum, L.1
  • 3
    • 0028447220 scopus 로고
    • Deliberation scheduling for problem solving in time constrained environments
    • Boddy M, Dean T (1994) Deliberation scheduling for problem solving in time constrained environments. Artificial Intelligence, 67:245-285.
    • (1994) Artificial Intelligence , vol.67 , pp. 245-285
    • Boddy, M.1    Dean, T.2
  • 6
    • 84880655104 scopus 로고
    • An analysis of time-dependent planning
    • Dean T, Boddy M (1988) An analysis of time-dependent planning. In Proceedings of AAAI-88, pages 49-54.
    • (1988) Proceedings of AAAI-88 , pp. 49-54
    • Dean, T.1    Boddy, M.2
  • 8
    • 0043050060 scopus 로고
    • Memory, reason, and time: The step-logic approach
    • In: Cummins R, Pollock J, MIT Press, Cambridge, MA
    • Elgot-Drapkin J, Miller M, Perlis D (1991) Memory, reason, and time: the step-logic approach. In: Cummins R, Pollock J (eds) Philosophy and AI, MIT Press, Cambridge, MA.
    • (1991) Philosophy and AI
    • Elgot-Drapkin, J.1    Miller, M.2    Perlis, D.3
  • 9
    • 0002542533 scopus 로고
    • Subcognition and the limits of the Turing test
    • French R (1990) Subcognition and the limits of the Turing test. Mind, 99:53-65.
    • (1990) Mind , vol.99 , pp. 53-65
    • French, R.1
  • 11
    • 0038667026 scopus 로고
    • A purely syntactical definition of confirmation
    • Hempel C (1943) A purely syntactical definition of confirmation. Journal of Symbolic Logic, 8:122-143.
    • (1943) Journal of Symbolic Logic , vol.8 , pp. 122-143
    • Hempel, C.1
  • 16
    • 0001946405 scopus 로고
    • The Copycat project: A model of mental fluidity and analogy-making
    • In: Holyoak K, Barnden J, Analogical Connections, Ablex, Norwood, NJ
    • Hofstadter D, Mitchell M (1994) The Copycat project: a model of mental fluidity and analogy-making. In: Holyoak K, Barnden J (eds) Advances in Connectionist and Neural Computation Theory, Volume 2: Analogical Connections, Ablex, Norwood, NJ
    • (1994) Advances In Connectionist and Neural Computation Theory , vol.2
    • Hofstadter, D.1    Mitchell, M.2
  • 17
    • 0000746883 scopus 로고
    • Escaping brittleness: The possibilities of general purpose learning algorithms applied to parallel rule-based systems
    • In Michalski R, Carbonell J, Mitchell T, Morgan Kaufmann, Los Altos, CA
    • Holland J (1986) Escaping brittleness: the possibilities of general purpose learning algorithms applied to parallel rule-based systems. In Michalski R, Carbonell J, Mitchell T (eds) Machine Learning: an artificial intelligence approach, volume II, Morgan Kaufmann, Los Altos, CA.
    • (1986) Machine Learning: An Artificial Intelligence Approach , vol.2
    • Holland, J.1
  • 18
    • 0022691045 scopus 로고
    • Thinking may be more than computing
    • Kugel P (1986) Thinking may be more than computing. Cognition, 22:137-198.
    • (1986) Cognition , vol.22 , pp. 137-198
    • Kugel, P.1
  • 19
    • 84936005867 scopus 로고
    • Mathematical logic in artificial intelligence
    • McCarthy J (1988) Mathematical logic in artificial intelligence. Dædalus, 117(1):297-311.
    • (1988) Dædalus , vol.117 , Issue.1 , pp. 297-311
    • McCarthy, J.1
  • 24
    • 0005324651 scopus 로고
    • Probabilistic Reasoning in Intelligent Systems
    • San Mateo, CA
    • Pearl J (1988) Probabilistic Reasoning in Intelligent Systems. Morgan Kaufmann, San Mateo, CA.
    • (1988) Morgan Kaufmann
    • Pearl, J.1
  • 28
    • 84936373175 scopus 로고
    • Real brains and artificial intelligence
    • Reeke G, Edelman G (1988) Real brains and artificial intelligence. Dædalus, 117(1):143-173.
    • (1988) Dædalus , vol.117 , Issue.1 , pp. 143-173
    • Reeke, G.1    Edelman, G.2
  • 34
    • 84971179405 scopus 로고
    • On the proper treatment of connectionism
    • Smolensky P (1988). On the proper treatment of connectionism. Behavioral and Brain Sciences, 11:1-74.
    • (1988) Behavioral and Brain Sciences , vol.11 , pp. 1-74
    • Smolensky, P.1
  • 35
    • 0028460181 scopus 로고
    • A structured view of real-time problem solving
    • Strosnider J, Paul C (1994) A structured view of real-time problem solving. AI Magazine, 15(2):45-66.
    • (1994) AI Magazine , vol.15 , Issue.2 , pp. 45-66
    • Strosnider, J.1    Paul, C.2
  • 36
    • 0002988210 scopus 로고
    • Computing Machinery and Intelligence
    • Turing A (1950) Computing Machinery and Intelligence. Mind, LIX(236):433-460.
    • (1950) Mind , vol.236 LIX , pp. 433-460
    • Turing, A.1
  • 39
    • 0028543390 scopus 로고
    • From inheritance relation to nonaxiomatic logic
    • Wang P (1994) From inheritance relation to nonaxiomatic logic. International Journal of Approximate Reasoning, 11(4):281-319.
    • (1994) International Journal of Approximate Reasoning , vol.11 , Issue.4 , pp. 281-319
    • Wang, P.1
  • 41
    • 0030126225 scopus 로고    scopus 로고
    • The interpretation of fuzziness
    • Man, and Cybernetics
    • Wang P (1996) The interpretation of fuzziness. IEEE Transactions on Systems, Man, and Cybernetics, 26(4):321-326.
    • (1996) IEEE Transactions On Systems , vol.26 , Issue.4 , pp. 321-326
    • Wang, P.1


* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.