Mathematical proof for God's existence
Using Set theory and second order Modal logic HERE
Theological Digital art HERE
A paper about this project HERE.
Above poster won the first prize in computer
science dept. competition of year 2003.
This project creates an artificial intelligence program that uses Case-Based Reasoning (CBR). In CBR cycle there is a state known as Adaptation for updating the knowledge-base. Simulated robot uses (Predicate, Epistemic and Modal) logics in Adaptation state to solve inconsistencies that might exist in the solutions of its STRIPS planner.
Shahin Maghsoudi ______________Assoc. Prof. Ian Watson (Supervisor)
Department of Computer Science___The University of Auckland