Guest Editorial. Special Issue: Temporal logic in engineering

Logic-based models are thriving within artificial intelligence. A great number of new logics have been defined, and their theory investigated. Epistemic logics introduce modal operators for knowledge or belief; deontic logics are about norms, and introduce operators of deontic necessity and possibility (i.e., obligation or prohibition). And then we have a much investigated class—temporal logics—to whose application to engineering this special issue is devoted. This kind of formalism deserves increased widespread recognition and application in engineering, a domain where other kinds of temporal models (e.g., Petri nets) are by now a fairly standard part of the modelling toolbox.

Adaptation of a questionnaire to assess the epistemological beliefs of mathematics in secondary school teachers

The objective of the study is to determine the psychometric properties of the Epistemological Beliefs Questionnaire on Mathematics. 171 Secondary School Mathematics Teachers of the Central Region of Cuba participated. The results show acceptable internal consistency. The factorial structure of the scale revealed three major factors, consistent with the Model of the Three Constructs: beliefs about knowledge, about learning and teaching. Irregular levels in the development of the epistemological belief system about mathematics of these teachers were shown, with a tendency among naivety and sophistication poles. In conclusion, the questionnaire is useful for evaluating teacher’s beliefs about mathematics.

Placing political economy: organising opposition to free trade before the abolition of the Corn Laws

The unfurling of global capitalism – and its attendant effects – has long been fertile intellectual terrain for geographers. But whilst studies of the processes and mechanisms of globalisation undoubtedly assume a talismanic importance in the discipline, geographers, with few exceptions, have left examinations of early economic liberalism to historians. One such critically important episode in the evolution of the liberal economic project was the repeal of the so-called 'Corn Laws' in 1846. Whilst the precise impact of the Manchester-based Anti-Corn Law League (ACLL) continues to be a matter of conjecture, Eric Sheppard has asserted that their particular take on political economy managed to assume a 'truth-like status' and worldwide universality. But the ACLL's campaign represents only one, albeit decisive, stage in the long intellectual and practical struggle between 'protectionists' and the disciples of free trade. Studies of the non-'Manchester' components have tended to focus squarely upon national politics. This paper examines a pivotal attempt in 1838 by Lord Melbourne's Government to experiment with the effective elimination of import duties on fresh fruit. Unlike most agricultural commodities, table fruit was produced in a tightly defined area, thus allowing the Government's experiment to play out, in theory, without national political fallout. Whilst the Government's clandestine actions left little time for a concerted opposition to develop, Kentish fruit growers soon organised. A formidable lobby was forged that drew wide local support yet also evolved beyond the original 'epistemic community'. Whilst the coalition failed in their efforts to reintroduce protective duties, their actions allow us to see how protectionist ideologies and policies were vivified through practices at many different spatial scales and to better understand the complex spatiality of protectionist takes on political economy. Their campaign also changed – at least in the short term – the course of British mercantile policy.

Paul Karl Feyerabend Las proyecciones de la proliferación teórica en la relación ciencia-metafísica

La doctrina de la Proliferación teórica de Paul Karl Feyerabend ha sido interpretada por sus especialistas como un intento de salvaguardar el ideal del progreso científico. Aunque tales estudios hacen justicia, en parte, a la intencionalidad de nuestro filósofo no explicitan la crítica fundamental que implica para Feyerabend el pluralismo teórico. La proliferación teórica constituye en sí misma una reductio ad absurdum de los distintos intentos del positivismo lógico y del racionalismo crítico por definir la ciencia a expensas de lo metafísico. Este artículo presenta la proliferación teórica como una reivindicación del papel positivo que ocupa la metafísica en el quehacer científico. Se consigna la defensa que hace Feyerabend de la metafísica en cuanto que ésta constituye la posibilidad de superar el conservadurismo conceptual, aumentar de contenido empírico de la ciencia y recuperar el valor descriptivo de las teorías científicas.

A framework for managing uncertain inputs: An axiomization of rewarding

The success postulate in belief revision ensures that new evidence (input) is always trusted. However, admitting uncertain input has been questioned by many researchers. Darwiche and Pearl argued that strengths of evidence should be introduced to determine the outcome of belief change, and provided a preliminary definition towards this thought. In this paper, we start with Darwiche and Pearl’s idea aiming to develop a framework that can capture the influence of the strengths of inputs with some rational assumptions. To achieve this, we first define epistemic states to represent beliefs attached with strength, and then present a set of postulates to describe the change process on epistemic states that is determined by the strengths of input and establish representation theorems to characterize these postulates. As a result, we obtain a unique rewarding operator which is proved to be a merging operator that is in line with many other works. We also investigate existing postulates on belief merging and compare them with our postulates. In addition, we show that from an epistemic state, a corresponding ordinal conditional function by Spohn can be derived and the result of combining two epistemic states is thus reduced to the result of combining two corresponding ordinal conditional functions proposed by Laverny and Lang. Furthermore, when reduced to the belief revision situation, we prove that our results induce all the Darwiche and Pearl’s postulates as well as the Recalcitrance postulate and the Independence postulate.

