Formal Modeling of Connectionism using Concurrency Theory, an Approach Based on Automata and Model Checking

This paper illustrates a framework for applying formal methods techniques, which are symbolic in nature, to specifying and verifying neural networks, which are sub-symbolic in nature. The paper describes a communicating automata [Bowman & Gomez, 2006] model of neural networks. We also implement the model using timed automata [Alur & Dill, 1994] and then undertake a verification of these models using the model checker Uppaal [Pettersson, 2000] in order to evaluate the performance of learning algorithms. This paper also presents discussion of a number of broad issues concerning cognitive neuroscience and the debate as to whether symbolic processing or connectionism is a suitable representation of cognitive systems. Additionally, the issue of integrating symbolic techniques, such as formal methods, with complex neural networks is discussed. We then argue that symbolic verifications may give theoretically well-founded ways to evaluate and justify neural learning systems in the field of both theoretical research and real world applications

ADOPT: a tool for predicting adoption of agricultural innovations

A wealth of evidence exists about the adoption of new practices and technologies in agriculture but there does not appear to have been any attempt to simplify this vast body of research knowledge into a model to make quantitative predictions across a broad range of contexts. This is despite increasing demand from research, development and extension agencies for estimates of likely extent of adoption and the likely timeframes for project impacts. This paper reports on the reasoning underpinning the development of ADOPT (Adoption and Diffusion Outcome Prediction Tool). The tool has been designed to: 1) predict an innovation‘s likely peak extent of adoption and likely time for reaching that peak; 2) encourage users to consider the influence of a structured set of factors affecting adoption; and 3) engage R, D & E managers and practitioners by making adoptability knowledge and considerations more transparent and understandable. The tool is structured around four aspects of adoption: 1) characteristics of the innovation, 2) characteristics of the population, 3) actual advantage of using the innovation, and 4) learning of the actual advantage of the innovation. The conceptual framework used for developing ADOPT is described.Adoption, Diffusion, Prediction, Research and Development/Tech Change/Emerging Technologies,