The Fourth International Symposium on Artificial Intelligence