AI  PIONEER

 

A  B  C  D  E  F  G  H  I  J  K  L  M   N  O  P  Q  R  S  T  U  V  W  X  Y  Z

 

Trier ´ëÇÐ ÄÄÇ»ÅÍ °úÇÐÀÚ È¨ÆäÀÌÁö ¸ñ·Ï            St Andrews ´ëÇÐ ¼öÇÐÀÚ Àθí»çÀü

¡¡

A

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.)

Aristotle

Antoine Arnauld : ÇÁ¶û½º ½ÅÇÐÀÚ, The Art of Thinking

Kevin Ashley : Pittsburgh ´ëÇÐ : AI ¿Í ¹ý·ü (computationally modeling case-based reasoning in law)

Isaac Asimov

Kendall Atkinson : Iowa ¼öÇаú : ¼öÄ¡Çؼ®, Elementary Numerical Analysis ÀÇ ÀúÀÚ

B

Charles Babbage

Fahiem Bacchus : Univ. of Toronto : reasoning and representation in AI. CSP, planning, SAT, Bayesian Inference

Francis Bacon : ±Í³³³í¸®ÀÇ Á߿伺 °­Á¶, °æÇè·Ð

Johann Sebastian Bach

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 ÀÀ¿ë)

Tim Berners-Lee : À¥ âÁ¶

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 : ºÒÈ®½Ç¼º °è»ê°ú ÆÛÁö±â¹Ý Á¦¾î½Ã½ºÅÛ¿¡ÀÇ ÀÀ¿ëºÐ¾ßÀÇ °³Ã´ÀÚ

Ludwig Boltzman : development of statistical mechanics

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¿¡¼­ ÃÖÃÊÀÇ ÄÄÇ»ÅÍ°úÇаú ¼³¸³, ÀÎÅÍ·´Æ® °³³äÀ» °í¾È

Rodney Brooks : MIT AI Lab

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

C

Georg Cantor

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

John L. Casti

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

Yoonsuck Choe : Computer Science, Texas A&M University : Neural network, computational neuroscience ....

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

D

Leonardo da Vinci

Charles Darwin

Randall Davis : MIT AI Lab

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 ¿Í ½É¸®Ã¶ÇÐ, ÀÎÁö°úÇÐÀÇ °³Ã´ÀÚ

René Descartes

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

E

Gerald Edelman : ½Å°æ°úÇÐ, ½É¸®Ã¶ÇÐ

John C. Eccles : ½Å°æ»ý¸®ÇÐ

Robert Engelmore : Stanford ´ëÇÐ : expert systems technology °³Ã´ÀÚ, Application of knowledge-based systems

Lee Erman : Cimflex Teknowledge Corporation : AI ±â¼ú ¹ßÀü¿¡ °øÇå

Euclid

Susan L. Epstein : Hunter College of New York : machine learning, knowledge representation, cognition

M.C. Escher : National Gallery of Art

F

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 programming

Kenneth 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 algorithm    

Mark 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

Gottlob Frege

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 ¹ß¸í

G

Brian R. Gaines : University of Calgary   Knowledge Science Institute

Howard Gardner : Multiple Intelligence

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   James Gosling

Kurt Gödel : ºÒ¿ÏÀü¼º Á¤¸® (Incompleteness Theorem)

David E. Goldberg : Illinois Genetic Algorithm Lab : Genetic Algorithms in Search, Optimization and Machine Learning

James Gosling : Java

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

Amar Gupta : MIT media lab

H

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, ÆÐÅÏÀνÄ..)  

Demis Hassabis : DeepMind CEO : AlphaGo °³¹ß

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

W. Heisenberg

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

David Hilbert

Ellen Hildreth : Wellesley College : AI (motion vision, natural computation)       

Daniel Hillis : Parallel Computing, Biological Connection

Geoffrey Hinton : Machine learning at U of Toronto  : deep learning, neural network

Julia Hirschberg : AT&T Bell Labs : Computational Linguistics (À½¼ºÇÕ¼º¿¡¼­ intonation °ú discourse ¿ÍÀÇ °áÇÕ °³Ã´)

Thomas Hobbes

Jerry Hobbs : USC / Information Sciences Inst SRI International :  AI ƯÈ÷ ÀÚ¿¬¾î ÀÌÇØ¿Í Áö½ÄÇ¥Çö  

Douglas Hofstadter : Indiana ´ëÇÐ CRCC : ±«µ¨,¿¡¼Å,¹ÙÈå ÀúÀÚ, AI, cognitive science, philosophy of mind ..

John Holland : À¯ÀüÀÚ ¾Ë°í¸®Áò â½Ã

John J.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)

J

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      

K

Leslie Pack Kaelbling : MIT AI lab : situated agents, machine learning, planning, mobile robotics

William Kahan : Berkeley ..  Mathematics, and of E.E. & Computer Science : numerical analysis

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 µîµî) 

Alan Kay

Michael J. Kearns : Computer, Univ. of Pennsylvania : AI, machine learning, computational learning theory

