We have been fortunate that the capacity and speed for compuers has increased so quickly over the last decade. Many reearch groups around the world have been able to make new, stronger implementations and to solve new problems. Many limitations still exist, however, and as a field we must decide on the designs and objectives for the next period of work. Should we give more attention to user interface? Should we make better connections to computer algebra? Should we make strong efforts to construct large-scale knowledge basses? Should we investigate non-standard or non-classical logics? Should we be concerned with pedagogical applications? where should we look for other applications? All of these question--and others--need to be answered, and a survey of possibilities will be presented.
展开▼