Institute for Systems Research

Permanent URI for this communityhttp://hdl.handle.net/1903/4375

Browse

Author: search.filters.author.Vossen, Thomas

Search Results

Now showing 1 - 2 of 2
  • Thumbnail Image
    Item
    Collaborative Decision Making in Air Traffic Management: Current and Future Research Directions
    (2000) Ball, Michael O.; Hoffman, Robert L.; Chen, Chien-Yu; Vossen, Thomas; ISR; NEXTOR
    Collaborative Decision Making (CDM) embodies a new philosophy for managing air traffic. The initial implementation of CDM in the US has been aimed at Ground Delay Program Enhancements (GDP-E). However, the underlying concepts of CDM have the potential for much broader applicability.

    This paper reviews on-going and proposed CDM research streams. The topic areas discussed include: ground delay program enhancements; collaborative routing; performance monitoring and analysis; collaborative resource allocation mechanisms; game theory models for analyzing CDM procedures and information exchange; collaborative information collection and distribution.

  • Thumbnail Image
    Item
    On the Use of Integer Programming Models in AI Planning
    (1999) Vossen, Thomas; Ball, Michael O.; Lotem, Amnon; Nau, Dana; ISR
    Recent research has shown the promise of using propositional reasoning and search to solve AI planning problems. In this paper, we further explore this area by applying Integer Programming to solve AI planning problems. The application of Integer Programming to AI planning has a potentially significant advantage, as it allows quite naturally for the incorporation of numerical constraints and objectives into the planning domain. Moreover, the application of Integer Programming to AI planning addresses one of the challenges in propositional reasoning posed by Kautz and Selman, who conjectured that the principal technique used to solve Integer Programs---the linear programming (LP) relaxation---is not useful when applied to propositional search. We discuss various IP formulations for the class of planning problems based on the STRIPS paradigm. Our main objective is to show that a carefully chosen IP formulation significantly improves the "strength" of the LP relaxation, and that the resultant LPs are useful in solving the IP and the associated planning problems. Our results clearly show the importance of choosing the "right" representation, and more generally the promise of using Integer Programming techniques in the AI planning domain.