RESEARCH COMPONENT OF PHD QUALIFIER EXAM BY: Venkateswaran Sheka
When: Tuesday,
May 12, 2015
11:00 AM
-
1:00 PM
Where: Science & Engineering Building, Lester W. Cory Conference Room: Room 213A
Cost: free
Description: TOPIC: CROWD LOGIC - AN ONLINE CROWDSOURCED GAME TO SOLVE
PROPOSITIONAL LOGIC PROBLEMS
LOCATION: Lester W. Cory Conference Room, Science & Engineering Building (Group II), Room 213A
ABSTRACT:
Crowdsourcing of scientific problems also known as "Citizen Science" has found numerous applications in a wide range of domains. Solving problems such as finding the structure of protein molecules and image annotation have both been successfully performed via the medium of interactive video games. This project designed and implemented an online game in which a player solves propositional logic problems disguised as puzzles. This game seeks to crowdsource automated theorem proving (ATP), which is a class of search algorithms within the field of artificial intelligence. ATP has achieved notable success in areas such as the design and verification of hardware and software as well as the discovery of mathematical theorems. A live demonstration of the game interface will be provided.
NOTE: All ECE Graduate Students are ENCOURAGED to attend.
All interested parties are invited to attend. Open to the public.
Advisor: Dr. Lance Fiondella
Committee Members: Dr. Liudong Xing, Department of Electrical & Computer Engineering and Dr. Firas Khatib, Department of Computer and Information Science
*For further information, please contact Dr. Lance Fiondella at 508.999.8596, or by via email at lfiondella@umassd.edu.
PROPOSITIONAL LOGIC PROBLEMS
LOCATION: Lester W. Cory Conference Room, Science & Engineering Building (Group II), Room 213A
ABSTRACT:
Crowdsourcing of scientific problems also known as "Citizen Science" has found numerous applications in a wide range of domains. Solving problems such as finding the structure of protein molecules and image annotation have both been successfully performed via the medium of interactive video games. This project designed and implemented an online game in which a player solves propositional logic problems disguised as puzzles. This game seeks to crowdsource automated theorem proving (ATP), which is a class of search algorithms within the field of artificial intelligence. ATP has achieved notable success in areas such as the design and verification of hardware and software as well as the discovery of mathematical theorems. A live demonstration of the game interface will be provided.
NOTE: All ECE Graduate Students are ENCOURAGED to attend.
All interested parties are invited to attend. Open to the public.
Advisor: Dr. Lance Fiondella
Committee Members: Dr. Liudong Xing, Department of Electrical & Computer Engineering and Dr. Firas Khatib, Department of Computer and Information Science
*For further information, please contact Dr. Lance Fiondella at 508.999.8596, or by via email at lfiondella@umassd.edu.
Contact:
ECE: Electrical & Computer Engineering Department 508.999.9164 http://www.umassd.edu/engineering/ece/
Topical Areas: General Public, University Community, College of Engineering, Electrical and Computer Engineering