Science of Artificial Intelligence – Basic and Applied Research for the Naval Domain