Computer aided instruction of special relativity

Abstract

This thesis creates an small expert system that is based on Einstein's special relativity. The basic knowledge of special relativity and the bases for building an expert system are described. The concepts of special relativity are put into a knowledge base by changing the formulas into rules and facts. The Prolog language was used to develop the expert system. New information can be input that does not contradict the rules and facts already in the database. The system also uses computer graphics to demonstrate the physical concepts of relativity. By using this expert system, one can teach the basic knowledge of special relativity and solve some problems related to frames of reference moving with high speed.