Mallory, R. S., & Porter, B. W., & Kuipers, B. J. (1996). Comprehending complex behavior graphs through abstraction. In Iwasaki, Y., and Farquhar, A., eds., Proceedings of the Tenth International Workshop on Qualitative Reasoning, 137--146. Menlo Park, CA, USA: AAAI Press.  Home/Search   Document Details and Download   Summary   Related Articles   Check

....engine acting on either the model (e.g. QPE [ 9 ] or the equations (e.g. QSIM [ 13 ] and Matlab r ) to produce one or more solutions to the query. A solution reformulation process may subsequently be performed to enhance cognitive insight. Examples of such reformulations are summarization [ 16 ] and explanation by generation of active documentation [ 11 ] Solution reformulation may also be applied for engine driven problem re encoding. For example, Clancy and Kuipers [ 3 ] interleave a QSIM simulation with the aggregation of partial solutions corresponding to chatter in a qualitative ....

....is evaluated with respect to complexity, Complexity(Proc b ; P 2 ) which is O(n 3 ) in general. R b is evaluated with respect to its failure to determine the boundaries of the stability region near the equilibrium point. 4. 3 Solution reformulation: Behavior abstraction for explanation In [ 16 ] Mallory et al. propose to summarize the results of the qualitative simulation of a physical system in order to help users recognize basic patterns of behavior. Their goal is to support human understanding of the solution space. This reformulation is a typical instance of solution ....

Richard S. Mallory, Bruce W. Porter, and Benjamin J. Kuipers. Comprehending Complex Behavior Graphs through Abstractions. In Tenth International Workshop on Qualitative Physics. AAAI Technical Report WS-96-01, pages 137--146, Fallen Leaf Lake, CA, 1996.

....engine acting on either the model (e.g. QPE [ 7 ] or the equations (e.g. QSIM [ 11 ] and Mathlab r ) to produce one or more solutions to the query. A solution reformulation process may subsequently be performed to enhance cognitive insight. Examples of such reformulations are summarization [ 14 ] and explanation by generation of active documentation [ 9 ] Solution reformulation may also be applied for engine driven problem re encoding. For example, Clancy and Kuipers [ 1 ] interleave a QSIM simulation with the aggregation of partial solutions corresponding to chatter in a qualitative ....

....of neglected higher order terms. Evals reform (R b ) The solution building procedure computes the eigenvalues of a system matrix and it is evaluated with respect to complexity, Complexity(Proc b ; P 2 ) which is O(n 3 ) 4. 3 Solution reformulation: Behavior abstraction for explanation In [ 14 ] Mallory et al. propose to summarize the results of the qualitative simulation of a physical system in order to help users recognize basic patterns of behavior. Their goal is to support human understanding of the solution space. This reformulation is a typical instance of solution ....

Richard S. Mallory, Bruce W. Porter, and Benjamin J. Kuipers. Comprehending Complex Behavior Graphs through Abstractions. In Tenth International Workshop on Qualitative Physics. AAAI Technical Report WS-96-01, pages 137--146, Fallen Leaf Lake, CA, 1996.

....engine acting on either the model (e.g. QPE [ 7 ] or the equations (e.g. QSIM [ 11 ] and Mathlab r ) to produce one or more solutions to the query. A solution reformulation process may subsequently be performed to enhance cognitive insight. Examples of such reformulations are summarization [ 14 ] and explanation by generation of active documentation [ 9 ] Solution reformulation may also be applied for engine driven problem re encoding. For example, Clancy and Kuipers [ 1 ] interleave a QSIM simulation with the aggregation of partial solutions corresponding to chatter in a qualitative ....

....of neglected higher order terms. Evals reform (R b ) The solution building procedure computes the eigenvalues of a system matrix and it is evaluated with respect to complexity, Complexity(Proc b ; P 2 ) which is O(n 3 ) 4. 3 Solution reformulation: Behavior abstraction for explanation In [ 14 ] , Mallory et al. propose to summarize the results of the qualitative simulation of a physical system in order to help users recognize basic patterns of behavior. Their goal is to support human understanding of the solution space. This reformulation is a typical instance of solution ....

Richard S. Mallory, Bruce W. Porter, and Benjamin J. Kuipers. Comprehending Complex Behavior Graphs through Abstractions. In Tenth International Workshop on Qualitative Physics. AAAI Technical Report WS-96-01, pages 137--146, Fallen Leaf Lake, CA, 1996.

....(see figure 3) Variable focus has been available as part of the QSIM distribution for a couple of years although it has recently been extended to include some of the functionality described above. It is similar in concept to a technique recently developed by Mallory (Mallory, Porter, and Kuipers 1996) to abstract envisionment graphs. Variable focus, however, is designed to work with a behavior tree and thus must handle the introduction of landmarks. Event Analysis Event analysis assists a modeler in determining why a branch occurs within the behavioral description by identifying the ....

R.S. Mallory, B.W. Porter and B.J. Kuipers. Comprehending Complex Behavior Graphs through Abstraction. In 10th International Workshop on Qualitative Reasoning about physical systems, pages 137--146, Fallen Leaf Lake, California, 1996.

....regions can bc sccn as places, wc have not added a new sort regions to the SSH Similar problem occurs when a QSIM behavior graph has many states. A way to simplify these behaviors graphs is to abstract together adjacent states that, by according to a user s criteria, need not be distinguished [Mallory et al. 1996]. 2Further uses of regions can be found in section A.3, page 209 (hierarchical plan execution) 113 topological level ontology. We use the predicate 3 in region (p, r) to denote that place p is in region r. Recall that the sort of places contains the subsorts of topological paths and ....

R. Mallory, B. Porter, and B. Kuipers. Comprehending complex be- havior graphs through abstraction. In Working papers of the tenth international workshop on qualitative reasoning about physical systems (QR-96). AAAI press, 1996.

....regions can be seen as places, we have not added a new sort regions to the SSH Similar problem occurs when a QSIM behavior graph has many states. A way to simplify these behaviors graphs is to abstract together adjacent states that, by according to a user s criteria, need not be distinguished [Mallory et al. 1996] . Further uses of regions can be found in section A.3, page 209 (hierarchical plan execution) 113 topological level ontology. We use the predicate in region#p; r# to denote that place pisinregion r. Recall that the sort of places contains the subsorts of topological paths and regions. In ....

R. Mallory, B. Porter, and B. Kuipers. Comprehending complex behavior graphs through abstraction. In Working papers of the tenth international workshop on qualitative reasoning about physical systems (QR-96). AAAI press, 1996.

No context found.

Mallory, R. S., & Porter, B. W., & Kuipers, B. J. (1996). Comprehending complex behavior graphs through abstraction. In Iwasaki, Y., and Farquhar, A., eds., Proceedings of the Tenth International Workshop on Qualitative Reasoning, 137--146. Menlo Park, CA, USA: AAAI Press.

No context found.

Mallory, R. S.; Porter, B. W.; and Kuipers, B. J. 1996. Comprehending complex behavior graphs through abstraction. In Iwasaki, Y., and Farquhar, A., eds., Proceedings of the Tenth International Workshop on Qualitative Reasoning, 137--146. Menlo Park, CA, USA: American Association for Artificial Intelligence Press. AAAI Technical Report WS-96-01.

No context found.

Mallory, R. S., & Porter, B. W., & Kuipers, B. J. (1996). Comprehending complex behavior graphs through abstraction. In Iwasaki, Y., and Farquhar, A., eds., Proceedings of the Tenth International Workshop on Qualitative Reasoning, pp. 137--146. Menlo Park, CA, USA: AAAI Press.

No context found.

R.S. Mallory, B.W. Porter, B.J. Kuipers, Comprehending complex behavior graphs through abstraction, in: Y. Iwasaki, A. Farquhar (Eds.), Proc. 10th International Workshop on Qualitative Reasoning, AAAI Press, Menlo Park, CA, 1996, pp. 137--146. AAAI Technical Report WS-96-01.

Online articles have much greater impact   More about CiteSeer.IST   Add search form to your site   Submit documents   Feedback  

CiteSeer.IST - Copyright Penn State and NEC