Jaegwon Kim : Brown ´ëÇРöÇаú : Philosophy of Mind, Metaphysics, Action Theory, Philosophy of Science

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         

L

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) ÀÇ Ã¢½ÃÀÚ

Pierre Laplace

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

M

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 : °úÇÐ Àú³Î¸®½ºÆ®

Warren McCulloch

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 ¿¡ ±â¿©

N

John Nash

Dana Nau : Marland ´ëÇÐ : search algorithms, planning (Shop, Bridge Baron)

Ramakant Nevatia : USC : computer vision °³Ã´ÀÚ (ƯÈ÷ computational descriptions of complex 3-D objects)

Peter Naur : Backus Naur Form (BNF) ¸¸µé¾î ÇÁ·Î±×·¡¹Ö ¾ð¾îÀÇ ¹®¹ýÀ» Ç¥Çö

Monty Newborn : Computer Chess Comes of Age ÀúÀÚ

Allen Newell : CMU  Psychology : General Problem Solver °³¹ß

Issac Newton

Andrew Ng : Andrew Ng (Wiki) : machine learning and AI with deep learning

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     

P

Yoh-Han Pao : Case Western Reserve ´ëÇÐ : adaptive pattern recognition (ƯÈ÷ ½Å°æ¸ÁÀ» ÀÌ¿ëÇÑ ÆÐÅÏÀνÄ)

Seymour Papert : Papert.com, MIT media lab

Blaise Pascal

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

Steven Pinker : Harvard Psychology : ½Ã°¢ÀÎÁö, ½É¸®¾ð¾îÇÐ

Jacques Pitrat : P. and M. Curie ´ëÇÐ (France)  : ÇÁ¶û½º AI °³Ã´ÀÚ, ÈÄÇо缺, metaknowledge ¿¡ °øÇå  

Walter Pitts

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

Ilya Prigogine

Hilary Putnam

Zenon Pylyshyn : Rutgers ´ëÇÐ ½É¸®Çаú : AI ¿Í ÀÎÁö°úÇÐÀÇ Ãʼ®, visual indexing theory

Q

M. Ross Quillian : Àǹ̸Á (Semantic Network) ¹ß¸í

Willard Van Orman Quine : Á¸Àç·Ð, ÀνķÐ, ³í¸®°æÇè·ÐÀÇ ¿Ï¼ºÀÚ, ¾ð¾îöÇÐ (Philosophy of Language)

Ross Quinlan : New South Wales ´ëÇÐ (È£ÁÖ) :  C4.5: Programs for machine Learning,  Rulequest, ID3 ¾Ë°í¸®Áò

R

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) ÀúÀÚ

Bertrand Russell

Stuart Russell : UC Berkeley : machine learning, ºÒÈ®½Ç¼ºÇÏÀÇ planning, AIMA ÀúÀÚ

S

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, ¹Ì±¹ÀÇ ½É¸®Ã¶ÇÐ,¾ð¾îöÇÐÀÚ

Oliver G. Selfridge

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 ¿¡ Ź¿ùÇÑ °øÇå  

Michael Stonebraker : Database research

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 ÀÇ °³Ã´ÀÚ ¡ß   

T

Robert E. Tarjan : Princeton ´ëÇÐ, ÄÄÇ»ÅÍ°úÇаú : ¾Ë°í¸®Áò°ú ÀڷᱸÁ¶ÀÇ ¼³°è, ºÐ¼®

Alfred Tarski

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    

U

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

V

Leslie Valiant : Harvard ´ëÇÐ : computational learning theory, machine learning ¿¬±¸ÀÇ ±âÃÊ   

Vladimir Vapnik : clrc : Support Vector Machine ÀÌ·Ð °³¹ß

John von Neumann : Çö´ëÀû ÄÄÇ»ÅÍ ¹ß¸í (ÇÁ·Î±×·¥ ³»Àå ¹æ½Ä), °ÔÀÓÀÌ·Ð, À¯ÀüÀÚ ¾Ë°í¸®ÁòÀÇ ¼±±¸ÀÚ

W

Wolfgang Wahlster : Univ des Saarlandes (µ¶ÀÏ) German Research Center for AI (DFKI) : computational linguistics ¡ß

Alex Waibel : CMU : speech, language and other human communication signals

Richard Wallace : ALICE

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)

Joseph Weizenbaum : ELIZA

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)

Alfred North Whitehead

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)

Ludwig Wittgenstein

William Woods : Sun Microsystems Lab : ÀÚ¿¬¾îó¸® (online¿¡¼­ Á¤º¸¸¦ ½±°Ô ãÀ» ¼ö ÀÖµµ·Ï)

Beverly P. Woolf : Massachusetts ´ëÇÐ : intelligent tutoring systems, authoring tool

Larry Wos : automated reasoning at Argonne

Y

Ronald Yager : Machine Intelligence Insitute

Z

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 ÀúÀÚ

 

 

¡¡Loebner Prize

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 

¿ª´ë ³ëº§»ó ¼ö»óÀÚ   

¡¡

¡¡

¡¡