Statements (448)
| Predicate | Object |
|---|---|
| gptkbp:instance_of |
gptkb:philosopher
gptkb:award gptkb:Composer gptkb:Film_Director gptkb:Person gptkb:Computer_Scientist gptkb:AI_technology |
| gptkbp:active_years |
2000s to present
|
| gptkbp:active_years_end |
gptkb:2020
|
| gptkbp:active_years_start |
1950
|
| gptkbp:advocated_for |
gptkb:machine_learning
AI ethics intelligent agents Interdisciplinary approaches to AI AI as a field of study the use of formal logic in AI AI safety measures |
| gptkbp:affiliation |
gptkb:Stanford_University
gptkb:MIT gptkb:NASA |
| gptkbp:alma_mater |
gptkb:California_Institute_of_Technology
gptkb:Princeton_University |
| gptkbp:argued_on |
AI should be able to learn from experience
|
| gptkbp:associated_with |
gptkb:Stanford_Artificial_Intelligence_Laboratory
gptkb:Association_for_the_Advancement_of_Artificial_Intelligence gptkb:American_Association_for_Artificial_Intelligence |
| gptkbp:award |
gptkb:Turing_Award
gptkb:National_Medal_of_Science |
| gptkbp:awarded_to |
gptkb:The_National_Medal_of_Science
gptkb:The_Kyoto_Prize The AAAI Fellow status The IEEE Medal of Honor |
| gptkbp:awards |
gptkb:Art_Directors_Guild_Award
gptkb:Turing_Award gptkb:National_Medal_of_Science |
| gptkbp:belief |
Machines can simulate human reasoning
The potential of AI to solve complex problems the importance of reasoning in AI |
| gptkbp:birth_date |
1927-09-04
September 4, 1906 |
| gptkbp:birth_place |
gptkb:Boston,_Massachusetts
|
| gptkbp:born |
September 4, 1927
|
| gptkbp:born_in |
gptkb:1927
gptkb:Boston,_Massachusetts |
| gptkbp:child |
gptkb:Mary_Mc_Carthy
gptkb:John_Mc_Carthy_Jr. gptkb:Michael_Mc_Carthy |
| gptkbp:children |
gptkb:3
|
| gptkbp:class |
gptkb:Stanford_University
|
| gptkbp:collaborated_with |
Film directors
|
| gptkbp:contributed_to |
gptkb:Natural_Language_Processing
gptkb:Artificial_Intelligence gptkb:machine_learning gptkb:robotics gptkb:AI_technology gptkb:The_Dartmouth_Conference Computer programming Mathematical logic |
| gptkbp:contribution |
gptkb:Artificial_Intelligence
gptkb:philosophy_of_mind gptkb:Logic gptkb:strategy gptkb:machine_learning gptkb:robotics gptkb:AI_technology cognitive science computational linguistics knowledge representation natural language processing AI applications Formalizing the concept of AI Garbage collection fuzzy logic AI safety Development of AI concepts decision theory multi-agent systems theorem proving robotic process automation automated reasoning AI ethics time-sharing systems expert systems Time-sharing systems AI governance knowledge-based systems semantic networks Development of LISP Research on neural networks intelligent agents AI in finance Research on cloud computing Research on quantum computing Research on bioinformatics Research on distributed systems Research on human-computer interaction AI in education AI in robotics Research on big data Research on data mining Research on game theory Research on machine learning AI in agriculture AI in customer service Research on automated reasoning non-monotonic reasoning AI programming languages Research on robotics AI in entertainment AI in manufacturing AI in marketing AI in smart cities AI in transportation AI in security Research on knowledge representation Founding of AI conferences self-replicating programs heuristic programming Advocacy for AI ethics Research on natural language processing developing the concept of time-sharing Research on computer vision coining the term 'artificial intelligence' computer ethics Research on cognitive science Research on expert systems Research on multi-agent systems developed garbage collection developed the concept of time-sharing Research on theorem proving coined the term 'artificial intelligence' creating the first AI program founder of AI as a field Research on ethical AI AI in Io T Coined the term ' Artificial Intelligence' Developed the concept of garbage collection developing the idea of recursive functions Research on artificial life Research on computational biology Research on fuzzy logic Research on genetic algorithms Research on human-like AI Research on knowledge discovery Research on planning and scheduling Research on swarm intelligence AI research methodology distributed artificial intelligence Created the first AI programming language Developed the idea of self-replicating programs coined the term ' Artificial Intelligence' developed the concept of self-replicating programs |
| gptkbp:death_date |
2011-10-24
2020-10-24 October 24, 2011 |
| gptkbp:death_place |
gptkb:Mountain_View,_California
|
| gptkbp:developed_by |
gptkb:LISP_programming_language
gptkb:Garbage_Collection gptkb:LISP AI programming languages The concept of 'circumscription' in logic Garbage Collection in programming languages the concept of 'self-aware' AI |
| gptkbp:died |
October 24, 2011
|
| gptkbp:died_in |
gptkb:2011
gptkb:California |
| gptkbp:director |
gptkb:Stanford_AI_Laboratory
|
| gptkbp:education |
Bachelor's degree in Fine Arts
|
| gptkbp:emphasizes |
Importance of symbolic reasoning in AI
|
| gptkbp:field |
gptkb:Artificial_Intelligence
gptkb:computer_science Computer Science |
| gptkbp:field_of_study |
gptkb:Mathematics
gptkb:Logic gptkb:machine_learning gptkb:robotics gptkb:philosophy knowledge representation automated reasoning AI programming languages |
| gptkbp:founded |
gptkb:Stanford_AI_Laboratory
gptkb:the_Stanford_AI_Laboratory |
| gptkbp:founder |
gptkb:AI_Lab_at_MIT
gptkb:The_Stanford_AI_Laboratory |
| gptkbp:genre |
classical music
|
| gptkbp:has_student_body |
gptkb:Herbert_Simon
gptkb:Marvin_Minsky gptkb:Allen_Newell |
| https://www.w3.org/2000/01/rdf-schema#label |
John W. Mc Carthy
|
| gptkbp:influenced |
gptkb:Herbert_A._Simon
gptkb:Herbert_Simon gptkb:Alan_Turing gptkb:Marvin_Minsky gptkb:Allen_Newell Cognitive Science AI ethics AI research methodologies many AI researchers |
| gptkbp:influenced_by |
gptkb:Bertrand_Russell
gptkb:John_von_Neumann gptkb:Norbert_Wiener gptkb:Alan_Turing gptkb:Claude_Shannon |
| gptkbp:influences |
Visual arts
|
| gptkbp:inspiration |
The future of AI technology.
|
| gptkbp:inspired |
Future AI researchers
|
| gptkbp:is_a_member_of |
gptkb:American_Academy_of_Arts_and_Sciences
gptkb:IEEE gptkb:Association_for_Computing_Machinery gptkb:National_Academy_of_Engineering gptkb:American_Association_for_Artificial_Intelligence |
| gptkbp:is_a_supporter_of |
Open-source AI initiatives
|
| gptkbp:is_active_in |
gptkb:20th_century
|
| gptkbp:is_associated_with |
gptkb:Dartmouth_Conference
|
| gptkbp:is_criticized_for |
AI hype cycles
AI without ethical considerations Overly optimistic predictions about AI |
| gptkbp:is_influential_in |
The development of AI applications
|
| gptkbp:is_recognized_by |
gptkb:American_Academy_of_Arts_and_Sciences
gptkb:AI_Hall_of_Fame gptkb:National_Medal_of_Science gptkb:National_Academy_of_Engineering gptkb:Computer_Pioneer_Award gptkb:IEEE_Fellow ACM Fellow Fellow of the Association for Computing Machinery Fellow of the American Academy of Arts and Sciences Fellow of the Institute of Electrical and Electronics Engineers AAAI Fellow Fellow of the American Association for Artificial Intelligence Fellow of the National Academy of Engineering LISP Programmer's Award |
| gptkbp:known_for |
gptkb:original_score
gptkb:Artificial_Intelligence gptkb:LISP_programming_language gptkb:machine_learning gptkb:Mc_Carthy's_paradox gptkb:robotics gptkb:AI_technology Lisp programming language AI tools knowledge representation natural language processing AI applications AI safety theorem proving AI ethics recursive functions AI systems AI frameworks intelligent agents AI conferences AI research funding AI standards AI methodologies AI workshops cognitive architectures AI textbooks symbolic reasoning AI programming languages AI programming paradigms AI journals AI winter AI innovations AI ethics guidelines heuristic search AI concepts AI collaborations AI seminars AI paradigms AI theories problem-solving systems Art direction in film and television |
| gptkbp:legacy |
Pioneer of AI
Contributed to programming languages Influential in computer science |
| gptkbp:mentor |
Many AI researchers
|
| gptkbp:nationality |
gptkb:American
|
| gptkbp:notable_feature |
gptkb:LISP_programming_language
gptkb:Symbolic_AI gptkb:robotics gptkb:AI_technology Automated reasoning Machine learning Natural language processing Computer vision Expert systems Knowledge representation AI applications AI ethics Time-sharing systems Advice Taker AI in finance AI conferences AI research funding AI in education AI in robotics AI in games AI in agriculture AI in customer service AI programming languages AI in entertainment AI in manufacturing AI in marketing AI in transportation AI in security AI in social media Self-replicating programs AI in research Situation calculus |
| gptkbp:notable_speakers |
Numerous AI conferences
|
| gptkbp:notable_students |
gptkb:John_William_Holland
gptkb:Robert_Stallman gptkb:Peter_Norvig gptkb:Peter_G._Neumark gptkb:Gerald_Jay_Sussman |
| gptkbp:notable_work |
gptkb:LISP
|
| gptkbp:occupation |
gptkb:Professor
|
| gptkbp:place_of_birth |
gptkb:Boston,_Massachusetts
|
| gptkbp:place_of_death |
gptkb:Stanford,_California
|
| gptkbp:popularized_by |
gptkb:Artificial_Intelligence
Garbage collection the term ' Artificial Intelligence' |
| gptkbp:position_held |
gptkb:Stanford_University
|
| gptkbp:promoted |
the use of formal logic in AI
|
| gptkbp:proposed_by |
The Frame Problem
The Situation Calculus The Advice Taker The concept of 'self-aware' machines |
| gptkbp:publications |
gptkb:LISP_1.5_Programmer's_Manual
gptkb:Programs_with_Common_Sense A Basis for a Mathematical Theory of Computation Situations and Actions The Philosophy of Artificial Intelligence |
| gptkbp:published |
gptkb:Programs_with_Common_Sense
Numerous papers on AI numerous papers on AI |
| gptkbp:received |
gptkb:Turing_Award
gptkb:IEEE_Medal_of_Honor |
| gptkbp:research_focus |
Automated reasoning
Knowledge representation Symbolic reasoning |
| gptkbp:residence |
gptkb:California
gptkb:Stanford,_California |
| gptkbp:spouse |
gptkb:Ruth_L._Mc_Carthy
Ruth Mc Carthy |
| gptkbp:style |
Contemporary
|
| gptkbp:support |
Various AI projects
|
| gptkbp:supported |
The use of formal logic in AI
|
| gptkbp:was_a |
gptkb:Computer_Scientist
|
| gptkbp:was_a_pioneer_in |
Artificial Intelligence research
Knowledge representation in AI |
| gptkbp:was_a_proponent_of |
AI for social good
AI research funding Collaborative AI research AI as a tool for enhancing human capabilities The use of heuristics in AI |
| gptkbp:was_educated_at |
gptkb:California_Institute_of_Technology
gptkb:Harvard_University gptkb:Princeton_University |
| gptkbp:was_influenced_by |
gptkb:Herbert_Simon
gptkb:John_von_Neumann gptkb:Norbert_Wiener gptkb:Alan_Turing gptkb:Marvin_Minsky |
| gptkbp:was_involved_in |
AI ethics discussions
AI policy discussions The development of AI standards |
| gptkbp:was_known_for |
his work on knowledge representation
AI applications in various fields AI programming languages AI data mining AI human-computer interaction AI knowledge representation AI natural language processing AI neural networks AI problem-solving techniques AI robotics his work on natural language processing his work on AI ethics AI cognitive architectures AI expert systems AI game playing AI knowledge discovery AI learning algorithms AI philosophical implications AI reasoning systems AI search algorithms AI perception systems AI decision making AI planning systems AI principles His contributions to machine learning His philosophical views on AI His work on AI programming languages his work on AI advancements his work on AI applications his work on AI applications in various fields his work on AI breakthroughs his work on AI challenges his work on AI frameworks his work on AI future his work on AI innovations his work on AI methodologies his work on AI paradigms his work on AI philosophy his work on AI programming languages his work on AI research directions his work on AI systems his work on AI techniques his work on AI tools his work on AI trends his work on automated theorem proving his work on cognitive architectures his work on machine learning his work on reasoning and problem solving his work on robotics AI future predictions AI interdisciplinary approaches AI social implications AI theorem proving |
| gptkbp:website |
http://www-formal.stanford.edu/jmc/
|
| gptkbp:won |
gptkb:Turing_Award
|
| gptkbp:won_award |
gptkb:Turing_Award
|
| gptkbp:work |
gptkb:Programs_with_Common_Sense
gptkb:Stanford_University gptkb:Dartmouth_College gptkb:MIT gptkb:NASA Advice Taker The Philosophy of AI Situation Calculus Circumscription |
| gptkbp:work_location |
gptkb:Stanford_University
gptkb:Dartmouth_College gptkb:Carnegie_Mellon_University gptkb:MIT gptkb:SRI_International |
| gptkbp:works_at |
gptkb:Stanford_University
gptkb:MIT gptkb:SRI_International |
| gptkbp:works_on |
Automated Theorem Proving
Various film projects |
| gptkbp:wrote |
' Programs with Common Sense'
|
| gptkbp:year |
gptkb:1971
|
| gptkbp:bfsParent |
gptkb:Massachusetts_Institute_of_Technology
gptkb:National_Medal_of_Science |
| gptkbp:bfsLayer |
2
|