Reflexivity, Scientificity and the Sociology of Religion: Pierre Bourdieu in Debate

This paper explores the relevance of Pierre Bourdieu’s ‘epistemic reflexivity’ for the sociology of religion, in particular by examining his neglected address to the French Association for the Sociology of Religion in 1982. Whilst sociologists of religion have addressed some issues of reflexivity in their practice, less attention has been paid to the crucial scientific requirement, highlighted by Bourdieu, to break from the ‘illusio’ of that field and thus avoid alignments with positions taken by religious actors themselves. As a result, many sociologists inevitably participate in religious contestations and stakes, whether or not they affirm or deny their own religious identification with those they study. Although Bourdieu’s address was a response to a particular national and historical form of the sociology of religion, we argue that it retains much significance today and may lead to fruitful debate within the discipline.

Reducing Uncertainty in Aeroelastic Flutter Boundaries Using Experimental Data

Flutter prediction as currently practiced is usually deterministic, with a single structural model used to represent an aircraft. By using interval analysis to take into account structural variability, recent work has demonstrated that small changes in the structure can lead to very large changes in the altitude at which
utter occurs (Marques, Badcock, et al., J. Aircraft, 2010). In this follow-up work we examine the same phenomenon using probabilistic collocation (PC), an uncertainty quantification technique which can eficiently propagate multivariate stochastic input through a simulation code,
in this case an eigenvalue-based fluid-structure stability code. The resulting analysis predicts the consequences of an uncertain structure on incidence of
utter in probabilistic terms { information that could be useful in planning
flight-tests and assessing the risk of structural failure. The uncertainty in
utter altitude is confirmed to be substantial. Assuming that the structural uncertainty represents a epistemic uncertainty regarding the
structure, it may be reduced with the availability of additional information { for example aeroelastic response data from a flight-test. Such data is used to update the structural uncertainty using Bayes' theorem. The consequent
utter uncertainty is significantly reduced across the entire Mach number range.

'Trusting the numbers': mineral prospecting, raising finance and the governance of knowledge

Mineral prospecting and raising finance for ‘junior’ mining firms has historically been regarded as a speculative activity. For the regulators of securities markets upon which ‘junior’ mining companies seek to raise capital, a perennial problem has been handling not only the indeterminacy of scientific claims, but also the social basis of epistemic practices. This paper examines the production of a system of public warrant and associated knowledge practices intended to enable investors to differentiate between ‘destructive’ and ‘productive’ varieties of financial speculation. It traces the use of the notion of ‘disclosure’ in constructing and legitimizing the ‘juniors’ market in Canada. It argues that though the work of ‘economics’ may be necessary in the construction of markets, it is by no means sufficient. Attention must also be given to the ways in which legal models of ‘the free-market’ can be translated and constantly re-worked across the sites and spaces of regulatory practice, animating the geographies of markets.

Textbook (non-) adoption motives, legitimizing strategies and academic field configuration

Textbooks are an integral part of structured syllabus coverage in higher education. The argument advanced in this article is that textbooks are not simply products of inscription and embodied scholarly labour for pedagogical purposes, but embedded institutional artefacts that configure entire academic subject fields. Empirically, this article shows the various ways that motives of the (non-) adoption of textbooks have field institutional configuration effects. The research contribution of our study is threefold. First, we re-theorise the textbook as an artefact that is part of the institutional work and epistemic culture of academia. Second, we empirically show that the vocabularies of motive of textbook (non-) adoption and rhetorical strategies form the basis for social action and configuration across micro, meso and macro field levels. Our final contribution is a conceptualization of the ways that textbook (non-) adoption motives ascribe meaning to the legitimating processes in the configuration of whole subject fields.

'Trusting the numbers': mineral prospecting, raising finance and the governance of knowledge

Mineral prospecting and raising finance for ‘junior’ mining firms has historically been regarded as a speculative activity. For the regulators of securities markets upon which ‘junior’ mining companies seek to raise capital, a perennial problem has been handling not only the indeterminacy of scientific claims, but also the social basis of epistemic practices. This paper examines the production of a system of public warrant and associated knowledge practices intended to enable investors to differentiate between ‘destructive’ and ‘productive’ varieties of financial speculation. It traces the use of the notion of ‘disclosure’ in constructing and legitimizing the ‘juniors’ market in Canada. It argues that though the work of ‘economics’ may be necessary in the construction of markets, it is by no means sufficient. Attention must also be given to the ways in which legal models of ‘the free-market’ can be translated and constantly re-worked across the sites and spaces of regulatory practice, animating the geographies of markets.

Dialogicality in university classroom talk

University classroom talk is a collaborative struggle to make meaning. Taking the perspectival nature of interaction as central, this paper presents an investigation of the genre of spoken academic discourse and in particular the types of activities which are orientated to the goal of collaborative ideas or tasks, such as seminars, tutorials, workshops. The purpose of the investigation was to identify examples of dialogicality through an examination of stance-taking. The data used in this study is a spoken corpus of academic English created from recordings of a range of subject discipline classrooms at a UK university. A frequency-based approach to recurrent word sequences (lexical bundles) was used to identify signals of epistemic and attitudinal stance and to initiate an exploration of the features of elaboration. Findings of quantitative and qualitative analyses reveal some similarities and differences between this study and those of US based classroom contexts in relation to the use and frequency of lexical bundles. Findings also highlight the process that elaboration plays in grounding perspectives and negotiating alignment of interactants. Elaboration seems to afford the space for the enactment of student stance in relation to the tutor embodiment of discipline knowledge.

AgentSpeak+: AgentSpeak with Probabilistic Planning

AgentSpeak is a logic-based programming language, based on the Belief-Desire-Intention (BDI) paradigm, suitable for building complex agent-based systems. To limit the computational complexity, agents in AgentSpeak rely on a plan library to reduce the planning problem to the much simpler problem of plan selection. However, such a plan library is often inadequate when an agent is situated in an uncertain environment. In this paper, we propose the AgentSpeak+ framework, which extends AgentSpeak with a mechanism for probabilistic planning. The beliefs of an AgentSpeak+ agent are represented using epistemic states to allow an agent to reason about its uncertain observations and the uncertain effects of its actions. Each epistemic state consists of a POMDP, used to encode the agent’s knowledge of the environment, and its associated probability distribution (or belief state). In addition, the POMDP is used to select the optimal actions for achieving a given goal, even when facing uncertainty.

Probabilistic Inference in Credal Networks: New Complexity Results

Credal networks are graph-based statistical models whose parameters take values in a set, instead of being sharply specified as in traditional statistical models (e.g., Bayesian networks). The computational complexity of inferences on such models depends on the irrelevance/independence concept adopted. In this paper, we study inferential complexity under the concepts of epistemic irrelevance and strong independence. We show that inferences under strong independence are NP-hard even in trees with binary variables except for a single ternary one. We prove that under epistemic irrelevance the polynomial-time complexity of inferences in credal trees is not likely to extend to more general models (e.g., singly connected topologies). These results clearly distinguish networks that admit efficient inferences and those where inferences are most likely hard, and settle several open questions regarding their computational complexity. We show that these results remain valid even if we disallow the use of zero probabilities. We also show that the computation of bounds on the probability of the future state in a hidden Markov model is the same whether we assume epistemic irrelevance or strong independence, and we prove an analogous result for inference in Naive Bayes structures. These inferential equivalences are important for practitioners, as hidden Markov models and Naive Bayes networks are used in real applications of imprecise probability.

Can(Plan)+: Extending the Operational Semantics of the BDI Architecture to deal with Uncertain Information

The BDI architecture, where agents are modelled based on their beliefs, desires and intentions, provides a practical approach to develop large scale systems. However, it is not well suited to model complex Supervisory Control And Data Acquisition (SCADA) systems pervaded by uncertainty. In this paper we address this issue by extending the operational semantics of Can(Plan) into Can(Plan)+. We start by modelling the beliefs of an agent as a set of epistemic states where each state, possibly using a different representation, models part of the agent's beliefs. These epistemic states are stratified to make them commensurable and to reason about the uncertain beliefs of the agent. The syntax and semantics of a BDI agent are extended accordingly and we identify fragments with computationally efficient semantics. Finally, we examine how primitive actions are affected by uncertainty and we define an appropriate form of lookahead planning.

Revising Partial Pre-Orders with Partial Pre-Orders: A Unit-Based Revision Framework

Belief revision studies strategies about how agents revise their belief states when receiving new evidence. Both in classical belief revision and in epistemic revision, a new input is either in the form of a (weighted) propositional formula or a total
pre-order (where the total pre-order is considered as a whole).
However, in some real-world applications, a new input can be a partial pre-order where each unit that constitutes the partial pre-order is important and should be considered individually. To address this issue, in this paper, we study how a partial preorder representing the prior epistemic state can be revised by another partial pre-order (the new input) from a different perspective, where the revision is conducted recursively on the individual units of partial pre-orders. We propose different revision operators (rules), dubbed the extension, match, inner and outer revision operators, from different revision points of view. We also analyze several properties for these operators.