Menu
Home
People
Places
Arts
History
Plants & Animals
Science
Life & Culture
Technology
Reference.org
Procedural reasoning system
open-in-new
<h2 id="history">History</h2> <p>The PRS concept was developed by the <a href="/facts/Artificial_Intelligence_Center/I3X7FYUU">Artificial Intelligence Center</a> at <a href="/facts/SRI_International/flSHunVK">SRI International</a> during the 1980s, by many workers including <a href="/facts/Michael_Georgeff/chqo1vIj">Michael Georgeff</a>, Amy L. Lansky, and François Félix Ingrand. Their framework was responsible for exploiting and popularizing the BDI model in software for control of an <a href="/facts/Intelligent_agent/8C2Q93Vw">intelligent agent</a>. The seminal application of the framework was a fault detection system for the reaction control system of the <a href="/facts/NASA/TIMCV0yV">NASA</a> <a href="/facts/Space_Shuttle_Discovery/MmSTr4G0">Space Shuttle Discovery</a>. Development on this PRS continued at the <a href="/facts/Australian_Artificial_Intelligence_Institute/mVo2cYAD">Australian Artificial Intelligence Institute</a> through to the late 1990s, which led to the development of a <a href="/facts/C%252B%252B/Et0F2qn9">C++</a> implementation and extension called <a href="/facts/Distributed_multi-agent_reasoning_system/lSydBXF4">dMARS</a>. </p> <h2 id="architecture">Architecture</h2> <p>The system architecture of SRI's PRS includes the following components: </p> <ul><li>Database for beliefs about the world, represented using first order predicate calculus.</li> <li>Goals to be realized by the system as conditions over an interval of time on internal and external state descriptions (desires).</li> <li>Knowledge areas (KAs) or plans that define sequences of low-level actions toward achieving a goal in specific situations.</li> <li>Intentions that include those KAs that have been selected for current and eventual execution.</li> <li>Interpreter or inference mechanism that manages the system.</li></ul> <h2 id="features">Features</h2> <p>SRI's PRS was developed for embedded application in dynamic and real-time environments. As such it specifically addressed the limitations of other contemporary control and reasoning architectures like <a href="/facts/Expert_system/CUCzSEaX">expert systems</a> and the <a href="/facts/Blackboard_system/zdXSmaqA">blackboard system</a>. The following define the general requirements for the development of their PRS:<a class="footnote-ref" id="fnref:1" href="#fn:1"><sup>1</sup></a> </p> <ul><li>asynchronous event handling</li> <li>guaranteed reaction and response types</li> <li>procedural representation of knowledge</li> <li>handling of multiple problems</li> <li>reactive and goal-directed behavior</li> <li>focus of attention</li> <li>reflective reasoning capabilities</li> <li>continuous embedded operation</li> <li>handling of incomplete or inaccurate data</li> <li>handling of transients</li> <li>modeling delayed feedback</li> <li>operator control</li></ul> <h2 id="applications">Applications</h2> <p>The seminal application of SRI's PRS was a monitoring and fault detection system for the reaction control system (RCS) on the NASA space shuttle.<a class="footnote-ref" id="fnref:2" href="#fn:2"><sup>2</sup></a> The RCS provides propulsive forces from a collection of jet thrusters and controls altitude of the space shuttle. A PRS-based fault diagnostic system was developed and tested using a simulator. It included over 100 KAs and over 25 meta level KAs. RCS specific KAs were written by space shuttle mission controllers. It was implemented on the <a href="/facts/Symbolics/U8cJjbwb">Symbolics</a> 3600 Series <a href="/facts/LISP/xJHA3CrX">LISP</a> machine and used multiple communicating instances of PRS. The system maintained over 1000 facts about the RCS, over 650 facts for the forward RCS alone and half of which are updated continuously during the mission. A version of the PRS was used to monitor the reaction control system on the <a href="/facts/NASA/TIMCV0yV">NASA</a> <a href="/facts/Space_Shuttle_Discovery/MmSTr4G0">Space Shuttle Discovery</a>. </p><p>PRS was tested on <a href="/facts/Shakey_the_robot/GuAw5Ro2">Shakey the robot</a> including navigational and simulated jet malfunction scenarios based on the space shuttle.<a class="footnote-ref" id="fnref:3" href="#fn:3"><sup>3</sup></a> Later applications included a network management monitor called the Interactive Real-time Telecommunications Network Management System (IRTNMS) for <a href="/facts/Telecom_Australia/tm3J2MTK">Telecom Australia</a>.<a class="footnote-ref" id="fnref:4" href="#fn:4"><sup>4</sup></a> </p> <h2 id="extensions">Extensions</h2> <p>The following list the major implementations and extensions of the PRS architecture.<a class="footnote-ref" id="fnref:5" href="#fn:5"><sup>5</sup></a> </p> <ul><li>UM-PRS <a class="footnote-ref" id="fnref:6" href="#fn:6"><sup>6</sup></a></li> <li>OpenPRS (formerly C-PRS and Propice) <a class="footnote-ref" id="fnref:7" href="#fn:7"><sup>7</sup></a><a class="footnote-ref" id="fnref:8" href="#fn:8"><sup>8</sup></a></li> <li><a href="/facts/AgentSpeak/A7sqx3a2">AgentSpeak</a></li> <li><a href="/facts/Distributed_multi-agent_reasoning_system/lSydBXF4">Distributed multi-agent reasoning system</a> (dMARS)</li> <li><a href="/facts/GORITE/neJuAdmG">GORITE</a></li> <li>JAM <a class="footnote-ref" id="fnref:9" href="#fn:9"><sup>9</sup></a></li> <li><a href="/facts/JACK_Intelligent_Agents/oIckecc8">JACK Intelligent Agents</a></li> <li>SRI Procedural Agent Realization Kit (SPARK) <a class="footnote-ref" id="fnref:10" href="#fn:10"><sup>10</sup></a></li> <li>PRS-CL <a class="footnote-ref" id="fnref:11" href="#fn:11"><sup>11</sup></a></li></ul> <h2 id="see-also">See also</h2> <ul><li><a href="/facts/Distributed_multi-agent_reasoning_system/lSydBXF4">Distributed multi-agent reasoning system</a></li> <li><a href="/facts/JACK_Intelligent_Agents/oIckecc8">JACK Intelligent Agents</a></li> <li><a href="/facts/Belief%25E2%2580%2593desire%25E2%2580%2593intention_software_model/w0H7fd4A">Belief–desire–intention software model</a></li> <li><a href="/facts/Intelligent_agent/8C2Q93Vw">Intelligent agent</a></li></ul> <h2 id="further-reading">Further reading</h2> <ul><li>M.P. Georgeff and A.L. Lansky. "A system for reasoning in dynamic domains: Fault diagnosis on the space shuttle" Technical Note 375, Artificial Intelligence Center, SRI International, 1986.</li> <li>Michael P. Georgeff, Amy L. Lansky, Marcel J. Schoppers. "<a href="http://www.ai.sri.com/pubs/files/579.pdf">Reasoning and Planning in Dynamic Domains: An Experiment with a Mobile Robot</a>" Technical Note 380, Artificial Intelligence Center, SRI International, 1987.</li> <li>M. Georgeff, and A. L. Lansky (1987). <a href="https://ieeexplore.ieee.org/document/1457907/;jsessionid=FD0D4DD67575341DC5674F6FA662423A?arnumber=1457907">Procedural knowledge</a>. Proceedings of the IEEE 74(10):1383–1398, IEEE Press.</li> <li>Georgeff, Michael P.; Ingrand, Francois Felix. "<a href="https://ntrs.nasa.gov/search.jsp?R=124384&id=4&as=false&or=false&qs=Ns%3DArchiveName%257c0%26N%3D4294823185">Research on procedural reasoning systems</a>" Final Report – Phase 1, Artificial Intelligence Center, SRI International, 1988.</li> <li>Michael P. Georgeff and François Félix Ingrand "<a href="http://www.laas.fr/~felix/download.php/ijcai89.pdf">Decision-Making in an Embedded Reasoning System</a>" Proceedings of the Eleventh International Joint Conference on Artificial Intelligence, Detroit (Michigan), August 1989.</li> <li>K. L. Myers, <a href="http://www.ai.sri.com/~prs/prs-manual.pdf">User Guide for the Procedural Reasoning System</a> Technical Report, Artificial Intelligence Center, Technical Report, SRI International, Menlo Park, CA, 1997</li> <li><a href="https://web.archive.org/web/20071102232454/http://www.sti.nasa.gov/tto/Spinoff2006/ch_2.html">A Match Made in Space</a> Spinoff, NASA, 2006</li></ul> <h2 id="external-links">External links</h2> <ul><li><a href="http://www.ai.sri.com/~prs/">PRS-CL: A Procedural Reasoning System</a> An extension to PRS maintained by SRI International</li></ul> <h2 id="references">References</h2> <ol> <li id="fn:1"><p>Ingrand, F.; M. Georgeff; A Rao (1992). "An architecture for real-time reasoning and system control". IEEE Expert. 7 (6): 34–44. doi:10.1109/64.180407. S2CID 2406220. <a href="http://portal.acm.org/citation.cfm?id=629535.629890" target="_blank">http://portal.acm.org/citation.cfm?id=629535.629890</a> <a href="#fnref:1" class="footnote-back-ref">↩</a></p></li> <li id="fn:2"><p>Georgeff, M. P.; F. F. Ingrand (1990). "Real-time reasoning: the monitoring and control of spacecraft systems". Proceedings of the sixth conference on Artificial intelligence applications. pp. 198–204. <a href="http://portal.acm.org/citation.cfm?id=96782" target="_blank">http://portal.acm.org/citation.cfm?id=96782</a> <a href="#fnref:2" class="footnote-back-ref">↩</a></p></li> <li id="fn:3"><p>Georgeff, M. P.; A. L. Lansky (1987). "Reactive reasoning and planning" (PDF). Proceedings of the Sixth National Conference on Artificial Intelligence (AAAI-87). Artificial Intelligence Center. SRI International. pp. 198–204. <a href="http://www.ai.sri.com/pubs/files/1364.pdf" target="_blank">http://www.ai.sri.com/pubs/files/1364.pdf</a> <a href="#fnref:3" class="footnote-back-ref">↩</a></p></li> <li id="fn:4"><p>Rao, Anand S.; Michael P. Georgeff (1991). "Intelligent Real-Time Network Management". Australian Artificial Intelligence Institute, Technical Note 15. CiteSeerX 10.1.1.48.3297. <a href="/wiki/CiteSeerX_(identifier)" target="_blank">/wiki/CiteSeerX_(identifier)</a> <a href="#fnref:4" class="footnote-back-ref">↩</a></p></li> <li id="fn:5"><p>Wobcke, W. R. (2007). "Reasoning about BDI Agents from a Programming Languages Perspective" (PDF). Proceedings of the AAAI 2007 Spring Symposium on Intentions in Intelligent Systems. <a href="http://www.cse.unsw.edu.au/~wobcke/papers/ss.07.pdf" target="_blank">http://www.cse.unsw.edu.au/~wobcke/papers/ss.07.pdf</a> <a href="#fnref:5" class="footnote-back-ref">↩</a></p></li> <li id="fn:6"><p>"I.R.S. Downloads". <a href="http://www.marcush.net/IRS/irs_downloads.html" target="_blank">http://www.marcush.net/IRS/irs_downloads.html</a> <a href="#fnref:6" class="footnote-back-ref">↩</a></p></li> <li id="fn:7"><p>"PRS, C-PRS, Propice, OpenPRS | Félix Ingrand". www.laas.fr. Archived from the original on 2007-11-11. <a href="https://web.archive.org/web/20071111225906/http://www.laas.fr/~felix/PRS" target="_blank">https://web.archive.org/web/20071111225906/http://www.laas.fr/~felix/PRS</a> <a href="#fnref:7" class="footnote-back-ref">↩</a></p></li> <li id="fn:8"><p>"Openprs - Openrobots Wiki". Archived from the original on 2008-12-03. Retrieved 2009-07-09. <a href="https://web.archive.org/web/20081203110723/https://softs.laas.fr/openrobots/wiki/openprs" target="_blank">https://web.archive.org/web/20081203110723/https://softs.laas.fr/openrobots/wiki/openprs</a> <a href="#fnref:8" class="footnote-back-ref">↩</a></p></li> <li id="fn:9"><p>"I.R.S. Downloads". <a href="http://www.marcush.net/IRS/irs_downloads.html" target="_blank">http://www.marcush.net/IRS/irs_downloads.html</a> <a href="#fnref:9" class="footnote-back-ref">↩</a></p></li> <li id="fn:10"><p>"Index of /~spark". <a href="http://www.ai.sri.com/~spark/" target="_blank">http://www.ai.sri.com/~spark/</a> <a href="#fnref:10" class="footnote-back-ref">↩</a></p></li> <li id="fn:11"><p>"PRS-CL". <a href="http://www.ai.sri.com/~prs/" target="_blank">http://www.ai.sri.com/~prs/</a> <a href="#fnref:11" class="footnote-back-ref">↩</a></p></li> </ol>