Dayton Section Invited Speaker (Logic and AI)

IEEE Computer Society and IEEE Dayton Section invite you for pizza and soda followed by an invited speaker.



  Date and Time




  • Fairborn Community Library
  • 1 East Main St
  • Fairborn, Ohio
  • United States 45324
  • Room Number: Downstairs Meeting Room

  • Registration closed


Dr. Ron Hartung

Dr. Ron Hartung


Logic and AI: A Gentle Introduction to Non-Axiomatic Reasoning

Logic has been linked to AI since the earliest days. Logic theorist (Newell and Simon) was one of the first AI programs. Expert systems were mostly built on first order logic. Prolog, one of two programming languages to arise from AI, is driven by first order calculus. Traditional logic has been extended to fuzzy logic (Zadeh). However, observations from cognitive psychology lead one to question logic as a basis for AI. Pei Wang has proposed a different approach to logic called Non-Axiomatic Reasoning System (NARS). NARS uses a different approach to truth than conventional logic systems. It has its own reasoning forms. While NARS may not be ready for prime time in AI, it is a fun and different look at logical reasoning. This presentation is a light introduction to the work of Pei Wang, how it differs from traditional logic and why it might be a more interesting approach to reasoning.


Dr. Ronald Hartung is a Senior Researcher employed by The Design Knowledge Company of Fairborn and an adjunct computer science faculty at Franklin University, Columbus Ohio. He has been a Program and Department Chair in Computer Science for Franklin University and employed by Bell Laboratories, Quest Communications and The Naval Surface Weapons Center. His work has included natural language processing, speech recognition, signal processing, digital hardware design, microprogramming, network research, and software system architecture. His primary interest in AI is artificial general intelligence (hard AI) and understanding what people really do when they think. Ron’s research includes collaboration with international colleagues in Sweden, South Korea and Poland, with over 30 published works, mostly in AI. He serves as an advisory board member and track chair for the Knowledge Engineering Systems conferences. Ron holds a Ph.D. in computer science from The Ohio State University, MSCS from Virginia Polytechnic and State University and a BSEE from The Ohio State University.


DATE:    Tuesday, May 16th, 2017


5:30-6:15 PM      Social Gathering with Refreshments and Pizza (PLEASE RSVP FOR PIZZA)

6:15-7:00 PM      Speaker and Q&A