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
What's New at the QR Group
What's New at the QR Group
These are recent changes. See the Qualitative
Reasoning Research Group home page for a more complete description
of our work, in several areas.
Another review of the QR Book.
(12-3-96) See the QR book page for other reviews.
-
Andrew Frank, Int. J. of Geographic Information Systems
10(2), March 1996, pages 242-243.
This book may become a very important book for Geographic Systems
and for geography in general, despite the fact, that it does not
discuss anything geographical or spatial in its 400 pages. ... It
must be hoped that many geographers use the methods to model
geographical processes and to explore the dynamic behavior of systems
in physical and human geography. Many M.Sc. or Ph.D. thesis could
benefit from the rigor of the method and the application of the
software. Modeling of dynamic systems - a la Forrester's Urban
Dynamics - become feasible, even in the absence of detailed
quantitative knowledge.
Bert Kay doctoral dissertation on SQSIM and SQUID
(11-18-96) Bert Kay has completed an outstanding doctoral dissertation
on semi-quantitative simulation (SQSIM) and semi-quantitative system
identification (SQUID).
Shults & Kuipers paper in AIJ
(11-7-96) The AIJ will soon publish a paper describing our work on
proving statements in temporal logic by model-checking against the
behavior graph predicted by QSIM.
Pierce & Kuipers paper in AIJ
(11-7-96) The AIJ will soon publish a paper describing David Pierce's
dissertation research on how a robot starting with uninterpreted sensors
and effectors can learn to understand both its own sensorimotor capabilities
and its environment.
Spatial Semantic Hierarchy for a Physical Mobile Robot
(10-17-96) Wan Yik Lee has finished his long-awaited dissertation on
implementing the SSH on a physical robot, our RWI B12, named Spot.
New Conference Papers: QR-96, TIME-96, and AAAI-96
- (7-15-96) Siddarth Subramanian and Raymond J. Mooney. 1996.
Qualitative multiple-fault diagnosis of continuous dynamic systems
using behavioral modes. In Proceedings of the National
Conference on Artificial Intelligence (AAAI-96), AAAI/MIT Press,
1996.
- (4-12-96) Giorgio Brajnik and Daniel J. Clancy. 1996.
Temporal constraints on trajectories in qualitative simulation.
In Proceedings of the National Conference on Artificial Intelligence
(AAAI-96), AAAI/MIT Press, 1996.
[Abstract]
- (4-9-96) Giorgio Brajnik and Daniel J. Clancy. 1996.
Temporal constraints on trajectories in qualitative simulation.
In Working Papers of the Tenth International Workshop on
Qualitative Reasoning (QR-96), Fallen Leaf
Lake, California.
[Abstract]
- (4-9-96) Richard S. Mallory, Bruce W. Porter, and Benjamin J. Kuipers. 1996.
Comprehending complex behavior graphs through abstraction.
In Working Papers of the Tenth International Workshop on
Qualitative Reasoning (QR-96), Fallen Leaf
Lake, California.
- (4-8-96) B. Kuipers. 1996.
A hierarchy of qualitative representations for space.
In Working Papers of the Tenth International Workshop on
Qualitative Reasoning (QR-96), Fallen Leaf
Lake, California.
[Abstract]
- (4-2-96) Giorgio Brajnik and Daniel J. Clancy.
Guiding and refining simulation using temporal logic.
Third International Workshop on Temporal Representation and Reasoning (TIME'96), 1996.
[Abstract]
- (4-2-96) Lance Tokuda. 1996.
Managing occurrence branching in qualitative simulation. In
Proceedings of the National Conference on Artificial Intelligence
(AAAI-96), AAAI/MIT Press, 1996.
Old (But Good) Papers Added to Web Page.
- (9-11-96) Wan Yik Lee. 1995.
A Guide to Programming Spot, a Mobile Robot of the University of Texas at Austin.
Artificial Intelligence Laboratory, The University of Texas at Austin,
AI Laboratory Technical Report AI95-235, June 1995.
- (9-11-96) Wan Yik Lee. 1995.
Programming Spot in Lisp with SpotLisp Package.
Artificial Intelligence Laboratory, The University of Texas at Austin,
AI Laboratory Technical Report AI95-240, June 1995.
- (9-3-96) Benjamin Kuipers. 1985.
The Map-Learning Critter.
University of Texas at Austin, Artificial Intelligence Laboratory
AI TR 85-17, December 1985.
- (8-27-96) B. J. Kuipers. 1983.
The cognitive map: Could it have been any other way?
In H. L. Pick, Jr. and L. P. Acredolo (Eds.),
Spatial Orientation: Theory, Research, and Application.
New York: Plenum Press, 1983, pages 345-359.
- (8-21-96) J. M. Crawford and B. J. Kuipers. 1989.
Toward a theory of access-limited logic for knowledge representation.
In Proceedings of the First International Conference on Principles
of Knowledge Representation and Reasoning (KR'89). Los Altos,
CA: Morgan Kaufmann.
- (8-19-96) B. J. Kuipers. 1979.
On representing common sense knowledge. In N. V. Findler
(Ed.), Associative Networks: The Representation and Use
of Knowledge by Computers. New York: Academic Press, 1979, pages 393--408.
- (7-29-96) Akira Hayashi and Benjamin Kuipers. 1992.
A continuous approach to robot motion planning with many degrees of
freedom. In Proceedings of the 1992 IEEE International
Conference on Intelligent Robots and Systems (IROS'92).
- (7-12-96) B. J. Kuipers & Y.-T. Byun. 1991.
A robot exploration and mapping strategy based on a semantic hierarchy
of spatial representations.
Journal of Robotics and Autonomous Systems, 8: 47-63.
Reprinted in Walter Van de Velde (ed.), Towards Learning Robots,
Bradford/MIT Press, 1993.
- (7-16-95) B. J. Kuipers. 1978.
Modeling spatial knowledge.
Cognitive Science, 2: 129-153, 1978.
Reprinted in Advances in Spatial Reasoning, Volume 2, Su-shing
Chen (Ed.), Norwood NJ: Ablex Publishing, 1990.
- The version of the PS file currently available (7-16-96) is
missing the two figures. I'll fix it as soon as possible.
- There is a
Word version 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.
SQsim: Major Progress in Semi-Quantitative Reasoning
Robot Learning with Uninterpreted Sensors and Effectors
See our Post-Doctoral Fellow Ad!
- (3-1-96) We are advertising for a post-doctoral fellow to work with the
Algernon knowledge representation system.
- (7-1-96) Sorry, the position is closed.
Temporal Logic, and Related QSIM Formalization
Reviews of the QR Book
- (1-26-96) The QR Book page is
updated to include three known book reviews: IEEE Expert, ACM
Computing Reviews, and AI Magazine.
QSIM in Parallel Hardware
- (1-11-96) Added to Qsim Users page.
A significant barrier to application of QSIM to large-scale problems is the
efficiency of qualitative simulation. Recently, a group at T.U. Graz in Austria
have designed and implemented a special-purpose parallel hardware architecture
for qualitative simulation. See their Web page and published papers.
Reinhold Weiss, Marco Platzner, Bernhard Rinner, T.U. Graz, Austria.
Old (But Good) Papers Added to Web Page.
- (2-28-96) B. J. Kuipers. 1987.
Abstraction by time-scale in qualitative simulation.
In Proceedings of the National Conference on Artificial
Intelligence (AAAI-87). Los Altos, CA: Morgan Kaufman.
(The ftp copy is missing two figures.)
Reprinted in D. S. Weld & J. de Kleer (Eds.), Readings in Qualitative Reasoning
about Physical Systems, Los Altos, CA: Morgan Kaufmann, 1990.
[Superceded by QR book, chapter 12.]
- (2-22-96) Richard Froom. 1991.
Acquiring effective knowledge of environment geometry for
minimum-time control of a mobile robot. In Proceedings of the 1991 IEEE
International Symposium on Intelligent Control, pages 501-506, Arlington, VA,
August 13-15 1991.
- (1-31-96) D. Berleant & B. Kuipers. 1992.
Qualitative-numeric simulation with Q3. In Boi Faltings and
Peter Struss (Eds.), Recent Advances in Qualitative Physics,
MIT Press, 1992.
(The ftp file is missing several figures.)
- (1-30-96)
B. J. Kuipers. 1986.
Qualitative Simulation.
Artificial Intelligence 29: 289 - 338, 1986.
(The ftp copy is missing five figures.)
- (1-18-96)
B. J. Kuipers, C. Chiu, D. T. Dalle Molle & D. R. Throop. 1991.
Higher-order derivative constraints in qualitative simulation.
Artificial Intelligence 51: 343-379.
- (1-18-96)
W. W. Lee & B. J. Kuipers. 1988.
Non-intersection of trajectories in qualitative phase space: a
global constraint for qualitative simulation.
In Proceedings of the National Conference on Artificial
Intelligence (AAAI-88). Los Altos, CA: Morgan Kaufmann, 1988.
- (1-16-96) Hwee Tou Ng. 1991.
Model-based, multiple fault diagnosis of time-varying,
continuous physical devices.
IEEE Expert 6(6): 38-43, December 1991.
- (1-4-96)
D. Dvorak & B. J. Kuipers. 1989.
Model-based monitoring of dynamic systems.
In Proceedings of the Eleventh International Joint Conference on
Artificial Intelligence (IJCAI-89). Los Altos, CA: Morgan Kaufman.
- (1-3-96) J. M. Crawford & B. J. Kuipers. 1991.
ALL: formalizing access-limited reasoning. In John Sowa (Ed.),
Principles of Semantic Networks, pp. 299-330. San Mateo, CA:
Morgan Kaufmann.
- (1-3-96) Daniel Dvorak & Benjamin Kuipers. 1991.
Process monitoring and diagnosis: a model-based approach.
IEEE EXPERT 6(3): 67-74, June 1991.
- (1-3-96)
B. J. Kuipers and J. P. Kassirer. 1984.
Causal reasoning in medicine: analysis of a protocol.
Cognitive Science 8: 363-385.
- (1-2-96) C. Chiu & B. J. Kuipers. 1992.
Comparative analysis and
qualitative integral representations. In Boi Faltings and
Peter Struss (Eds.), Recent Advances in Qualitative Physics, MIT
Press, 1992.
- (12-29-95) B. J. Kuipers, A. J. Moskowitz, and J. P. Kassirer. 1988.
Critical Decisions Under Uncertainty: Representation and Structure.
Cognitive Science 12: 177-210, 1988.
Reprinted in G. Shafer and J. Pearl (Eds.), Readings in Uncertain Reasoning,
San Mateo, CA: Morgan Kaufmann Publishers, 1990.
R++, based on Algernon, developed by AT+T Bell Labs.
- (8-29-95) AT+T Bell Labs has created R++, a rule-based extension to C++,
based on the ideas of access-limited logic developed in Algernon.
It is available to university researchers.
Five New and Old PhD Dissertations Now Available
- (11-20-95) Raman Rajagopalan. 1995. Qualitative reasoning about
dynamic change in the spatial properties of a physical system.
Doctoral dissertation, Department of Computer Sciences, The University
of Texas at Austin.
[Get PS file]
- (5-26-95) Richard Froom. 1995. High-Speed Navigation with Approximate Maps.
Doctoral dissertation, Department of Computer Sciences, The University of Texas
at Austin.
[Get it.]
- (5-26-95) David M. Pierce. 1995. Map Learning with
Uninterpreted Sensors and Effectors. Doctoral dissertation,
Department of Computer Sciences, The University of Texas at Austin.
[Get it.]
- (5-30-95) Jeff W. Rickel. 1995. Automated modeling of complex
systems to answer prediction questions. Doctoral dissertation,
Department of Computer Sciences, The University of Texas at Austin.
[Get it.]
- (6-13-95) J. Daniel Berleant. 1991. The use of partial quantitative
knowledge with qualitative reasoning. University of Texas at
Austin, Artificial Intelligence Laboratory, Technical Report AI
91-163. (Doctoral dissertation, Department of Computer Sciences.)
[Get it.]
The QR Book!
The QR book is available, and is the best reference (sometimes the only reference)
for many things related to QSIM. See:
- The details.
- (12-6-94) Added copies of known book reviews.
New WWW Pages and Files
- (3-20-95)
Dan Dvorak's 1987 literature review is now available.
Daniel L. Dvorak. 1987. Expert systems for monitoring and control.
University of Texas at Austin, Artificial Intelligence Laboratory,
Technical Report AI 87-55.
- (2-14-95)
David Franke's PhD thesis is now available.
David W. Franke. 1992. A theory of teleology. Doctoral
dissertation, Computer Science Department, University of Texas at Austin, May 1992.
(Available as TR AI93-201.)
- (12-13-94) The QSIM Users page gives an overview
of other published work building on ours.
- (11-16-94)
Akira Hayashi's PhD thesis is now available on the Web.
Akira Hayashi, Geometrical Motion Planning for Highly
Redundant Manipulators Using a Continuous Manipulator Model.
Doctoral dissertation, Department of Computer Sciences, University of
Texas at Austin, Austin, Texas. May 1991. (Available as TR
AI91-156.)
- (8-31-94) New, expanded Yellow Pages
added under QR home. Replaces Other Groups.
- (6-23-94) Crawford + Kuipers AAAI91 and SIGART91 papers on Algernon added.
- (6-21-94) Swan's Neck page added under Robotics.
- (6-17-94) What's New and Other Groups pages (please send additions).
Recent Papers (1994)
- Farquhar, AAAI-94.
- Pierce & Kuipers, AAAI-94.
- Rajagopalan, AAAI-94.
- Clancy & Kuipers, QR-94.
- Farquhar & Brajnik, QR-94.
- Ramachandran, Mooney & Kuipers, QR-94.
- Kuipers & Shults, KR-94 and QR-94.
- Kuipers & Astrom, Automatica, 1994.
[QR home]
BJK