AI ÀÇ È²Á¦µé
Trier ´ëÇÐ ÄÄÇ»ÅÍ °úÇÐÀÚ È¨ÆäÀÌÁö ¸ñ·Ï St Andrews ´ëÇÐ ¼öÇÐÀÚ Àθí»çÀü
¡¡
David W. Aha : Navy Center for Applied Research in AI : Case-based reasoning
Narendra Ahuja : Illinois ´ëÇÐ : ÄÄÇ»ÅͺñÀü (human-computer interactionÀ» À§ÇÑ ¿µ»ó°ú 3D scenes °£ÀÇ °ü°è ÀÌÇØ)
Luigia Carlucci Aiello : Univ Di Roma A Sapienza (Italy) : Áö½ÄÇ¥ÇöÀ» À§ÇÑ Logics, Nonmonotonic Reasoning.
Igor Aleksander : Neural Systems Engineering at Imperial College : Neuromodelling, artificial consciousness
James Allen : Rochester ´ëÇÐ : AI : Theory and Practice ÀúÀÚ : natural language understanding, discourse .....
Yiannis Aloimonos : Maryland ´ëÇÐ : AI : Theory and Practice ÀúÀÚ, ÄÄÇ»ÅͺñÀü, ÀÎÁö¿Í Ã߷аú ÇൿÀÇ ÅëÇÕ
Saul Amarel : Rutgers ´ëÇÐ : representation (problem solving, computational planning .....)
James A. Anderson : Brown ´ëÇÐ cognitive : Neural network
John R. Anderson : CMU ½É¸®Çаú : Cognitive Psychology and Its Implication (4th ed), ACT-R
Michael Anderson : Hartford Computer Science : further enabling machine autonomy, machine ethics
Michael A. Arbib : USC : schema theory, Handbook of Brain Theory and Neural Networks (2nd ed.)
Antoine Arnauld : ÇÁ¶û½º ½ÅÇÐÀÚ, The Art of Thinking
Kevin Ashley : Pittsburgh ´ëÇÐ : AI ¿Í ¹ý·ü (computationally modeling case-based reasoning in law)
Kendall Atkinson : Iowa ¼öÇаú : ¼öÄ¡ÇØ¼®, Elementary Numerical Analysis ÀÇ ÀúÀÚ
Fahiem Bacchus : Univ. of Toronto : reasoning and representation in AI. CSP, planning, SAT, Bayesian Inference
Francis Bacon : ±Í³³³í¸®ÀÇ Á߿伺 °Á¶, °æÇè·Ð
Judith Bachant : Digital Equipment Cor : DEC ÀÇ Àü¹®°¡½Ã½ºÅÛ (embedding expert configuration systems) ºÐ¾ßÀÇ °³Ã´ÀÚ
John Backus : Speedcoding °³¹ß, Fortran ¼³°è, BNF (Backus Naur Form) ¹ß¸í
Ruzena Bajcsy : Berkeley : Computer vision, robotics, hybrid systems, medical imaging
Robert Balzer : USC Information Sciences Institute : automatic programming °ú Áö½Ä±â¹Ý °³¹ßȯ°æ
Ranan B. Banerji : Saint Joseph's ´ëÇÐ : problem-solving, game-playing, machine learning ºÐ¾ßÀÇ ±âÃÊ °³Ã´ÀÚ
Harry Barrow : Schlumberger Cambridge Res (¿µ±¹) : Àΰ£°ú ±â°è¿¡¼ÀÇ vision ÀÇ °è»êÀû ¼º°ÝÀÇ ÀÌÇØ
Bernard Baars : Neuroscience Institute : A Cognitive Theory of Consciousness Global Workspace Theory
Andrew G. Barto : Massachusetts ´ëÇÐ : learning (Reinforcement Learning: An Introduction ÀúÀÚ)
Thomas Bayes : Bayes Á¤¸®
George Bekey : USC: Áö´É·Îº¿ (health care, space technology, human service ÀÀ¿ë)
Wolfgang Bibel : Darmstadt Univ of Tech (µ¶ÀÏ) : automated deduction, Áö½ÄÇ¥Çö
Alan Biermann : Duke Univ : computational linguistics (ÀÚµ¿ ÀÚ¿¬¾îÀÌÇØ), automatic programming
Thomas O. Binford : Stanford ´ëÇÐ : computer vision °ú ·Îº¿ÀÇ model-based perception ºÐ¾ßÀÇ °³Ã´ÀÚ
Ned Block : ´º¿å´ë öÇаú : philosophy of mind, foundations of neuroscience, cognitive science, consciousness
Daniel Bobrow : XEROX Palo Alto Research Center (PARC)
Margaret Boden : University of Sussex : AI ÀÇ Ã¶ÇÐ, ½É¸®ÇаúÀÇ ¿¬°ü, AI ÀÇ »çȸÀû ÀǹÌ
Piero Bonissone : General Electric CR&D : ºÒÈ®½Ç¼º °è»ê°ú ÆÛÁö±â¹Ý Á¦¾î½Ã½ºÅÛ¿¡ÀÇ ÀÀ¿ëºÐ¾ßÀÇ °³Ã´ÀÚ
George Boole : Boolean Algebra °³¹ß
George S. Boolos : computability and logic
Robert Boyer : Univ of Texas, Austin : A Computational Logic Handbook
Ronald Brachman : DARPA : Artificial Intelligence, Knowledge Representation and Reasoning
Michael Brady : Oxford ´ëÇÐ (¿µ±¹)
Ivan Bratko : Jozef Stefan Institute (½½·Îº£´Ï¾Æ) : Prolog Programming for AI (3rd ed.) ¡ß
Frederick P. Brooks Jr : North Carolina¿¡¼ ÃÖÃÊÀÇ ÄÄÇ»ÅͰúÇаú ¼³¸³, ÀÎÅÍ·´Æ® °³³äÀ» °í¾È
Bruce Buchanan : CS of Pittsburgh Center for Biomedical Informatics Rule-Based E.S Bruce G.Buchanan
Alan Bundy : Edinburgh ´ëÇÐ(¿µ±¹) informatics : ¼öÇÐÀû Ã߷аúÁ¤ÀÇ ÀÌÇØ
Richard R. Burton
Tom Bylander : Univ. of Texas at San Antonio : AI, knowledge-based systems, machine learning, planning
Jaime Carbonell : CMU Computer Science Language Technologies Institute : Machine Learning
Rudolf Carnap : ³í¸®½ÇÁõÁÖÀÇ È¤Àº ³í¸®°æÇèÁÖÀÇÀÇ ´ëÇ¥ÀÚ
Gail A. Carpenter : º¸½ºÅæ ´ëÇÐ Cognitive and Neural Systems : ART (Adaptive Resonance Theory) °³¹ß
Hugh Cartwright : Oxford ´ëÇÐ ÈÇаú : Physical chemistry experiment, Artificial Intelligence
B. Chandrasekaran : Ohio ÁÖ¸³´ë : intelligence (problem solving, understanding, and explanation)
David Chalmers : Philosophy of Australian National Univ Center for Consciousness : Consciousness, ½É¸®Ã¶ÇÐ
Eugene Charniak : Brown ´ëÇÐ : language understanding (Áö½ÄÇ¥Çö, reasoning under uncertainty, learning)
Peter Cheeseman : Nasa Bayesian group (Automated Learning) : ºÒÈ®½Ç¼º °ú Bayes
Noam Chomsky : MIT AI Lab : syntactic ÀÌ·Ð
Ron Chrisley : Cognitive Science in Sussex : Philosophy, Artificial mentality, artificial emotion, artificial consciousness
Alonzo Church : Church Tuting Thesis
Patricia S. Churchland : UCSD öÇаú : how the mind works. how the brain works
Paul M. Churchland : UCSD öÇаú : philosophy of science, the philosophy of mind, AI, cognitive neurobiology .....
William J.Clancey : NASA/Ames Research Center : expert system, scientific and engineering modeling ºÐ¾ß AI °³Ã´ÀÚ
Paul R. Cohen : Computer, Massachusetts EKSL: real-time planning, Àü¹®°¡½Ã½ºÅÛ¿¡¼ÀÇ ºÒÈ®½Ç¼º 󸮺о߿¡ °øÇå
Philip Cohen : Oregon Graduate Institute : HCI, speech act theory, ÀÚ¿¬¾îó¸®
Kenneth Colby : PARRY (ÆíÁýÁõ (paranoid) Ä¡·á¸¦ À§ÇÑ ÄÄÇ»ÅÍ ½Ã¹Ä·¹À̼Ç) ¸¦ ¸¸µç Á¤½Å°ú ÀÇ»ç
Allan Collins : Principal Scientist at Bolt Beranek and Newman, Inc., Education and Social Policy at Northwestern Univ.
Alain Colmerauer : prolog °³¹ß
John Conway : »ý¸í°ÔÀÓ (Game of Life)
Stephen Cook : Computational Complexity Theory
Rodney Cotterill : Cognitive Neuroscience at Technical University of Denmark : Brain, Consciousness
Johan De Kleer : XEROX Parc
Thomas Dean : Brown Univ : AI : Theory and Practice ÀúÀÚ, automated planning, temporal reasoning, and robotics.
Rina Dechter : UC, Irvine : automated problem solving, heuristic search, constraint processing.
Gerald Dejong : Illinois ´ëÇÐ : ÀÚ¿¬¾îó¸®, ¸Ó½Å·¯´×, ¼³¸í±â¹ÝÃß·Ð
Augustus de Morgan
Daniel Dennett : Tufts ´ëÇÐ : AI ¿Í ½É¸®Ã¶ÇÐ, ÀÎÁö°úÇÐÀÇ °³Ã´ÀÚ
Thomas Dietterich : Oregon ÁÖ¸³´ë : machine learning °ú ±× ¹æ¹ý·Ð, Machine Learning Resources ....
Edsger W. Dijkstra : ´Ü¼øÇÔÀ» ã¾Æ¼.. (In Pursuit of Simplicity), Ãִܰæ·Î Ž»ö, Semaphore, ¸¸ÂùÀÇ Ã¶ÇÐÀÚµéJon Doyle : North Carolina ÁÖ¸³´ë : rational activity ÀÇ ±¸Á¶¿Í ÇØ¼®, Rational representation, reasoning, discovery ...
Hubert Dreyfus : UC Berkeley öÇаú : AI ÀÇ Ã¶ÇÐÀû ºñÆÇ, What computer still can't do?
Edmund Durfee : Michigan ´ëÇÐ : multiagent systems, distributed computing, real-time intelligent control.
Richard O. Duda : San JoseÁÖ¸³´ë : Pattern Classification ¡Ú(2nd ed: Peter E. Hart , David G. Stork), ÆÐÅÏÀνÄ, ½Å°æ¸Á
John Durkin : Electrical Engineering of Akron
Robert Engelmore : Stanford ´ëÇÐ : expert systems technology °³Ã´ÀÚ, Application of knowledge-based systems
Lee Erman : Cimflex Teknowledge Corporation : AI ±â¼ú ¹ßÀü¿¡ °øÇå
Susan L. Epstein : Hunter College of New York : machine learning, knowledge representation, cognition
M.C. Escher : National Gallery of Art
Lawrence M.Fagan : Stanford Medical Informatics (SMI)
Ronald Fagin : IBM Almaden Research Center : Applications of logic to computer science, Reasoning about knowledge
Edward Feigenbaum : Stanford Computer Science : Knowledge Systems Lab (KSL)
Jacob Feldman : Psychology, Cognitive Science, Rutgers University : human visual perception
Richard Fikes : Stanford Univ, KSL : STRIPS (automatic planning system) °øµ¿°³¹ß, OKBC, KEE system °³¹ß
David B. Fogel : Natural-selection Inc : science and application of evolutionary computation
Lawrence J. Fogel : Natural-selection Inc : Intelligence Through Simulated Evolution (1999), evolutionary programmingKenneth Forbus : ISL/Northwestern Univ : qualitative reasoning, spatial reasoning, analogical reasoning ...
Kenneth Ford : UWF/Inst for Human & Machine Cognition : large-scale AI research programs and institutions.
Jerry A. Fodor : Cognitive Science at Rutgers Univ. : Philosophical problems about psychology, psycholinguistics ...
Charles L. Forgy : CMU : OPS5, Àü¹®°¡½Ã½ºÅÛ¿¡¼ÀÇ Rete algorithmMark Fox : Toronto ´ëÇÐ(ij³ª´Ù) : factory planning, scheduling, project management, material design ¿¡ AI ÀÀ¿ë
Stan Franklin : Computer Science of Memphis Univ. : Artificial Minds, Cognitive Modeling using the IDA Model ...
Walter Freeman : The Neurophysiology and Neuromodeling Group of Berkeley : How Brains make up their Minds
Eugene C. Freuder : New Hampshire ´ëÇÐ : constraint-based reasoning
Peter Friedland : NASA Ames Research Center : planning, scientific discovery, AI ¿Í ¿ìÁÖŽ»ö ºÐ¾ß °³Ã´ÀÚ
Kunihiko Fukushima : Tokyo Univ. of Technology : modeling neural networks, vision, Neocognitron ¹ß¸í
Brian R. Gaines : University of Calgary Knowledge Science Institute
Michael Gelfond : Texas Tech Univ : Áö½ÄÇ¥Çö(»ó½Ä, Çൿ), logic programming(prolog), nonmonotonic reasoning
Michael Genesereth : Stanford ´ëÇÐ logic group : Computational Logic °ú ±×ÀÀ¿ë
Michael Georgeff : Agentis Internatinal INC (Australia) : reactive planning technology ¿Í agent architectures °³Ã´ÀÚ
John Gero : Sydney ´ëÇÐ(È£ÁÖ) : °ÇÃà°øÇаú µðÀÚÀÎ ºÐ¾ß¿¡ AI ÀÀ¿ëÀÇ °³Ã´ÀÚ , design science, AI, optimization, CAD
Matthew Ginsberg : Oregon ´ëÇÐ : nonmonotonic reasoning, planning, and search. constraint
Kurt Gödel : ºÒ¿ÏÀü¼º Á¤¸® (Incompleteness Theorem)
David E. Goldberg : Illinois Genetic Algorithm Lab : Genetic Algorithms in Search, Optimization and Machine Learning
Cordell Green : Kestrel Inst : logic programming ±âÃÊÀÌ·Ð, deductive data base field ±âÃÊ...... ACM award
Eric Grimson : MIT AI Lab : ÄÄÇ»ÅͺñÀüÀÇ ÀÇÇÐÀÀ¿ë (Medical vision group)
Stephen Grossberg : º¸½ºÅæ ´ëÇÐ Cognitive and Neural Systems : ºÎÀÎ Gail A. Carpenter ¿Í ÇÔ²² ART °³¹ß
Barbara Grosz : Harvard Univ : Collaborative Planning and Human-Computer Communication
Joseph Halpern : Cornell ´ëÇÐ : Áö½Ä, »ó½Ä, ¹ÏÀ½(belief), È®·ü °£ÀÇ ³í¸®¿Í °ü°è¿¡ ´ëÇÑ ¿¬±¸
William Rowan Hamilton : Graph theory
Juris Hartmanis : Computational Complexity Theory
Roland Hausser : Àü»ê¾ð¾îÇÐ, Àü»ê¾ð¾îÇÐÀÇ ±âÃÊ
David Haussler : UCSC, Howard Hughes Medical Institute : machine learning (genomics, bioinformatics, ÆÐÅÏÀνÄ..)
Patrick Hayes : UWF / Inst for Human & Machine Cogn : Computation and Deduction
Barbara Hayes-Roth : Stanford : Adaptive Intelligent Systems : Guardian Patient Advocate
Frederick Hayes-Roth : Hewlett Packard Co : Àü¹®°¡½Ã½ºÅÛÀÇ »ó¿ëÈ¿¡ ±â¿©, Hearsay II °³¹ß, ROSIE .....
Simon Haykin : MacMaster ´ëÇÐ Adaptive System lab : Neural Networks: A Comprehensive Foundation ÀúÀÚ
Donald Hebb : The Organization of Behavior ÀúÀÚ
Robert Hecht-Nielsen : UCSD Electrical & Computer Engineering : brain theory, neural networks and Perceptron theory
David Heckerman : MS machine learning group : ºÒÈ®½Ç¼ºÇÏ¿¡¼ÀÇ Ã߷аú ÇнÀ, Learning with Bayesian Network
Carl Hempel : Confirmatin Theory
James Hendler : Rensselaer Polytechnic Institute. : planning, knowledge representation, high-performance AI
Carl Hewitt : MIT AI lab : PLANNER: a language for proving theorems in robots
Ellen Hildreth : Wellesley College : AI (motion vision, natural computation)
Daniel Hillis : Parallel Computing, Biological Connection
Geoffrey Hinton : Toronto ´ëÇÐ (ij³ª´Ù) : machine learning publication ¡Ú
Julia Hirschberg : AT&T Bell Labs : Computational Linguistics (À½¼ºÇÕ¼º¿¡¼ intonation °ú discourse ¿ÍÀÇ °áÇÕ °³Ã´)
Jerry Hobbs : USC / Information Sciences Inst SRI International : AI ƯÈ÷ ÀÚ¿¬¾î ÀÌÇØ¿Í Áö½ÄÇ¥Çö
Douglas
Hofstadter
: Indiana ´ëÇÐ CRCC : ±«µ¨,¿¡¼Å,¹ÙÈå ÀúÀÚ,
AI, cognitive science, philosophy of mind ..
John Hopfield : ¾à·Â : Cal Tech John Hopfield : Hopfield Network
Berthold Horn : MIT AI lab : Lisp, Photogrammetry, Diaphanography, Cone Beam CT, Robot Vision ÀúÀÚ
Eric Horvitz : MS adaptive systems : ºÒÈ®½Ç¼ºÇÏÀÇ Ã߷аú ÀÇ»ç°áÁ¤, decision theory(Àü¹®°¡½Ã½ºÅÛ¿¡ ÀÀ¿ë), Bayesian
Jim Howe : Edinburgh ´ëÇÐ(¿µ±¹) : design of learning environments, AI technology
K. Huff
David Hume : ±Í³³¹ý (Induction)
Ray Jackendoff : Center for Cognitive in Tufts : Natural language semantics/conceptual structure
Peter Jackson : Thomson Corporation : Expert system, Natural language processing
Charlotte D.Jacobs : Stanford Medical Informatics (SMI)
Ramesh Jain : USCD vision lab : ÄÄÇ»ÅÍ ºñÀüÀÇ °³Ã´ÀÚ
Nicholas Jennings : ECS at Southampton Univ : the use of agent-based techniques for real-world applications
Richard Johnsonbaugh : ÀÌ»ê¼öÇÐ (Discrete Mathmatics) ÀÇ ´ë°¡ ¡ß prenhall.com, depaul.com ¿¡¼´Â °¢Á¾ ÀÚ·áÁ¦°ø
Philip N. Johnson-Laird : Princeton ´ëÇÐ ½É¸®Çаú : mental models, WordNet (George Miller°¡ °³¹ßÇÑ ´ë±Ô¸ð Àǹ̸Á)
Michael Jordan : UC at Berkeley : reasoning under uncertainty, machine learning, human motor control
Aravind Joshi : Pennsylvania ´ëÇÐ : Çü½Ä¾ð¾î, ÀÚ¿¬¾îó¸®, ÀÎÁö°úÇÐ, mathmatical linguistics
Leslie Pack Kaelbling : MIT AI lab : situated agents, machine learning, planning, mobile robotics
Daniel Kahneman : Psychology of Princeton Univ. : behavioral finance, cognitive science, heuristics
Rudolf E. Kalman : Á¦¾î, Kalman Filter
Takeo Kanade : CMU : computer vision, multi-media technology, robotics
Laveen N. Kanal : Maryland at CP : pattern recognition, heuristic search ¿Í ÀÀ¿ë
Elaine Kant : Scicomp Inc
Richard Karp : UC at Berkeley : Complexity theory, NP-complete
Henry Kautz : Washington ´ëÇÐ : AI (plan recognition, Áö½ÄÇ¥Çö, software agents µîµî)
Michael J. Kearns : Computer, Univ. of Pennsylvania : AI, machine learning, computational learning theory
Philip Klahr : The softad Group and inference corporation: business problems ÇØ°á¿¡ AI ÀÀ¿ë
Kevin Knight : USC Information Sciences Institute : ÀÚ¿¬¾îó¸®, semantics, machine translation, unification ...
Donald Knuth : Stanford ¸í¿¹±³¼ö : The Art of Computer Programming
Daphne Koller : Stanford Computer Science : Robotics Laboratory, Theory Group
Teuvo Kohonen : Helsinki ´ëÇÐ : Self Organizing Map
Andrey Nikolayevich Kolmogorov : È®·ü·Ð (Foundations of the Theory of Probability)Janet Kolodner : Georgia Inst of Tech : case-based reasoning ÀúÀÚ, learning °³Ã´ÀÚ (Á¤º¸°Ë»ö, ¹®Á¦Çذá, Áö½Äȹµæ)
Kurt Konolige : SRI International : nonmonotonic logic, reasoning about beliefs, mobile robotics ºÐ¾ß¿¡ Áß¿äÇÑ °øÇå
Richard Korf : UCLA Computer Science : heuristic search (Iterative Deepening A*)
Bart A. Kosko : Electrical Engineering of Southern California : Bidirectional Associative Memory
Robert A. Kowalski : Computing of Imperial College
John Koza : Genetic Programming â½ÃSarit Kraus : Bar-Ilan Univ(À̽º¶ó¿¤), Maryland ´ëÇÐ : automated negotiation, collaboration, non-monotonic ....
Benjamin Kuipers : Texas ´ëÇÐ, Austin Qualitative Reasoning : ºÒ¿ÏÀüÇÑ Áö½ÄÇÏ¿¡¼ÀÇ ¸ðµ¨¸µ°ú ½Ã¹Ä·¹À̼Ç
Casimir Kulikowski : Rutgers Univ : AI in medicine, medical informatics, bioinformatics
Raymond Kurzweil : Kurzweilai Inc ¼³¸³ ÆÐÅÏÀνĿ¬±¸ (OCR, ÃÖÃÊÀÇ CCD flat-bed scanner, ÃÖÃÊÀÇ tts synthesizer °³¹ß)
Henry Kyburg : Rochester ´ëÇÐ & UWF/IHMC : È®·ü, Åë°è, nonmonotonic inference, uncertain inference
John Laird : Michigan ´ëÇÐ : machine learning, SOAR
Thomas K. Landauer : Colorado ´ëÇÐ ½É¸®Çаú : The Trouble With Computers ÀúÀÚ
Julien O. La Mettrie : Àΰ£ ±â°è·Ð : Man a Machine
Pat Langley : Study Learning & Expertise : machine learning, computational learning lab (Stanford)
Thomas K. Landauer
Christopher Langton : Àΰø»ý¸í (Artificial Life) ÀÇ Ã¢½ÃÀÚ
Jean-Claude Latombe : Stanford ´ëÇÐ robotics lab : robotics (ƯÈ÷ Robot Motion Planning ÀúÀÚ)
Kai-Fu Lee : MS Natural Interactive Services Division (NISD) : ÃÖÃÊÀÇ ÈÀÚµ¶¸³ ¿¬¼Ó À½¼ºÀÎ½Ä ½Ã½ºÅÛ (Sphinx) °³¹ß Gottfried Leibnitz
Douglas Lenat : Cycorp : OpenCyc : °Å´ëÇÑ Áö½Äº£À̽º Cyc Á¦ÀÛ (»ó½Ä)
Victor Lesser : Massachusetts ´ëÇÐ multiagent lab : blackboard system, distributed AI, real-time AI
Hector Levesque : Toronto ´ëÇÐ (ij³ª´Ù) cognitive robotics : Áö½ÄÇ¥Çö°ú Ãß·Ð, logic of knowledge base
Leonid Levin : Theory of Computation, NP-complete
David N. L. Levy
Vladimir Lifschitz : Texas ´ëÇÐ, Austin (·¯½Ã¾Æ) Action group : »ó½Ä°ú Ãß·Ð, Answer set programming
John Locke : °æÇè·ÐÀû ÀνķÐÀÇ Ã¢½ÃÀÚ
Donald Loveland : Duke ´ëÇÐ : automated deduction, ÀÚµ¿Ãß·Ð, ÀÚµ¿Á¤¸®Áõ¸í, logic programming, Àü¹®°¡½Ã½ºÅÛ
Tomas Lozano-Perez : MIT
George F. Luger : New Mexico ´ëÇÐ : complex problem solving
Robert Macgregor : USC / Information Sciences Inst : knowledge representation
Alan Mackworth : British Columbia ´ëÇÐ (ij³ª´Ù) : learning demo , Computational intelligence(logic approach)
Pattie Maes : MIT's Media Lab Software Agents Group : pioneers of a new research area called Software Agents
Sridhar Mahadevan : Massachusetts ´ëÇÐ : Robot, Reinforcement learning
Benoit Mandelbrot : Fractal âÁ¶
Steve Mann : University of Toronto : wearable computing
Zohar Manna : Stanford REACT group : STeP (Stanford Temporal Prover) verification system, ÇÁ·Î±×·¡¹ÖÀÇ Logic
Andrei Markop : ¸¶¸£ÄÚÇÁ ¸ðµ¨
Mitchell P. Marcus : Pennsylvania ´ëÇÐ: ÀÚ¿¬¾îó¸® (parsing architectures for integrating syntax, semantics,psycholinguistic phenomena), large corpora(¾ð¾îÀÚ·á) ¿¡ ±âÃÊÇÑ learning
David Marr : ÄÄÇ»ÅÍ ºñÀü
Matthew Mason : CMU : robot manipulation ºÐ¾ß¿¡ °øÇå (compliant force control, planning under uncertainty ...)
David McAllester : Toyota Technological Inst : Áö½ÄÇ¥Çö, Ãß·Ð, search, planning
John McCarthy : Stanford Computer Science
James McClelland : CMU ½É¸®Çаú : cognitive neuroscience, Parallel distributed processing
Pamela McCorduck : °úÇÐ Àú³Î¸®½ºÆ®
John Mcdermott : Optumit
Drew Mcdermott : Yale ´ëÇÐ : automated planning, robotics, agent communication
Colin McGinn : Philosophy of Rutgers Univ. : philosophy of mind (consciousness, intentionality and imagination)
Kathleen Mckeown : Columbia ´ëÇÐ : ÀÚ¿¬¾î »ý¼º, ¾ð¾î¿Í ±×·¡ÇÈÀÇ ÅëÇÕ
Zbigniew Michalewicz : Genetic Algorithm + Data Structure = Evolution Programs
Ryszard S. Michalski : George Mason ´ëÇÐ : machine learning (conceptual foundations and system applications)
Donald Michie : ¿µ±¹ Edinburgh ´ëÇÐ AIAI :
John Stuart Mill : °ø¸®ÁÖÀÇ (Utilitarianism)
Jack Minker : Maryland ´ëÇÐ PRISM : Deductive Databases, Logic Programming, Nonmonotonic Reasoning
Marvin Minsky : MIT media lab : Áö½ÄÇ¥ÇöÀ» À§ÇÑ frame ÀÌ·Ð
Steven Minton : USC Fetch : machine learning, planning, constraint satisfaction
Melanie Mitchell : Oregon Health & Science ´ëÇÐ : Complex systems. Evolutionary computation, artificial life ....
Tom Mitchell : CMU computer Science : machine learning : lecture slide
Dharmendra Modha : IBM Research - Almaden : Cognitive Computing, SyNAPSE project
Hans Moravec : Robotics Institute CMU : Mind Children: The Future of Robot and Human Intelligence
Stephen H. Muggleton : Imperial College bioinformatics : Inductive Logic Programming ÀúÀÚ
John Mylopoulos : Toronto ´ëÇÐ : information modelling, ij³ª´Ù AI ¸®´õ,ÈÄÇо缺, oldest AI society ¿¡ ±â¿©
Dana Nau : Marland ´ëÇÐ : search algorithms, planning (Shop, Bridge Baron)
Ramakant Nevatia : USC : computer vision °³Ã´ÀÚ (ƯÈ÷ computational descriptions of complex 3-D objects)
Monty Newborn : Computer Chess Comes of Age ÀúÀÚ
Allen Newell : CMU Psychology : General Problem Solver °³¹ß
Nils J.Nilsson : Stanford Computer Science : Robotics : Artificial Intelligence : A New Synthesis
Donald A. Norman : XEROX Palo Alto Research Center (PARC)
Peter Norvig : Google Inc : educational materials, ÀÚ¿¬¾îó¸®, web-based technology
Yoh-Han Pao : Case Western Reserve ´ëÇÐ : adaptive pattern recognition (ƯÈ÷ ½Å°æ¸ÁÀ» ÀÌ¿ëÇÑ ÆÐÅÏÀνÄ)
Seymour Papert : Papert.com, MIT media lab
Ramesh Patil : USC, I2 Technologies : medical AI, diagnostic reasoning, Áö½ÄÇ¥Çö
Edwin Pednault : IBM research : automated probabilistic modeling techniques for data mining applications
Ivan Petrovich Pavlov : »ý¸®ÇÐÀÚ, Á¶°Ç¹Ý»ç
Judea Pearl : UCLA Computer Science : Causality (Àΰú°ü°è), Heuristics (Intelligent Search Strategies)
Charles Sanders Peirce : ÇÁ·¡±×¸ÓƼÁò(½Ç¿ëÁÖÀÇ) ÀÇ Ã¢½ÃÀÚ, Abduction
Roger Penrose : The Emperor's New Mind ÀúÀÚ
Fernando Pereira : Pennsylvania ´ëÇÐ machine learning : machine-learnable models
C. Raymond Perrault : SRI International
Henry Petroski
Jacques Pitrat : P. and M. Curie ´ëÇÐ (France) : ÇÁ¶û½º AI °³Ã´ÀÚ, ÈÄÇо缺, metaknowledge ¿¡ °øÇå
Tomaso Poggio : MIT : Brain and Cognitive Science, Holographic Models of Memory
Martha Pollack : Michigan ´ëÇÐ : Á¦ÇÑµÈ ÀÚ¿ø¿¡¼ÀÇ planning, ´ãÈ ºÐ¼®¿¡¼ÀÇ Çõ½ÅÀûÀÎ ¿¬±¸
George Pólya : heuristics
Dean Pomerleau : CMU NavLab : ALVINN (½Å°æ¸Á¿¡ ÀÇÇÑ ¹«ÀÎÀÚµ¿Â÷)
David Poole : British Columbia ´ëÇÐ (Canada) : abductive inference, probabilistic reasoning, ºÒÈ®½Ç¼ºÇÏÀÇ Ãß·Ð
Emil Post : Production Rule
Hilary Putnam
Zenon Pylyshyn : Rutgers ´ëÇÐ ½É¸®Çаú : AI ¿Í ÀÎÁö°úÇÐÀÇ Ãʼ®, visual indexing theory
M. Ross Quillian : Àǹ̸Á (Semantic Network) ¹ß¸í
Ross Quinlan : New South Wales ´ëÇÐ (È£ÁÖ) : C4.5: Programs for machine Learning, Rulequest, ID3 ¾Ë°í¸®Áò
William Rapaport : University at Buffalo : AI, Computational Linguistics, Cognitive Science, Philosophical Issue
Michael Rabin : Harvard ´ëÇÐ : algorithms, computer security, applications of randomization in computations.
Thomas Ray : Department of Zoology, University of Oklahoma : Digital Evolution (Tierra)
Raj Reddy : CMU speech : AI ±âº»Àû±â¼ú °³¹ß(À½¼ºÀνİú ÀÌÇØ, expert systems, robotics ºÐ¾ß)
Ray Reiter
Charles Rich : MERL : intersection of AI and software engineering ºÐ¾ß °³Ã´ÀÚ
Elaine Rich : Texas ´ëÇÐ, Austin : Artificial Intelligence text book ÀúÀÚ
Christopher Riesbeck : Northwestern ´ëÇÐ, ILS : natural language analysis °³Ã´ÀÚ, case-based reasoning
Edward Riseman : Massachusetts ´ëÇÐ : computer vision (Áö½Ä±â¹Ý ¿µ»óÀÌÇØ, autonomous vehicle navigation.....)
Edwina Rissland : Massachusetts ´ëÇÐ : case-based reasoning, intelligent information retrieval ....
Dennis Ritchie : Bell lab Computing Science Research : Unix ¿Í C ¾ð¾î ¹ß¸í
John A. Robinson : Syracus ´ëÇÐ : A Machine-Oriented Logic Based on the Resolution Principle
Nathaniel Rochester
Charles Rosen
Frank Rosenblatt : Perceptron ¹ß¸í
Paul Rosenbloom : USC : ½É¸®ÇÐ, cognition °ú AI ÀÇ ÅëÇÕ, SOAR
Azriel Rosenfeld : Maryland ´ëÇÐ Automation Research ¼³¸³ : image analysis, computer vision
David Rumelhart : CMU : Backpropagation, Parallel Distributed Processing(MIT Press) ÀúÀÚ
Stuart Russell : UC Berkeley : machine learning, ºÒÈ®½Ç¼ºÇÏÀÇ planning, AIMA ÀúÀÚ
Earl Sacerdoti : Corpernican group : pioneered what is now known as "modern problem solving."
Arthur Samuel : Stanford Computer Science : machine learning. game
Erik Sandewall : Linkoping ´ëÇÐ (½º¿þµ§) : language
Tuomas Sandholm : CMU Computer Science Agent-Mediated Electronic Marketplaces Lab : electronic commerce ...
Ferdinand de Saussure : ±¸Á¶ÁÖÀÇ ¾ð¾îÇÐÆÄÀÇ Ã¢½ÃÀÚ, ¹®ÀÚº¸´Ù ¸»À» Áß½ÃÇÏ´Â ¾ð¾î°ü
Jonathan Schaeffer : Alberta ´ëÇÐ Game group(Canada) : search, game (Chinook : ÃÖÃÊ·Î Àΰ£À» À̱ä üĿ°ÔÀÓ)
Robert Schalkoff : Clemson ´ëÇÐ : ¿µ»óó¸®, ÆÐÅÏÀνÄ, ÄÄÇ»ÅͺñÀü, ½Å°æ¸Á, Research
Lenhart Schubert : Rochester ´ëÇÐ : ÀÚ¿¬¾î󸮿¡ ±Ùº»ÀûÀÎ ±â¿© (ƯÈ÷ formalization of non-first order concepts)
John Searle : Áß±¹¾î¹æ ³íº¯, strong AI and weak AI, ¹Ì±¹ÀÇ ½É¸®Ã¶ÇÐ,¾ð¾îöÇÐÀÚ
Terrence Sejnowski : UCSD Biological Science : Computational neuroscience
Bart Selman : Cornell ´ëÇÐ : Áö½ÄÇ¥Çö°ú Ãß·Ð, reasoning, search, planning ¿¡¼ÀÇ ¹ü¿ë ¹æ¹ýÀÇ °³¹ß
Glenn Shafer : Accounting and Information Rutgers Univ : Dempster-Shafer theory of evidence
Roger Schank : Northwestern ´ëÇÐ Cognitive Arts Corporation
Claude Shannon : Á¤º¸ÀÌ·Ð, ÄÄÇ»ÅÍ Ã¼½º, ¿ÀÅ丶Ÿ ÀÌ·Ð, Communication ÀÇ ¼öÇÐÀÌ·Ð
Stuart Shapiro : State University of New York at Buffalo : Áö½ÄÇ¥Çö°ú Ãß·ÐÀÇ À̷аú ½ÇÁ¦, Encyclopedia of AI ÀúÀÚ
Yoav Shoham : Stanford ´ëÇÐ. Robotics : Reasoning about change : Time & Causation, ½Ã°£ Ãß·Ð
Edward Shortliffe : Stanford Medical Informatics (SMI) : MYCIN À» °³¹ßÇÑ ³»°úÀÇ»ç
Howard Shrobe : MIT : »õ·Î¿î problem solving approaches ¿Í programming languages ÀÇ °³¹ß
Candace Sidner : MERL(Mitsubishi Elec Research Lab) : user interfaces (ƯÈ÷ speech, ÀÚ¿¬¾î ÀÌÇØ)
Herbert Simon : CMU Psychology : Rationality, Means-Ends analysis, Heuristic Problem Solving
Burrhus Skinner : ½É¸®ÇÐÀÚ, ÇൿÁÖÀÇ ÁÖÀå, Science and Human Behavoir ÀúÀÚ
Albert Skolem : Diophantine equations, mathematical logic, group theory, lattice theory and set theory
Aaron Sloman : Birmingham ´ëÇÐ (¿µ±¹) : The Computer Revolution in Philosophy ¡ß
Douglas Smith : Kestrel Institute : È¿À²ÀûÀÎ ¾Ë°í¸®Áò ¼³°èÀÇ À̷аú »õ·Î¿î ¾Ë°í¸®ÁòÀÇ °³¹ß : complexity
Reid Smith : Schlumberger Limited : science and practice of knowledge management
Paul Smolensky : Johns Hopkens Univ. Cognitive Science
John Sowa : jfsowa :¡ß: knowledge representation and reasoning, Principle of Semantic Network ÀúÀÚ
Roger Sperry : ½Å°æ»ý¹°ÇÐÀÚ, Á³ú¿Í ¿ì³ú ¿¬±¸
Karen Sparck-Jones : Cambridge ´ëÇÐ (¿µ±¹) : ÀÚ¿¬¾î󸮿¡ °øÇå, ±¹Á¦Àû ÀÚ¿¬¾îó¸® ±×·ì ¸®´õ
Richard Stallman : Forward Reasoning and Dependency-Directed Backtracking, Free Software Movement
Richard Stearns : Computational Complexity Theory
Mark Steedman : Edinburgh ´ëÇÐ (¿µ±¹) : ÀÚ¿¬¾î󸮿¡¼ syntax, semantics, prosody ÀÇ ÅëÇÕ (categorial grammar)
Guy Steele JR. : Sun Microsystems Labs
Mark Stefik : XEROX Parc
Mark Stickel : SRI International : high-performance automated reasoning ¿¡ Ź¿ùÇÑ °øÇå
Bjarne Stroustrup : C++ ¹ß¸í
Gerald Sussman : MIT AI Lab : PLANNER, MICRO-PLANNER °³¹ß, A Computer Model of Skill Acquisition ÀúÀÚ
Richard Sutton : Massachusetts ´ëÇÐ : machine learning, reinforcement learning ¡ß, temporal difference techniques
William Swartout : USC / Inst for Creative Technologies : knowledge-based machine explanation
Katia Sycara : CMU, Robotics institute : case-based reasoning, autonomous agents, multiagent systems
Peter Szolovits : MIT : AI in Medicine ÀÇ °³Ã´ÀÚ ¡ß
Robert E. Tarjan : Princeton ´ëÇÐ, ÄÄÇ»ÅͰúÇаú : ¾Ë°í¸®Áò°ú ÀڷᱸÁ¶ÀÇ ¼³°è, ºÐ¼®
Austin Tate : Edinburgh ´ëÇÐ (¿µ±¹) : knowledge based planning techniques, Poplog
Paul Thagard : ÀÎÁö°úÇÐ. Àü»ê öÇÐ
Richmond Thomason : Michigan ´ëÇÐ : AI ¿Í computational linguistics ÀÇ ³í¸®Àû±âÃÊ (logical foundation)
Edward Thorndike : ½É¸®ÇÐÀÚ
Charles Thorpe : CMU : outdoor autonomous robots (Navlab vehicles ÀÇ ¼º°øÀûÀÎ °³¹ß)
Alan Turing : Turing Machine, Turing Test
Jeffrey D. Ullman : Stanford Computer : database theory, database integration, data mining
Shimon Ullman : Weizmann Institute of Science Computer : Human and machine vision, Object Recognition, Brain Modeling
Leslie Valiant : Harvard ´ëÇÐ : computational learning theory, machine learning ¿¬±¸ÀÇ ±âÃÊ
Vladimir Vapnik : clrc : Support Vector Machine ÀÌ·Ð °³¹ß
John von Neumann : Çö´ëÀû ÄÄÇ»ÅÍ ¹ß¸í (ÇÁ·Î±×·¥ ³»Àå ¹æ½Ä), °ÔÀÓÀÌ·Ð, À¯ÀüÀÚ ¾Ë°í¸®ÁòÀÇ ¼±±¸ÀÚ
Wolfgang Wahlster : Univ des Saarlandes (µ¶ÀÏ) German Research Center for AI (DFKI) : computational linguistics ¡ß
Alex Waibel : CMU : speech, language and other human communication signals
David Waltz : Nec Research Institute INC
Kevin Warwick : Reading ´ëÇÐ, Cybernetics Çаú : AI, Á¦¾î, ·Îº¿
Bonnie L. Webber : Edinburgh ´ëÇÐ (¿µ±¹) : Natural-language processing, bioinformatics, artificial intelligence
Sholom Weiss : Rutgers ´ëÇÐ : datamining, causal and expert reasoning, machine learning (ƯÈ÷ biomedicine)
Daniel Weld : Washington ´ëÇÐ : qualitative reasoning methods, software agent technology, plan synthesis algorithms.
Michael Wellman : Michigan ´ëÇÐ : decision theory, computational economics, ÀüÀÚ»ó°Å·¡
Etienne Wenger : Áö´ÉÀû ±³À° ½Ã½ºÅÛ (Intelligent Tutoring System) AI and Tutoring Systems ......
Paul Werbos : ¿ªÀüÆÄ (Back-propagation)
William L. Whittaker : CMU : robotics education, field robotics ºÐ¾ß °³Ã´
Bernard Widrow : Stanford Computer Science : ½Å°æ¸ÁÀÇ Adaline, Madaline ¸ðµ¨ °³¹ß
Norbert Wiener : Cybernetics: Control and Communication in the Animal and in the Machine, Feedback
Robert Wilensky : UC Berkeley : Planning and Understanding ÀúÀÚ, Digital Documents, Robust Linking, ÀÚ¿¬¾îó¸®
David Wilkins : SRI International : planning (ƯÈ÷ Çൿ¿¡ ´ëÇÑ Ç¥Çö°ú Ãß·ÐÀÇ È¿À²ÀûÀ̰í À¯¿¬ÇÑ ¹æ¹ý)
Bruce Wilcox
Yorick Wilks : Sheffield ´ëÇÐ (¿µ±¹) : ÀÚ¿¬¾îó¸®, Computational pragmatics, Computational Lexicon research
Terry Winograd : Stanford Computer Science : Understanding natural language ÀúÀÚ
Patrick Henry Winston : MIT AI Lab : Learning structural descriptions from examples, AI (3rd ed)
William Woods : Sun Microsystems Lab : ÀÚ¿¬¾îó¸® (online¿¡¼ Á¤º¸¸¦ ½±°Ô ãÀ» ¼ö ÀÖµµ·Ï)
Beverly P. Woolf : Massachusetts ´ëÇÐ : intelligent tutoring systems, authoring tool
Larry Wos : automated reasoning at Argonne
Ronald Yager : Machine Intelligence Insitute
Lofti Zadeh : Computer Science California at Berkeley : theory and applications of fuzzy sets and fuzzy logic
Hans-Jürgen Zimmermann : RWTH Aachen, Aachen, Germany
Jacek M. Zurada : Louisville ´ëÇÐ : Introduction to Artificial Neural Systems ÀúÀÚ
¡¡
A.M. Turing Award Allen Newell Award Grace Murray Hopper Award
Computer Pioneer Award Emanuel R. Piore Award Benjamin Franklin Medal
AAAI Fellow AAAI Past Officer ACM Fellow Harry M. Goode Award
ACM Turing Award Lectures AI on the web : People MIT AI lab : people
¿ª´ë ³ëº§»ó ¼ö»óÀÚ Loebner Prize
¡¡
¡¡
¡¡