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

0004433LIfschitz描述：该奖项是为了支持德克萨斯大学奥斯汀分校计算机科学系的弗拉基米尔·利夫希茨教授、土耳其安卡拉中东技术大学计算机工程系的Ferda努尔·阿尔帕斯兰博士和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.