Auditing the Numeracy Demands of the Middle Years Curriculum

The National Numeracy Review Report recognized that numeracy development requires an across the curriculum commitment. To explore the nature of this commitment we conducted a numeracy audit of the South Australian Middle Years curriculum, using a numeracy model that incorporates mathematical knowledge, dispositions, tools, contexts, and a critical orientation. All learning areas in the published curriculum were found to have distinctive numeracy demands. The audit should encourage teachers to promote numeracy in even richer ways in the curriculum they enact with students

Answer Set Programming Modulo `Space-Time'

We present ASP Modulo `Space-Time', a declarative representational and computational framework to perform commonsense reasoning about regions with both spatial and temporal components. Supported are capabilities for mixed qualitative-quantitative reasoning, consistency checking, and inferring compositions of space-time relations; these capabilities combine and synergise for applications in a range of AI application areas where the processing and interpretation of spatio-temporal data is crucial. The framework and resulting system is the only general KR-based method for declaratively reasoning about the dynamics of `space-time' regions as first-class objects. We present an empirical evaluation (with scalability and robustness results), and include diverse application examples involving interpretation and control tasks

Geoscience after IT: Part F. Familiarization with quantitative analysis

Numbers, measurement and calculation extend our view of the world. Statistical methods describe the properties of sets of quantitative data, and can test models (particularly the model that observed relationships arose by chance) and help us to draw conclusions. Links between spatial and quantitative methods, through coordinate geometry and matrix algebra, lead to graphical representations for visualizing and exploring relationships. Multivariate statistics tie into visualization to look at pattern among many properties