📄 http:^^www.cs.utexas.edu^users^qr^whats-new.html
字号:
MIME-Version: 1.0
Server: CERN/3.0
Date: Tuesday, 07-Jan-97 15:51:26 GMT
Content-Type: text/html
Content-Length: 21445
Last-Modified: Tuesday, 03-Dec-96 23:03:27 GMT
<title>What's New at the QR Group</title><body bgcolor="#ffffff" text="#000000" link="#0000ee" vlink="551a8b" alink="ff0000"><h1>What's New at the QR Group</h1>These are recent changes. See the <!WA0><!WA0><!WA0><!WA0><!WA0><!WA0><!WA0><!WA0><!WA0><!WA0><a href="http://www.cs.utexas.edu/users/qr/welcome.html">QualitativeReasoning Research Group home page</a> for a more complete descriptionof our work, in several areas. <p><hr><h2>Another review of the QR Book.</h2>(12-3-96) See the <!WA1><!WA1><!WA1><!WA1><!WA1><!WA1><!WA1><!WA1><!WA1><!WA1><a href="http://www.cs.utexas.edu/users/qr/QR-book.html">QR book page</a> for other reviews.<ul> <li> <!WA2><!WA2><!WA2><!WA2><!WA2><!WA2><!WA2><!WA2><!WA2><!WA2><a href="http://www.cs.utexas.edu/users/qr/frank-review.html"> Andrew Frank, <em>Int. J. of Geographic Information Systems</em></a> <b>10</b>(2), March 1996, pages 242-243. <P><em>This book may become a very important book for Geographic Systemsand for geography in general, despite the fact, that it does notdiscuss anything geographical or spatial in its 400 pages. ... Itmust be hoped that many geographers use the methods to modelgeographical processes and to explore the dynamic behavior of systemsin physical and human geography. Many M.Sc. or Ph.D. thesis couldbenefit from the rigor of the method and the application of thesoftware. Modeling of dynamic systems - a la Forrester's UrbanDynamics - become feasible, even in the absence of detailedquantitative knowledge. </em><p></ul><hr><h2>Bert Kay doctoral dissertation on SQSIM and SQUID</h2>(11-18-96) Bert Kay has completed an outstanding doctoral dissertationon semi-quantitative simulation (SQSIM) and semi-quantitative systemidentification (SQUID).<ul><li> Herbert Kay. 1996. <!WA3><!WA3><!WA3><!WA3><!WA3><!WA3><!WA3><!WA3><!WA3><!WA3><a href="file://ftp.cs.utexas.edu/pub/qsim/papers/Kay-PhD-96.ps.Z"><B>Refining Imprecise Models and Their Behaviors</B></a>.Doctoral dissertation, Department of Computer Sciences, The University of Texasat Austin, December 1996. <BR><!WA4><!WA4><!WA4><!WA4><!WA4><!WA4><!WA4><!WA4><!WA4><!WA4><A HREF="http://www.cs.utexas.edu/users/qr/abstracts.html#Kay">[Abstract]</A> </LI> <p></ul><hr><h2>Shults & Kuipers paper in AIJ</h2>(11-7-96) The AIJ will soon publish a paper describing our work onproving statements in temporal logic by model-checking against thebehavior graph predicted by QSIM.<ul><LI>Benjamin Shults and Benjamin Kuipers. 1997. <B><!WA5><!WA5><!WA5><!WA5><!WA5><!WA5><!WA5><!WA5><!WA5><!WA5><AHREF="file://ftp.cs.utexas.edu/pub/qsim/papers/Shults+Kuipers-aij-97.ps.Z">Proving properties of continuous systems: qualitative simulation andtemporal logic</A></B>. <cite>Artificial Intelligence Journal</cite>, 1997. <br><!WA6><!WA6><!WA6><!WA6><!WA6><!WA6><!WA6><!WA6><!WA6><!WA6><A HREF="http://www.cs.utexas.edu/users/qr/abstracts-tl.html">[Abstract] </A><p></ul><hr><h2>Pierce & Kuipers paper in AIJ</h2>(11-7-96) The AIJ will soon publish a paper describing David Pierce'sdissertation research on how a robot starting with uninterpreted sensorsand effectors can learn to understand both its own sensorimotor capabilitiesand its environment.<ul><li> David Pierce and Benjamin Kuipers. 1997.<!WA7><!WA7><!WA7><!WA7><!WA7><!WA7><!WA7><!WA7><!WA7><!WA7><a href="file://ftp.cs.utexas.edu/pub/qsim/papers/Pierce+Kuipers-aij-97.ps.Z"><b>Map learning with uninterpreted sensors and effectors</b></a>.<cite>Artificial Intelligence Journal</cite>, 1997. <br><!WA8><!WA8><!WA8><!WA8><!WA8><!WA8><!WA8><!WA8><!WA8><!WA8><a href="http://www.cs.utexas.edu/users/qr/abstracts-robotics.html#Learning">[Abstract]</a> <p></ul><hr><h2>Spatial Semantic Hierarchy for a Physical Mobile Robot</h2>(10-17-96) Wan Yik Lee has finished his long-awaited dissertation onimplementing the SSH on a physical robot, our RWI B12, named Spot.<ul> <li> Wan Yik Lee. 1996. <!WA9><!WA9><!WA9><!WA9><!WA9><!WA9><!WA9><!WA9><!WA9><!WA9><a href="file://ftp.cs.utexas.edu/pub/qsim/papers/Lee-PhD-96.ps.Z"><B>Spatial Semantic Hierarchy for a Physical Mobile Robot</B></a>.Doctoral dissertation, Department of Computer Sciences, The University of Texasat Austin, December 1996. <br><!WA10><!WA10><!WA10><!WA10><!WA10><!WA10><!WA10><!WA10><!WA10><!WA10><a href="http://www.cs.utexas.edu/users/qr/abstracts.html#WYLee">[Abstract]</a></ul><hr><h2>New Conference Papers: QR-96, TIME-96, and AAAI-96</h2><ul> <li> (7-15-96) Siddarth Subramanian and Raymond J. Mooney. 1996. <!WA11><!WA11><!WA11><!WA11><!WA11><!WA11><!WA11><!WA11><!WA11><!WA11><a href="file://ftp.cs.utexas.edu:/pub/mooney/papers/qdocs-aaai-96.ps.Z"><b>Qualitative multiple-fault diagnosis of continuous dynamic systemsusing behavioral modes.</b></a> In <i>Proceedings of the NationalConference on Artificial Intelligence (AAAI-96),</i> AAAI/MIT Press,1996. <p> <li> (4-12-96) Giorgio Brajnik and Daniel J. Clancy. 1996.<!WA12><!WA12><!WA12><!WA12><!WA12><!WA12><!WA12><!WA12><!WA12><!WA12><a href="file://ftp.cs.utexas.edu/pub/qsim/papers/Brajnik+Clancy-AAAI96.ps.Z"><b>Temporal constraints on trajectories in qualitative simulation</b></a>.In <i>Proceedings of the National Conference on Artificial Intelligence(AAAI-96),</i> AAAI/MIT Press, 1996. <p><!WA13><!WA13><!WA13><!WA13><!WA13><!WA13><!WA13><!WA13><!WA13><!WA13><a href="http://www.cs.utexas.edu/users/qr/abstracts-tl.html">[Abstract]</a> <P> <li> (4-9-96) Giorgio Brajnik and Daniel J. Clancy. 1996.<!WA14><!WA14><!WA14><!WA14><!WA14><!WA14><!WA14><!WA14><!WA14><!WA14><a href="file://ftp.cs.utexas.edu/pub/qsim/papers/Brajnik+Clancy-QR96.ps.Z"><b>Temporal constraints on trajectories in qualitative simulation</b></a>.In <i>Working Papers of the Tenth International Workshop onQualitative Reasoning (QR-96)</i>, Fallen LeafLake, California. <P><!WA15><!WA15><!WA15><!WA15><!WA15><!WA15><!WA15><!WA15><!WA15><!WA15><a href="http://www.cs.utexas.edu/users/qr/abstracts-tl.html">[Abstract]</a> <P> <li> (4-9-96) Richard S. Mallory, Bruce W. Porter, and Benjamin J. Kuipers. 1996.<!WA16><!WA16><!WA16><!WA16><!WA16><!WA16><!WA16><!WA16><!WA16><!WA16><a href="file://ftp.cs.utexas.edu/pub/qsim/papers/Mallory+Porter+Kuipers-QR96.ps.Z"><b>Comprehending complex behavior graphs through abstraction</b></a>.In <i>Working Papers of the Tenth International Workshop onQualitative Reasoning (QR-96)</i>, Fallen LeafLake, California. <P> <li> (4-8-96) B. Kuipers. 1996.<!WA17><!WA17><!WA17><!WA17><!WA17><!WA17><!WA17><!WA17><!WA17><!WA17><a href="file://ftp.cs.utexas.edu/pub/qsim/papers/Kuipers-qr-96.ps.Z"><b>A hierarchy of qualitative representations for space</b></a>.In <i>Working Papers of the Tenth International Workshop onQualitative Reasoning (QR-96)</i>, Fallen LeafLake, California. <br><!WA18><!WA18><!WA18><!WA18><!WA18><!WA18><!WA18><!WA18><!WA18><!WA18><a href="http://www.cs.utexas.edu/users/qr/abstracts-robotics.html">[Abstract]</a> <P> <li> (4-2-96) Giorgio Brajnik and Daniel J. Clancy.<!WA19><!WA19><!WA19><!WA19><!WA19><!WA19><!WA19><!WA19><!WA19><!WA19><a href="file://ftp.cs.utexas.edu/pub/qsim/papers/Brajnik+Clancy-TIME96.ps.Z"><b>Guiding and refining simulation using temporal logic. </b></a><i>Third International Workshop on Temporal Representation and Reasoning (TIME'96),</i> 1996.<p><!WA20><!WA20><!WA20><!WA20><!WA20><!WA20><!WA20><!WA20><!WA20><!WA20><a href="http://www.cs.utexas.edu/users/qr/abstracts-tl.html">[Abstract]</a> <P> <li> (4-2-96) Lance Tokuda. 1996. <!WA21><!WA21><!WA21><!WA21><!WA21><!WA21><!WA21><!WA21><!WA21><!WA21><a href="file://ftp.cs.utexas.edu/pub/qsim/papers/Tokuda-aaai-96.ps.Z"><b>Managing occurrence branching in qualitative simulation.</b></a> In<i>Proceedings of the National Conference on Artificial Intelligence(AAAI-96),</i> AAAI/MIT Press, 1996.</ul><hr><h2>Old (But Good) Papers Added to Web Page.</h2><ul> <li> (9-11-96) Wan Yik Lee. 1995.<!WA22><!WA22><!WA22><!WA22><!WA22><!WA22><!WA22><!WA22><!WA22><!WA22><a href="file://ftp.cs.utexas.edu/pub/qsim/papers/Lee-AITR-95-235.ps.gz"><b>A Guide to Programming Spot, a Mobile Robot of the University of Texas at Austin</b></a>. Artificial Intelligence Laboratory, The University of Texas at Austin, AI Laboratory Technical Report AI95-235, June 1995. <p> <li> (9-11-96) Wan Yik Lee. 1995.<!WA23><!WA23><!WA23><!WA23><!WA23><!WA23><!WA23><!WA23><!WA23><!WA23><a href="file://ftp.cs.utexas.edu/pub/qsim/papers/Lee-AITR-95-240.ps.gz"><b>Programming Spot in Lisp with SpotLisp Package</b></a>. Artificial Intelligence Laboratory, The University of Texas at Austin, AI Laboratory Technical Report AI95-240, June 1995. <p> <li> (9-3-96) Benjamin Kuipers. 1985. <!WA24><!WA24><!WA24><!WA24><!WA24><!WA24><!WA24><!WA24><!WA24><!WA24><a href="file://ftp.cs.utexas.edu/pub/qsim/papers/Kuipers-aitr-85-17.ps.Z"><b>The Map-Learning Critter</b></a>.University of Texas at Austin, Artificial Intelligence LaboratoryAI TR 85-17, December 1985. <p> <li> (8-27-96) B. J. Kuipers. 1983.<!WA25><!WA25><!WA25><!WA25><!WA25><!WA25><!WA25><!WA25><!WA25><!WA25><a href="file://ftp.cs.utexas.edu/pub/qsim/papers/Kuipers-pick-83.ps.Z"><b>The cognitive map: Could it have been any other way?</b></a>In H. L. Pick, Jr. and L. P. Acredolo (Eds.),<i>Spatial Orientation: Theory, Research, and Application</i>.New York: Plenum Press, 1983, pages 345-359. <p> <li> (8-21-96) J. M. Crawford and B. J. Kuipers. 1989. <!WA26><!WA26><!WA26><!WA26><!WA26><!WA26><!WA26><!WA26><!WA26><!WA26><a href="file://ftp.cs.utexas.edu/pub/qsim/papers/Crawford+Kuipers-kr-89.ps.Z"><b>Toward a theory of access-limited logic for knowledge representation.</b></a>In <i>Proceedings of the First International Conference on Principlesof Knowledge Representation and Reasoning (KR'89)</i>. Los Altos,CA: Morgan Kaufmann. <p> <li> (8-19-96) B. J. Kuipers. 1979.<!WA27><!WA27><!WA27><!WA27><!WA27><!WA27><!WA27><!WA27><!WA27><!WA27><a href="file://ftp.cs.utexas.edu/pub/qsim/papers/Kuipers-csk-79.ps.Z"><b>On representing common sense knowledge</b></a>. In N. V. Findler(Ed.), <em>Associative Networks: The Representation and Useof Knowledge by Computers</em>. New York: Academic Press, 1979, pages 393--408. <P> <li> (7-29-96) Akira Hayashi and Benjamin Kuipers. 1992. <!WA28><!WA28><!WA28><!WA28><!WA28><!WA28><!WA28><!WA28><!WA28><!WA28><a href="file://ftp.cs.utexas.edu/pub/qsim/papers/Hayashi+Kuipers-IROS92.ps.Z"><b>A continuous approach to robot motion planning with many degrees offreedom.</b></a> In <i>Proceedings of the 1992 IEEE InternationalConference on Intelligent Robots and Systems (IROS'92)</i>. <p> <li> (7-12-96) B. J. Kuipers & Y.-T. Byun. 1991.<!WA29><!WA29><!WA29><!WA29><!WA29><!WA29><!WA29><!WA29><!WA29><!WA29><a href="file://ftp.cs.utexas.edu/pub/qsim/papers/Kuipers+Byun-jras-91.ps.Z"><b>A robot exploration and mapping strategy based on a semantic hierarchyof spatial representations.</b></a><i>Journal of Robotics and Autonomous Systems</i>, <b>8</b>: 47-63. <P>Reprinted in Walter Van de Velde (ed.), <i>Towards Learning Robots</i>, Bradford/MIT Press, 1993. <p> <li> (7-16-95) B. J. Kuipers. 1978. <!WA30><!WA30><!WA30><!WA30><!WA30><!WA30><!WA30><!WA30><!WA30><!WA30><a href="file://ftp.cs.utexas.edu/pub/qsim/papers/Kuipers-cogsci-78.ps.Z"><b>Modeling spatial knowledge</b></a>.<i>Cognitive Science</i>, <b>2</b>: 129-153, 1978. <P> Reprinted in <i>Advances in Spatial Reasoning, Volume 2</i>, Su-shingChen (Ed.), Norwood NJ: Ablex Publishing, 1990. <p> <ul> <li> The version of the PS file currently available (7-16-96) ismissing the two figures. I'll fix it as soon as possible. <li> There is a <!WA31><!WA31><!WA31><!WA31><!WA31><!WA31><!WA31><!WA31><!WA31><!WA31><a href="file://ftp.cs.utexas.edu/pub/qsim/papers/Kuipers-cogsci-78-beta.ps.Z">Word version</a> of the paper that includes the figures,but is a much longer file, and fails to display reasonably in ghostview,though it seems to print correctly.<p> </ul></ul><hr><h2>SQsim: Major Progress in Semi-Quantitative Reasoning</h2><ul><li> (3-22-96)Herbert Kay. 1996.<!WA32><!WA32><!WA32><!WA32><!WA32><!WA32><!WA32><!WA32><!WA32><!WA32><a href="file://ftp.cs.utexas.edu/pub/qsim/papers/Kay-tr-ai96-247.ps.Z"><b>SQsim: a simulator for imprecise ODE models</b></a>.University of Texas Artificial Intelligence Laboratory TR AI96-247, March 1996. <br><!WA33><!WA33><!WA33><!WA33><!WA33><!WA33><!WA33><!WA33><!WA33><!WA33><a href="http://www.cs.utexas.edu/users/qr/abstracts-qr.html#SQSIM">[Abstract]</a> <P></ul><hr><h2>Robot Learning with Uninterpreted Sensors and Effectors</h2><ul><li> (3-22-96)David Pierce and Benjamin Kuipers. 1996.<!WA34><!WA34><!WA34><!WA34><!WA34><!WA34><!WA34><!WA34><!WA34><!WA34><a href="file://ftp.cs.utexas.edu/pub/qsim/papers/Pierce+Kuipers-tr-ai96-246.ps.Z"><b>Map learning with uninterpreted sensors and effectors</b></a>.University of Texas Artificial Intelligence Laboratory TR AI96-246, January 1996. <br><!WA35><!WA35><!WA35><!WA35><!WA35><!WA35><!WA35><!WA35><!WA35><!WA35><a href="http://www.cs.utexas.edu/users/qr/abstracts-robotics.html">[Abstract]</a> <p></ul><hr><h2>See our Post-Doctoral Fellow Ad!</h2> <ul> <li> (3-1-96) We are advertising for a post-doctoral fellow to work with the Algernon knowledge representation system. <p> <li> (7-1-96) Sorry, the position is closed. <p> </ul><hr>⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -