HOST: IEEE Computer Society and IEEE Dayton Section
INVITED SPEAKER: Dr. Ronald Hartung

“Logic and AI: A Gentle Introduction to Non-Axiomatic Reasoning Systems”
DATE: Tuesday, May 16th, 2017
TIME: 5:30-6:15 PM      Social Gathering with Refreshments and Pizza

6:15-7:00 PM      Speaker and Q&A
PLACE: Fairborn Community Library (Meeting Room) 1 E Main St, Fairborn, OH 45324
RSVP: Free but RSVP required for pizza . Please register here (we rely on accurate counts, so please register by Monday 15 May so we have enough for all):

https://events.vtools.ieee.org/m/45317

Meeting open to all.
INVITED TALK ABSTRACT: 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.
SPEAKER BIO: 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.