Topic: Explainable Fuzzy Logic (XFC) Based AI: Potential, Promise & the XFC International Student Competition 2023

Prof. Kelly Cohen is the Brian H. Rowe Endowed Chair in Aerospace Engineering and is with the University of Cincinnati since 2007. Dr. Kelly Cohen's main expertise lies in the area of Artificial Intelligence (AI), Intelligent Systems, UAVs, and Optimization. He has utilized genetic fuzzy logic-based algorithms for control and decision-making applications in the area of autonomous collaborating robotics as well as predictive modeling for personalizing medical treatment. During the past seven years, he has secured grants from NSF, NIH, USAF, DHS, NASA, and Industry to develop algorithms for UAV applications as well as AI for bio-medical applications. He has over 135 peer reviewed archival publications and additionally over 190 conference papers and book chapters.

Dr. Timothy Arnett is a Senior AI Researcher and Verification Lead at Thales working in their Cincinnati, OH office. Dr. Arnett received his B.S., M.S., and Ph.D. at the University of Cincinnati where he was an NDSEG Fellow and researched Fuzzy Systems with focuses in Formal Verification, scalability, and applications in Reinforcement Learning. Dr. Arnett’s main focus at Thales includes implementation of advanced verification methods, along with other machine learning improvements, to their Genetic Fuzzy Tree toolkit which is commercially licensed software available to both internal and external customers. Dr. Arnett runs the Explainable Fuzzy Challenge, along with Javier Viana and Lynn Pickering (University of Cincinnati), and is focused on encouraging student involvement in Fuzzy, XAI, and software development.