Social impacts of upcoming one petaflop home computers. Industrial impacts of upcoming one teraflop low-cost digital signal processors. Widespread use of visual languages and symbolic mathematics. Natural language engineering, mobile devices and real-time context-sensitive automated language tutor. Joint automated reasoning, inference and manufacture.
"plethora of argumentation semantics":
Günther Charwat, Wolfgang Dvořák, Sarah A. Gaggl, Johannes P. Wallner, Stefan Woltran, Methods for solving reasoning problems in abstract argumentation – A survey, Artificial Intelligence, Volume 220, March 2015, Pages 28-63, ISSN 0004-3702, http://dx.doi.org/10.1016/j.artint.2014.11.008.
P. Besnard, A. Hunter, Elements of Argumentation, MIT Press, 2008.