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

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

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.