Formality in AAC would be user dependent too. Like buttons to hide or add when customizing, but people will joke with the wrong formality level or put people in their place with specific forms. Some families use the formalities/others don’t. It is more intensive to basically make 4 of the same page, but may capture language use better. Depending on the language!
In a list of Korean core words by Shin& Hill 2016, there are at least 2 politeness levels.