<?xml-stylesheet type="text/xsl" href="http://elearningblogs.education.ed.ac.uk/oldelgg/elgg/atate/weblog/rss/McCarthy/rssstyles.xsl"?>

<rss version='2.0'   xmlns:dc='http://purl.org/dc/elements/1.1/'>
    <channel xml:base='http://elearningblogs.education.ed.ac.uk/oldelgg/elgg/atate/weblog/'>
        <title><![CDATA[Austin Tate : Weblog items tagged with McCarthy]]></title>
        <description><![CDATA[The weblog for Austin Tate, hosted on Holyrood Park.]]></description>
        <link>http://elearningblogs.education.ed.ac.uk/oldelgg/elgg/atate/weblog/</link>        
        <item>
            <title><![CDATA[John McCarthy – The Robot and the Baby]]></title>
            <link>http://elearningblogs.education.ed.ac.uk/oldelgg/elgg/atate/weblog/6760.html</link>
            <guid isPermaLink="true">http://elearningblogs.education.ed.ac.uk/oldelgg/elgg/atate/weblog/6760.html</guid>
            <pubDate>Wed, 16 Nov 2011 20:51:54 GMT</pubDate>
		<dc:subject><![CDATA[IDEL11]]></dc:subject>
		<dc:subject><![CDATA[McCarthy]]></dc:subject>
            <description><![CDATA[<p>Professor John McCarthy died on 24th October 2011 at the age of 84. He was an early pioneer of computer technology, computer time-sharing, and inventor of LISP, one of the very first computer programming languages. LISP was, radically, based on symbolic computing.&nbsp; He was an early pioneer of Artificial Intelligence, and indeed originator of the term &quot;AI&quot; which was adopted following the title he gave to a conference at Dartmouth College in Vermont which John convened in the summer of 1956. John received the Turing Award, and many other accolades and honours, including the United States National Medal of Science.</p><p>John McCarthy was known to many of us in the Artificial Intelligence community as the &quot;Father of AI&quot;, and I came to know him as very much a baby in the subject. In my student days in the early 1970s he appeared on the BBC TV program &quot;Controversy&quot; in debate with Sir James Lighthill on the value of research on general purpose robots alongside my PhD supervisor, Donald Michie, himself an AI pioneer and war time code breaker who had worked with Alan Turing at Bletchley Park.&nbsp; He wrote and communicated widely on his interests in robot decision making.</p><p>Typical of John's desire to communicate about his field was a short sci-fi story he wrote in 2001, &quot;The Robot and the Baby&quot; which has many interesting themes, and to me epitomises his breadth of interests, politics and fascinating opinions.&nbsp; A capable companion robot &ndash; &ldquo;Robot Model number GenRob337L3, serial number 337942781--R781 for short&rdquo; &ndash; was one of many deployed to assist people and deliberately made unappealing and emasculated by the constraints society had placed on robot use.</p><p>The story begins:</p><blockquote>&ldquo;Mistress, your baby is doing poorly. He needs your attention.&rdquo; <br />&ldquo;Stop bothering me, you &hellip;''&nbsp; &hellip;&nbsp; &ldquo;Love the &hellip; baby, yourself.&rdquo; </blockquote><p>John amusingly includes a long line of reasoning by R781 in the bracketed notation of LISP on probabilities of the baby being harmed if it disobeys its key constraints:</p><blockquote><p style="font-family: 'Courier New', Courier, mono; font-size: 10px">(= (Command 337) (Love Travis)) <br />(True (Not (Executable (Command 337))) (Reason (Impossible-for robot (Action Love)))) <br />(Will-cause (Not (Believes Travis) (Loved Travis)) (Die Travis)) <br />(= (Value (Die Travis)) -0.883) <br />(Will-cause (Believes Travis (Loves R781 Travis) (Not (Die Travis)))) <br />&hellip;</p></blockquote><p>With this reasoning R781 decided that the value of simulating loving Travis and thereby saving its life was greater by 0.002 than the value of obeying the directive to not simulate a person.&nbsp;There follows a progressively escalating series of events where the whole world is watching the handling of the situation by the authorities, and commenting in real time on the event on social media - anticipating Twitter by some years.</p><p>Read&nbsp;the story (at <a href="http://www-formal.stanford.edu/jmc/robotandbaby.html">http://www-formal.stanford.edu/jmc/robotandbaby.html</a>)&nbsp;if you want to explore an informed opinion on the ethics, issues and dilemmas involved in human and robot interaction, which one day we may face. The story has many thought provoking elements. I personally feel for the emasculated robot that is left in the Smithsonian.</p>]]></description>
        </item>
                
        <item>
            <title><![CDATA[John McCarthy - Pioneer of AI]]></title>
            <link>http://elearningblogs.education.ed.ac.uk/oldelgg/elgg/atate/weblog/6545.html</link>
            <guid isPermaLink="true">http://elearningblogs.education.ed.ac.uk/oldelgg/elgg/atate/weblog/6545.html</guid>
            <pubDate>Thu, 27 Oct 2011 11:54:30 GMT</pubDate>
		<dc:subject><![CDATA[Context]]></dc:subject>
		<dc:subject><![CDATA[ULOE11]]></dc:subject>
		<dc:subject><![CDATA[McCarthy]]></dc:subject>
		<dc:subject><![CDATA[IDEL11]]></dc:subject>
            <description><![CDATA[<p>You may have heard that John McCarthy died this week. See&nbsp;</p><ul><li><a href="http://news.stanford.edu/news/2011/october/john-mccarthy-obit-102511.html">http://news.stanford.edu/news/2011/october/john-mccarthy-obit-102511.html</a></li><li><a href="http://www.guardian.co.uk/technology/2011/oct/25/john-mccarthy">http://www.guardian.co.uk/technology/2011/oct/25/john-mccarthy</a></li></ul><p>John was an early pioneer of AI, inventor of Lisp, and indeed originator of the term &quot;AI&quot; in 1956. See <a href="http://en.wikipedia.org/wiki/John_McCarthy_(computer_scientist">http://en.wikipedia.org/wiki/John_McCarthy_(computer_scientist</a>). It is good to see how broad and expansive John McCarthy's vision for computing was:</p><blockquote>From Wikipedia: In 1961, he was the first to publicly suggest (in a speech given to celebrate MIT's centennial) that computer time-sharing technology might lead to a future in which computing power and even specific applications could be sold through the utility business model (like water or electricity). </blockquote><p>Take a look also at his short sci-fi story &quot;The Robot and the Baby&quot; for some great fiction (or is it?) about future robotics. See</p><ul><li><a href="http://www-formal.stanford.edu/jmc/robotandbaby/robotandbaby.html">http://www-formal.stanford.edu/jmc/robotandbaby/robotandbaby.html</a></li></ul><p>I worked with John both before and after his formal retirement, and it was a very enjoyable experience. His interest in formalising the notion of &quot;context&quot; was his most recent work which I spoke to him about. The ability to &quot;assert that the proposition p is true in the context c&quot; is a key to much of what we do in planning... and my own work some 30 years ago was involved with something I called &quot;functions in context&quot; that had similar aims.</p>]]></description>
        </item>
        
    </channel>
</rss>