US-Turkey Cooperative Research: Realistic Applications of Action Languages for Workflow Management

0004433LIfschitz描述：该奖项是为了表彰由德克萨斯大学奥斯汀分校计算机科学系Vladimir Lifschitz教授、土耳其安卡拉中东技术大学计算机工程系Ferda Nur Alpaslan博士和Ismail Hakki Totoslu博士以及土耳其安卡拉Bilkent大学计算机工程系Varol Akman博士共同发起的合作项目。这些科学家计划研究人工智能在工作流管理中的应用。动作语言是自然语言中用于讨论动作效果的部分的正式模型。因果计算器是一个软件系统，它允许用户自动规划和推理以一种称为C的富有表现力的动作语言描述的领域中的动作。科学家计划开发一种翻译工具，将工作流规范语言转换为动作语言C。这将允许工作流管理过程的自动化。他们还将设计一个C程序的图形表示工具，帮助用户可视化整个工作流程。范围：在这个项目中，合作者计划将他们的专业知识结合到一个重要的科学研究领域。这位美国科学家和他的团队的专业知识一直在设计、实现和使用因果计算器。土耳其的研究人员一直在研究工作流管理及其与动作语言的关系。来自Lifschitz博士系的两名美国研究生将参与该项目，并将与他们的外国同行一起在土耳其工作，从而在他们职业生涯的早期获得国际研究经验。该项目符合INT支持互惠互利的合作项目的标准，这些合作项目有助于为年轻科学家和研究生提供国际经验。

0004433LIfschitz Description: This award is for support of a cooperative project by Professor Vladimir Lifschitz, Department of Computer Science, the University of Texas, Austin, Texas, Drs. Ferda Nur Alpaslan and Ismail Hakki Totoslu, Computer Engineering Department, Middle East Technical University, Ankara, Turkey, and Dr. Varol Akman, Department of Computer Engineering, Bilkent University, Ankara Turkey. These scientists plan to study the application of artificial intelligence to workflow management. Action languages are formal models of parts of natural language that are used for talking about the effects of actions. The Causal Calculator is a software system that allows the user to automate planning and reasoning about actions in domains described in an expressive action language called C. The scientists plan to develop a translation tool that will translate from a workflow specification language into Action Language, C. This will allow permit the automation of the process of workflow management. They will also design a tool for the graphical representation of C programs that will help the users to visualize the entire workflow. Scope: In this project the collaborators plan to combine their expertise in an important area of scientific research. The expertise of the US scientist and his team has been in the design, implementation and use of the Causal Calculator. The Turkish researchers have been working on workflow management and its relation to action languages. Two US graduate students from Dr. Lifschitz' department will participate in the project and will work in Turkey with their foreign counterparts, thus gaining an international research experience early in their careers. The project meets INT criteria for support of cooperative projects that are mutually beneficial, and which help give international experiences to young scientists and graduate students.