{"id":5751,"date":"2020-11-19T00:58:42","date_gmt":"2020-11-18T21:58:42","guid":{"rendered":"https:\/\/www.newworldai.com\/?p=5751"},"modified":"2021-07-21T00:33:49","modified_gmt":"2021-07-20T21:33:49","slug":"explainable-ai-workflow-development-verification-using-pi-calculus-thesis","status":"publish","type":"post","link":"https:\/\/www.newworldai.com\/explainable-ai-workflow-development-verification-using-pi-calculus-thesis\/","title":{"rendered":"Explainable AI in Workflow Development and Verification Using Pi-Calculus | Thesis"},"content":{"rendered":"

Artificial Intelligence (AI) has become a popular area of Computer Science (CS), both within and outside of academia. AI can reference a large variety of different topics, including Machine Learning (ML) to Knowledge Representation and Reasoning (KRR), both of which are incorporated in this dissertation research. <\/span><\/strong><\/em><\/span><\/p>\n

One of the major challenges of AI is its inexplicability. Especially in more complex systems with self-learned concepts, explaining the behavior of an AI system is typically infeasible at best. Furthermore, defining the concept of explainability in AI provides its own set of issues. As discussed in the paper by Doshi-Velez and Kim, interpretability (i.e. explainability) of AI is a difficult concept to define and implement, yet has a high value in certain use cases. One of these cases is \u201cScientific Understanding\u201d or the pursuit of knowledge [1]. This dissertation will focus on the pursuit of knowledge for the purpose of software development, particularly, for novice developers. These developers understand the application logic but are not trained in programming with complex and detailed syntax. These developers include professionals in non-CS disciplines and young students in K-12 classes. We have developed a tool called Visual IoT and Robotics Programming Language Environment (VIPLE) that can help novice developers to develop software without learning complex syntax first. The explainable AI is used in developing the auto-grader of code written in VIPLE.<\/span><\/p>\n

………….<\/span><\/p>\n

ABSTRACT<\/span><\/strong><\/span><\/p>\n

Computer science education is an increasingly vital area of study with various challenges that increase the difficulty level for new students resulting in higher attrition rates. As part of an effort to resolve this issue, a new visual programming language environment was developed for this research, the Visual IoT and Robotics Programming Language Environment (VIPLE). VIPLE is based on computational thinking and flowchart, which reduces the needs of memorization of detailed syntax in text-based programming languages. VIPLE has been used at Arizona State University (ASU)in multiple years and sections of FSE100 as well as in universities worldwide. Another major issue with teaching large programming classes is the potential lack of qualified teaching assistants to grade and offer insight to a student\u2019s programs at a level beyond output analysis.<\/span><\/p>\n

In this dissertation, I propose a novel framework for performing semantic autograding, which analyzes student programs at a semantic level to help students learn with additional and systematic help. A general autograder is not practical for general programming languages, due to the flexibility of semantics. A practical autograder is possible in VIPLE, because of its simplified syntax and restricted options of semantics. The design of this autograder is based on the concept of theorem provers. To achieve this goal, I employ a modified version of Pi-Calculus to represent VIPLE programsandHoare Logic to formalize program requirements. By building on the inference rules of Pi-Calculus and Hoare Logic, I am able to construct a theorem prover that can perform automated semantic analysis. Furthermore, building on this theorem prover enables me to develop a self-learning algorithm that can learn the conditions for a program\u2019s correctness according to a given solution program.<\/span><\/p>\n

De Luca, Gennaro. Arizona State University, ProQuest Dissertations Publishing, 2020. 27548231.<\/span><\/em><\/p>\n

\"\"<\/a><\/p>\n","protected":false},"excerpt":{"rendered":"

Artificial Intelligence (AI) has become a popular area of Computer Science (CS), both within and outside of academia. AI can reference a large variety<\/p>\n","protected":false},"author":2,"featured_media":5753,"comment_status":"open","ping_status":"closed","sticky":false,"template":"","format":"standard","meta":[],"categories":[1401],"tags":[1106,1413,1414],"yoast_head":"\nExplainable AI in Workflow Development and Verification Using Pi-Calculus | Thesis - New World : Artificial Intelligence<\/title>\n<meta name=\"description\" content=\"Artificial Intelligence (AI) has become a popular area of Computer Science (CS), both within and outside of academia. AI can reference a large variety of different topics, including Machine Learning (ML) to Knowledge Representation and Reasoning (KRR), both of which are incorporated in this dissertation research.\" \/>\n<meta name=\"robots\" content=\"index, follow, max-snippet:-1, max-image-preview:large, max-video-preview:-1\" \/>\n<link rel=\"canonical\" href=\"https:\/\/www.newworldai.com\/explainable-ai-workflow-development-verification-using-pi-calculus-thesis\/\" \/>\n<meta property=\"og:locale\" content=\"en_US\" \/>\n<meta property=\"og:type\" content=\"article\" \/>\n<meta property=\"og:title\" content=\"Explainable AI in Workflow Development and Verification Using Pi-Calculus | Thesis - New World : Artificial Intelligence\" \/>\n<meta property=\"og:description\" content=\"Artificial Intelligence (AI) has become a popular area of Computer Science (CS), both within and outside of academia. AI can reference a large variety of different topics, including Machine Learning (ML) to Knowledge Representation and Reasoning (KRR), both of which are incorporated in this dissertation research.\" \/>\n<meta property=\"og:url\" content=\"https:\/\/www.newworldai.com\/explainable-ai-workflow-development-verification-using-pi-calculus-thesis\/\" \/>\n<meta property=\"og:site_name\" content=\"New World : Artificial Intelligence\" \/>\n<meta property=\"article:publisher\" content=\"https:\/\/www.facebook.com\/groups\/952169468169594\/\" \/>\n<meta property=\"article:published_time\" content=\"2020-11-18T21:58:42+00:00\" \/>\n<meta property=\"article:modified_time\" content=\"2021-07-20T21:33:49+00:00\" \/>\n<meta property=\"og:image\" content=\"https:\/\/www.newworldai.com\/wp-content\/uploads\/Explainable-AI-in-Workforce-Development-.jpg\" \/>\n\t<meta property=\"og:image:width\" content=\"1280\" \/>\n\t<meta property=\"og:image:height\" content=\"720\" \/>\n\t<meta property=\"og:image:type\" content=\"image\/jpeg\" \/>\n<meta name=\"author\" content=\"mussem\" \/>\n<meta name=\"twitter:card\" content=\"summary_large_image\" \/>\n<meta name=\"twitter:creator\" content=\"@NewWorldAI1\" \/>\n<meta name=\"twitter:site\" content=\"@NewWorldAI1\" \/>\n<meta name=\"twitter:label1\" content=\"Written by\" \/>\n\t<meta name=\"twitter:data1\" content=\"mussem\" \/>\n\t<meta name=\"twitter:label2\" content=\"Est. reading time\" \/>\n\t<meta name=\"twitter:data2\" content=\"3 minutes\" \/>\n<script type=\"application\/ld+json\" class=\"yoast-schema-graph\">{\"@context\":\"https:\/\/schema.org\",\"@graph\":[{\"@type\":\"WebPage\",\"@id\":\"https:\/\/www.newworldai.com\/explainable-ai-workflow-development-verification-using-pi-calculus-thesis\/\",\"url\":\"https:\/\/www.newworldai.com\/explainable-ai-workflow-development-verification-using-pi-calculus-thesis\/\",\"name\":\"Explainable AI in Workflow Development and Verification Using Pi-Calculus | Thesis - New World : Artificial Intelligence\",\"isPartOf\":{\"@id\":\"https:\/\/www.newworldai.com\/#website\"},\"datePublished\":\"2020-11-18T21:58:42+00:00\",\"dateModified\":\"2021-07-20T21:33:49+00:00\",\"author\":{\"@id\":\"https:\/\/www.newworldai.com\/#\/schema\/person\/9d8dd21ba4efacdbf5a5a7700ac3ec1f\"},\"description\":\"Artificial Intelligence (AI) has become a popular area of Computer Science (CS), both within and outside of academia. AI can reference a large variety of different topics, including Machine Learning (ML) to Knowledge Representation and Reasoning (KRR), both of which are incorporated in this dissertation research.\",\"breadcrumb\":{\"@id\":\"https:\/\/www.newworldai.com\/explainable-ai-workflow-development-verification-using-pi-calculus-thesis\/#breadcrumb\"},\"inLanguage\":\"en-US\",\"potentialAction\":[{\"@type\":\"ReadAction\",\"target\":[\"https:\/\/www.newworldai.com\/explainable-ai-workflow-development-verification-using-pi-calculus-thesis\/\"]}]},{\"@type\":\"BreadcrumbList\",\"@id\":\"https:\/\/www.newworldai.com\/explainable-ai-workflow-development-verification-using-pi-calculus-thesis\/#breadcrumb\",\"itemListElement\":[{\"@type\":\"ListItem\",\"position\":1,\"name\":\"Home\",\"item\":\"https:\/\/www.newworldai.com\/\"},{\"@type\":\"ListItem\",\"position\":2,\"name\":\"Explainable AI in Workflow Development and Verification Using Pi-Calculus | Thesis\"}]},{\"@type\":\"WebSite\",\"@id\":\"https:\/\/www.newworldai.com\/#website\",\"url\":\"https:\/\/www.newworldai.com\/\",\"name\":\"New World : Artificial Intelligence\",\"description\":\"Artificial Intelligence, Deep Learning, Machine Learning, AI Lectures, AI Conferences, AI TED Talks, AI Movies, AI Books\",\"potentialAction\":[{\"@type\":\"SearchAction\",\"target\":{\"@type\":\"EntryPoint\",\"urlTemplate\":\"https:\/\/www.newworldai.com\/?s={search_term_string}\"},\"query-input\":\"required name=search_term_string\"}],\"inLanguage\":\"en-US\"},{\"@type\":\"Person\",\"@id\":\"https:\/\/www.newworldai.com\/#\/schema\/person\/9d8dd21ba4efacdbf5a5a7700ac3ec1f\",\"name\":\"mussem\",\"image\":{\"@type\":\"ImageObject\",\"inLanguage\":\"en-US\",\"@id\":\"https:\/\/www.newworldai.com\/#\/schema\/person\/image\/\",\"url\":\"https:\/\/secure.gravatar.com\/avatar\/b2359d117d746a042c3d719211039fe2?s=96&d=mm&r=g\",\"contentUrl\":\"https:\/\/secure.gravatar.com\/avatar\/b2359d117d746a042c3d719211039fe2?s=96&d=mm&r=g\",\"caption\":\"mussem\"}}]}<\/script>\n<!-- \/ Yoast SEO plugin. -->","yoast_head_json":{"title":"Explainable AI in Workflow Development and Verification Using Pi-Calculus | Thesis - New World : Artificial Intelligence","description":"Artificial Intelligence (AI) has become a popular area of Computer Science (CS), both within and outside of academia. AI can reference a large variety of different topics, including Machine Learning (ML) to Knowledge Representation and Reasoning (KRR), both of which are incorporated in this dissertation research.","robots":{"index":"index","follow":"follow","max-snippet":"max-snippet:-1","max-image-preview":"max-image-preview:large","max-video-preview":"max-video-preview:-1"},"canonical":"https:\/\/www.newworldai.com\/explainable-ai-workflow-development-verification-using-pi-calculus-thesis\/","og_locale":"en_US","og_type":"article","og_title":"Explainable AI in Workflow Development and Verification Using Pi-Calculus | Thesis - New World : Artificial Intelligence","og_description":"Artificial Intelligence (AI) has become a popular area of Computer Science (CS), both within and outside of academia. AI can reference a large variety of different topics, including Machine Learning (ML) to Knowledge Representation and Reasoning (KRR), both of which are incorporated in this dissertation research.","og_url":"https:\/\/www.newworldai.com\/explainable-ai-workflow-development-verification-using-pi-calculus-thesis\/","og_site_name":"New World : Artificial Intelligence","article_publisher":"https:\/\/www.facebook.com\/groups\/952169468169594\/","article_published_time":"2020-11-18T21:58:42+00:00","article_modified_time":"2021-07-20T21:33:49+00:00","og_image":[{"width":1280,"height":720,"url":"https:\/\/www.newworldai.com\/wp-content\/uploads\/Explainable-AI-in-Workforce-Development-.jpg","type":"image\/jpeg"}],"author":"mussem","twitter_card":"summary_large_image","twitter_creator":"@NewWorldAI1","twitter_site":"@NewWorldAI1","twitter_misc":{"Written by":"mussem","Est. reading time":"3 minutes"},"schema":{"@context":"https:\/\/schema.org","@graph":[{"@type":"WebPage","@id":"https:\/\/www.newworldai.com\/explainable-ai-workflow-development-verification-using-pi-calculus-thesis\/","url":"https:\/\/www.newworldai.com\/explainable-ai-workflow-development-verification-using-pi-calculus-thesis\/","name":"Explainable AI in Workflow Development and Verification Using Pi-Calculus | Thesis - New World : Artificial Intelligence","isPartOf":{"@id":"https:\/\/www.newworldai.com\/#website"},"datePublished":"2020-11-18T21:58:42+00:00","dateModified":"2021-07-20T21:33:49+00:00","author":{"@id":"https:\/\/www.newworldai.com\/#\/schema\/person\/9d8dd21ba4efacdbf5a5a7700ac3ec1f"},"description":"Artificial Intelligence (AI) has become a popular area of Computer Science (CS), both within and outside of academia. AI can reference a large variety of different topics, including Machine Learning (ML) to Knowledge Representation and Reasoning (KRR), both of which are incorporated in this dissertation research.","breadcrumb":{"@id":"https:\/\/www.newworldai.com\/explainable-ai-workflow-development-verification-using-pi-calculus-thesis\/#breadcrumb"},"inLanguage":"en-US","potentialAction":[{"@type":"ReadAction","target":["https:\/\/www.newworldai.com\/explainable-ai-workflow-development-verification-using-pi-calculus-thesis\/"]}]},{"@type":"BreadcrumbList","@id":"https:\/\/www.newworldai.com\/explainable-ai-workflow-development-verification-using-pi-calculus-thesis\/#breadcrumb","itemListElement":[{"@type":"ListItem","position":1,"name":"Home","item":"https:\/\/www.newworldai.com\/"},{"@type":"ListItem","position":2,"name":"Explainable AI in Workflow Development and Verification Using Pi-Calculus | Thesis"}]},{"@type":"WebSite","@id":"https:\/\/www.newworldai.com\/#website","url":"https:\/\/www.newworldai.com\/","name":"New World : Artificial Intelligence","description":"Artificial Intelligence, Deep Learning, Machine Learning, AI Lectures, AI Conferences, AI TED Talks, AI Movies, AI Books","potentialAction":[{"@type":"SearchAction","target":{"@type":"EntryPoint","urlTemplate":"https:\/\/www.newworldai.com\/?s={search_term_string}"},"query-input":"required name=search_term_string"}],"inLanguage":"en-US"},{"@type":"Person","@id":"https:\/\/www.newworldai.com\/#\/schema\/person\/9d8dd21ba4efacdbf5a5a7700ac3ec1f","name":"mussem","image":{"@type":"ImageObject","inLanguage":"en-US","@id":"https:\/\/www.newworldai.com\/#\/schema\/person\/image\/","url":"https:\/\/secure.gravatar.com\/avatar\/b2359d117d746a042c3d719211039fe2?s=96&d=mm&r=g","contentUrl":"https:\/\/secure.gravatar.com\/avatar\/b2359d117d746a042c3d719211039fe2?s=96&d=mm&r=g","caption":"mussem"}}]}},"_links":{"self":[{"href":"https:\/\/www.newworldai.com\/wp-json\/wp\/v2\/posts\/5751"}],"collection":[{"href":"https:\/\/www.newworldai.com\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/www.newworldai.com\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/www.newworldai.com\/wp-json\/wp\/v2\/users\/2"}],"replies":[{"embeddable":true,"href":"https:\/\/www.newworldai.com\/wp-json\/wp\/v2\/comments?post=5751"}],"version-history":[{"count":1,"href":"https:\/\/www.newworldai.com\/wp-json\/wp\/v2\/posts\/5751\/revisions"}],"predecessor-version":[{"id":5754,"href":"https:\/\/www.newworldai.com\/wp-json\/wp\/v2\/posts\/5751\/revisions\/5754"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/www.newworldai.com\/wp-json\/wp\/v2\/media\/5753"}],"wp:attachment":[{"href":"https:\/\/www.newworldai.com\/wp-json\/wp\/v2\/media?parent=5751"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.newworldai.com\/wp-json\/wp\/v2\/categories?post=5751"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.newworldai.com\/wp-json\/wp\/v2\/tags?post=5751"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}