📄 http:^^www.cs.utexas.edu^users^qr^papers-qr.html
字号:
MIME-Version: 1.0
Server: CERN/3.0
Date: Tuesday, 07-Jan-97 15:51:48 GMT
Content-Type: text/html
Content-Length: 29866
Last-Modified: Monday, 18-Nov-96 16:22:47 GMT
<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 3.2//EN"><HTML><HEAD> <TITLE>Papers on Qualitative Reasoning </TITLE> <META NAME="GENERATOR" CONTENT="Mozilla/3.0Gold (X11; I; SunOS 5.5 sun4m) [Netscape]"></HEAD><BODY TEXT="#000000" BGCOLOR="#FFFFFF" LINK="#0000EE" VLINK="#551A8B" ALINK="#FF0000"><P><!-- Changed by: Benjamin J. Kuipers, 29-Jul-1996 --></P><H1>Papers on Qualitative Reasoning </H1><UL><LI><!WA0><!WA0><!WA0><!WA0><!WA0><!WA0><!WA0><!WA0><!WA0><!WA0><!WA0><!WA0><A HREF="#Overviews">Overviews </A></LI><UL><LI><!WA1><!WA1><!WA1><!WA1><!WA1><!WA1><!WA1><!WA1><!WA1><!WA1><!WA1><!WA1><A HREF="#Bibliographies">Bibliographies </A></LI></UL><LI><!WA2><!WA2><!WA2><!WA2><!WA2><!WA2><!WA2><!WA2><!WA2><!WA2><!WA2><!WA2><A HREF="#QSIM-papers">Qualitative simulation </A></LI><UL><LI><!WA3><!WA3><!WA3><!WA3><!WA3><!WA3><!WA3><!WA3><!WA3><!WA3><!WA3><!WA3><A HREF="#Basic">The basic idea </A></LI><LI><!WA4><!WA4><!WA4><!WA4><!WA4><!WA4><!WA4><!WA4><!WA4><!WA4><!WA4><!WA4><A HREF="#Protocol">Protocol analysis </A></LI><LI><!WA5><!WA5><!WA5><!WA5><!WA5><!WA5><!WA5><!WA5><!WA5><!WA5><!WA5><!WA5><A HREF="#Tractable">Methods for tractable simulation </A></LI><LI><!WA6><!WA6><!WA6><!WA6><!WA6><!WA6><!WA6><!WA6><!WA6><!WA6><!WA6><!WA6><A HREF="#TeQSIM">Trajectory constraints for QSIM (TeQSIM)</A> </LI><LI><!WA7><!WA7><!WA7><!WA7><!WA7><!WA7><!WA7><!WA7><!WA7><!WA7><!WA7><!WA7><A HREF="#TSA">Time-scale abstraction </A></LI><LI><!WA8><!WA8><!WA8><!WA8><!WA8><!WA8><!WA8><!WA8><!WA8><!WA8><!WA8><!WA8><A HREF="#Phase-Space">Qualitative phase space </A></LI><LI><!WA9><!WA9><!WA9><!WA9><!WA9><!WA9><!WA9><!WA9><!WA9><!WA9><!WA9><!WA9><A HREF="#Compare">Comparative analysis </A></LI></UL><LI><!WA10><!WA10><!WA10><!WA10><!WA10><!WA10><!WA10><!WA10><!WA10><!WA10><!WA10><!WA10><A HREF="#Semi-Quant">Semi-quantitative reasoning </A></LI><UL><LI><!WA11><!WA11><!WA11><!WA11><!WA11><!WA11><!WA11><!WA11><!WA11><!WA11><!WA11><!WA11><A HREF="#Q2">Q2 </A></LI><LI><!WA12><!WA12><!WA12><!WA12><!WA12><!WA12><!WA12><!WA12><!WA12><!WA12><!WA12><!WA12><A HREF="#Q3">Q3 </A></LI><LI><!WA13><!WA13><!WA13><!WA13><!WA13><!WA13><!WA13><!WA13><!WA13><!WA13><!WA13><!WA13><A HREF="#NSIM">NSIM </A></LI></UL><LI><!WA14><!WA14><!WA14><!WA14><!WA14><!WA14><!WA14><!WA14><!WA14><!WA14><!WA14><!WA14><A HREF="#TL">QSIM and temporal logic model-checking</A> </LI><LI><!WA15><!WA15><!WA15><!WA15><!WA15><!WA15><!WA15><!WA15><!WA15><!WA15><!WA15><!WA15><A HREF="#Models">Building qualitative models </A></LI><UL><LI><!WA16><!WA16><!WA16><!WA16><!WA16><!WA16><!WA16><!WA16><!WA16><!WA16><!WA16><!WA16><A HREF="#CC">CC </A></LI><LI><!WA17><!WA17><!WA17><!WA17><!WA17><!WA17><!WA17><!WA17><!WA17><!WA17><!WA17><!WA17><A HREF="#QPC">QPC </A></LI><LI><!WA18><!WA18><!WA18><!WA18><!WA18><!WA18><!WA18><!WA18><!WA18><!WA18><!WA18><!WA18><A HREF="#MISQ">MISQ </A></LI></UL><LI><!WA19><!WA19><!WA19><!WA19><!WA19><!WA19><!WA19><!WA19><!WA19><!WA19><!WA19><!WA19><A HREF="#QR-apps">Applying qualitative reasoning </A></LI><UL><LI><!WA20><!WA20><!WA20><!WA20><!WA20><!WA20><!WA20><!WA20><!WA20><!WA20><!WA20><!WA20><A HREF="#MIMIC">Monitoring continuous systems: MIMIC</A>. </LI><LI><!WA21><!WA21><!WA21><!WA21><!WA21><!WA21><!WA21><!WA21><!WA21><!WA21><!WA21><!WA21><A HREF="#DX">Diagnosis of continuous systems</A>. </LI><LI><!WA22><!WA22><!WA22><!WA22><!WA22><!WA22><!WA22><!WA22><!WA22><!WA22><!WA22><!WA22><A HREF="#SS-RCS">Space Shuttle Reaction Control System</A>. </LI><LI><!WA23><!WA23><!WA23><!WA23><!WA23><!WA23><!WA23><!WA23><!WA23><!WA23><!WA23><!WA23><A HREF="#Teleology">Design, purpose, and teleological reasoning</A>.</LI><LI><!WA24><!WA24><!WA24><!WA24><!WA24><!WA24><!WA24><!WA24><!WA24><!WA24><!WA24><!WA24><A HREF="#Spatial+Dynamic">Integrating spatial and dynamic reasoning</A>.</LI><LI><!WA25><!WA25><!WA25><!WA25><!WA25><!WA25><!WA25><!WA25><!WA25><!WA25><!WA25><!WA25><A HREF="#HC">Heterogeneous control</A>. </LI></UL></UL><P><HR></P><H2><A NAME="Overviews"></A>Overviews </H2><P><B>The QR book</B> is now the definitive presentation of the QSIM approachto qualitative reasoning. The papers it supercedes are indicated below.</P><UL><LI>B. J. Kuipers. 1994. <B><I><!WA26><!WA26><!WA26><!WA26><!WA26><!WA26><!WA26><!WA26><!WA26><!WA26><!WA26><!WA26><A HREF="http://www.cs.utexas.edu/users/qr/QR-book.html">Qualitative Reasoning:Modeling and Simulation with Incomplete Knowledge</A></I></B>. Cambridge,MA: MIT Press. </LI></UL><P>The two AIJ papers are from a special retrospective issue, reflectingon the status of research in this area. </P><UL><LI>B. J. Kuipers. <B><!WA27><!WA27><!WA27><!WA27><!WA27><!WA27><!WA27><!WA27><!WA27><!WA27><!WA27><!WA27><A HREF="file://ftp.cs.utexas.edu/pub/qsim/papers/Kuipers-aij-93a.ps.Z">Reasoningwith qualitative models.</A></B> 1993. <I>Artificial Intelligence</I> 59:125-132. </LI><LI>B. J. Kuipers. <B><!WA28><!WA28><!WA28><!WA28><!WA28><!WA28><!WA28><!WA28><!WA28><!WA28><!WA28><!WA28><A HREF="file://ftp.cs.utexas.edu/pub/qsim/papers/Kuipers-aij-93b.ps.Z">Qualitativesimulation: then and now.</A></B> 1993. <I>Artificial Intelligence</I>59: 133-140. </LI></UL><P><HR></P><H3><A NAME="Bibliographies"></A>Bibliographies </H3><UL><LI>A <!WA29><!WA29><!WA29><!WA29><!WA29><!WA29><!WA29><!WA29><!WA29><!WA29><!WA29><!WA29><A HREF="file://ftp.cs.utexas.edu/pub/qsim/papers/qsim-papers.ps.Z">completebibliography</A> of QSIM papers. (as of 12-94) </LI></UL><P><HR></P><H2><A NAME="QSIM-papers"></A>Qualitative Simulation </H2><P><HR></P><H3><A NAME="Basic"></A>The Basic Idea </H3><UL><LI>B. J. Kuipers. 1984. <B>Commonsense reasoning about causality: derivingbehavior from structure.</B> <I>Artificial Intelligence</I> 24: 169-203.</LI><P>Reprinted in D. G. Bobrow (Ed.), <I>Qualitative Reasoning about PhysicalSystems.</I> New York: North-Holland, 1984. Paperback publication by MITPress, Cambridge, MA, 1985. </P><LI>B. J. Kuipers. 1986. <B><!WA30><!WA30><!WA30><!WA30><!WA30><!WA30><!WA30><!WA30><!WA30><!WA30><!WA30><!WA30><A HREF="file://ftp.cs.utexas.edu/pub/qsim/papers/Kuipers-aij-86.ps.Z">QualitativeSimulation.</A></B> <I>Artificial Intelligence</I> 29: 289 - 338, 1986.<BR>(The ftp copy is missing five figures.) </LI><P>Reprinted in D. S. Weld & J. de Kleer (Eds.), <I>Readings in QualitativeReasoning about Physical Systems,</I> Los Altos, CA: Morgan Kaufmann, 1990.</P><P>[Superceded by <!WA31><!WA31><!WA31><!WA31><!WA31><!WA31><!WA31><!WA31><!WA31><!WA31><!WA31><!WA31><A HREF="http://www.cs.utexas.edu/users/qr/QR-book.html">QR book</A>, chapters 3, 4, 5.]</P></UL><P>Each of these papers was among the top 25 most-cited papers in the first50 volumes of the <I>Artificial Intelligence Journal</I>, hence the twoAIJ 1993 retrospectives. </P><P><HR></P><H3><A NAME="Protocol"></A>Protocol Analysis </H3><UL><LI>B. J. Kuipers and J. P. Kassirer. 1984. <B><!WA32><!WA32><!WA32><!WA32><!WA32><!WA32><!WA32><!WA32><!WA32><!WA32><!WA32><!WA32><A HREF="file://ftp.cs.utexas.edu/pub/qsim/papers/Kuipers+Kassirer-cogsci-84.ps.Z">Causalreasoning in medicine: analysis of a protocol.</A></B> <I>Cognitive Science</I>8: 363-385. </LI><P>Reprinted in A. Kidd (Ed.), <I>Knowledge Acquisition for Expert Systems</I>,New York: Plenum, 1987. </P><LI>B. J. Kuipers, A. J. Moskowitz, and J. P. Kassirer. 1988. <B><!WA33><!WA33><!WA33><!WA33><!WA33><!WA33><!WA33><!WA33><!WA33><!WA33><!WA33><!WA33><A HREF="file://ftp.cs.utexas.edu/pub/qsim/papers/Kuipers+Moskowitz+Kassirer-cogsci-88.ps.Z">CriticalDecisions Under Uncertainty: Representation and Structure</A></B>. <I>CognitiveScience</I> <B>12</B>: 177-210, 1988. </LI><P>Reprinted in G. Shafer and J. Pearl (Eds.), <I>Readings in UncertainReasoning</I>, San Mateo, CA: Morgan Kaufmann Publishers, 1990. </P></UL><P><HR></P><H3><A NAME="Tractable"></A>Methods for Tractable Simulation </H3><UL><LI>B. J. Kuipers, C. Chiu, D. T. Dalle Molle & D. R. Throop. 1991.<B><!WA34><!WA34><!WA34><!WA34><!WA34><!WA34><!WA34><!WA34><!WA34><!WA34><!WA34><!WA34><A HREF="file://ftp.cs.utexas.edu/pub/qsim/papers/Kuipers+Chiu+DalleMolle+Throop-AIJ-91.ps.Z">Higher-orderderivative constraints in qualitative simulation.</A></B> <I>ArtificialIntelligence</I> 51: 343-379. </LI><P>[Superceded by <!WA35><!WA35><!WA35><!WA35><!WA35><!WA35><!WA35><!WA35><!WA35><!WA35><!WA35><!WA35><A HREF="http://www.cs.utexas.edu/users/qr/QR-book.html">QR book</A>, chapter 10.] </P><LI>Clancy, Daniel J. and Kuipers, Benjamin J. <B><!WA36><!WA36><!WA36><!WA36><!WA36><!WA36><!WA36><!WA36><!WA36><!WA36><!WA36><!WA36><A HREF="file://ftp.cs.utexas.edu/pub/qsim/papers/Clancy+Kuipers-QR93.ps.Z">Behaviorabstraction for tractable simulation. </A></B><I>Proceedings from the SeventhInternational Workshop on Qualitative Reasoning,</I> May 1993.</LI><P>Describes two techniques for reducing intractable branching in qualitativesimulations. Chatter box abstraction eliminates chatter by performing afocused envisionment while Behavior Aggregation eliminations event occurrencebranching. </P><LI>D. Clancy and B. Kuipers. 1994. <B><!WA37><!WA37><!WA37><!WA37><!WA37><!WA37><!WA37><!WA37><!WA37><!WA37><!WA37><!WA37><A HREF="file://ftp.cs.utexas.edu/pub/qsim/papers/Clancy+Kuipers-QR94.ps.Z">Modeldecomposition and simulation. </A></B>In <I>Working Papers of the EighthInternational Workshop on Qualitative Reasoning about Physical Systems(QR-94)</I>, Nara, Japan. </LI><P>Describes a simulation technique that uses a cross between a state-basedrepresentation and a history-based representation. Models are decomposedinto components and then each component is simulated separately. Temporalcorrelations between variables within different components is eliminatedthus reducing many irrelevant distinctions within the behavioral description.</P><LI>Richard S. Mallory, Bruce W. Porter, and Benjamin J. Kuipers. 1996.<B><!WA38><!WA38><!WA38><!WA38><!WA38><!WA38><!WA38><!WA38><!WA38><!WA38><!WA38><!WA38><A HREF="file://ftp.cs.utexas.edu/pub/qsim/papers/Mallory+Porter+Kuipers-QR96.ps.Z">Comprehendingcomplex behavior graphs through abstraction</A></B>. In <I>Working Papersof the Tenth International Workshop on Qualitative Reasoning (QR-96)</I>,Fallen Leaf Lake, California. </LI><LI>Lance Tokuda. 1996. <B><!WA39><!WA39><!WA39><!WA39><!WA39><!WA39><!WA39><!WA39><!WA39><!WA39><!WA39><!WA39><A HREF="file://ftp.cs.utexas.edu/pub/qsim/papers/Tokuda-aaai-96.ps.Z">Managingoccurrence branching in qualitative simulation.</A></B> In <I>Proceedingsof the National Conference on Artificial Intelligence (AAAI-96),</I> AAAI/MITPress, 1996. </LI></UL><P><HR></P><H3><A NAME="TeQSIM"></A>Trajectory Constraints for QSIM </H3><UL><LI>Pierre Fouche & Benjamin Kuipers. 1992. <B>Reasoning about energyin qualitative simulation.</B> <I>IEEE Transactions on Systems, Man, andCybernetics</I> 22(1): 47-63. </LI><P>[Superceded by <!WA40><!WA40><!WA40><!WA40><!WA40><!WA40><!WA40><!WA40><!WA40><!WA40><!WA40><!WA40><A HREF="http://www.cs.utexas.edu/users/qr/QR-book.html">QR book</A>, chapter 11.] </P><LI>TeQSIM Papers (contact clancy@cs.utexas.edu or giorgio@dimi.uniud.itif you have any questions)</LI><UL><P><B>Published:</B></P><P>Note: The QR96 paper is the most comprehensive reference describingthe use of TeQSIM to address specific tasks. The manuscript "Focusingqualitative simulation using temporal logic" is an extension of thepaper published in TIME-96. This paper provides a detailed descriptionof the syntax and semantics of the temporal logic along with a formal descriptionof the model checking algorithm with soundness and completeness theorms.</P>⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -