ITAS APortable, Interactive Transportation Scheduling Tool Using a Search Engine Generated.pdfVIP

ITAS A Portable Interactive Transp ortation Scheduling To ol Using a Search Engine Generated from Formal Sp ecications Mark H Burstein BBN Systems and Technologies Moulton St Cambridge MA Tel Fax Email bursteinbbncom Douglas R Smith Kestrel Institute Hillview Avenue Palo Alto California Tel Fax Email smithkestreledu Submitted to AI Planning Systems September Abstract In a joint project BBN and Kestrel Institute have developed a prototype of a mixed initiative scheduling system called ITAS InTheater Airlift Scheduler for the US Air Force Pacic Command The system was built in large part using the KIDS Kestrel Interactive Development System program synthesis tool In previous work for the ARPARome Laboratory Planning Initiative ARPI Kestrel has used their pr ogram transformation technology to derive extremely fast and accurate transportation schedulers from formal specications as much as several orders of magnitude faster than currently deployed systems The development process can produce highly ecient code along with a proof of the codes correctness This paper describes the current prototype ITAS system and its scheduling algorithm as a concrete example of a generated scheduling working on a real problem We out