What problems does Kas solve in artificial intelligence?