A错B对正确AARIZ译为发明问题解决程序，是由阿奇舒勒于年提出