Hong Kong law enforcement authorities have access to artificial intelligence software that can match faces from video footage to police databases, but people familiar with the matter say it is unclear if the technology is being used to quell the pro-democracy protests.