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.

The Landscape of Differences: Contact and Segregation in the Everyday Encounters

The article examines everyday life in Northern Ireland’s segregated communities and focus on a neglected empirical dimension of ethnic and social segregation developed within the socio-spatial relations between people and their built environment. It shows how the everyday urban encounters are reproduced through negotiating differences and the ways in which living in divided communities lead to social inequality and imbalanced use of space. The article employed qualitative research methods with individuals and community groups from the Fountain estate, a small Protestant enclave in Derry/Londonderry. Their stories were replete with cases of injustice and insights into the daily struggles that have generally occurred within theories of contact and social segregation as a whole. In fact, people in the Fountain presented their own intertextual references on what was more significant for them as a matter of routine survival and belonging, which allowed them to be more constructive about themselves. While segregation has persisted for multiple decades; time is believed to be the factor most likely to change it, as it is hoped that the younger generation will provide lasting change to Northern Ireland and eventual peace between currently segregated communities.

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.

Harmful transgressions qua moral transgressions: A deflationary view

One important issue in moral psychology concerns the proper characterization of the folk understanding of the relationship between harmful transgressions and moral transgressions. Psychologist Elliot Turiel and associates have claimed with a broad range of supporting evidence that harmful transgressions are understood as transgressions that are authority independent and general in scope, which, according to them, characterizes these transgressions as moral transgressions. Recently, many researchers questioned the position advocated by the Turiel tradition with some new evidence. We entered this debate proposing an original, deflationary view in which perceptions of basic-rights violation and injustice are fundamental for the folk understanding of harmful transgressions as moral transgressions in Turiel’s sense. In this article, we elaborate and refine our deflationary view, while reviewing the debate, addressing various criticisms raised against our perspective, showing how our perspective explains the existent evidence, and suggesting new lines of inquiry.

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.

Probabilistic Planning in AgentSpeak using the POMDP framework.

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.

Young People’s Offending Careers and Criminal Justice Contact: A Case for Social Justice

This article draws on an analysis of young people’s offending careers. The research was initiated against a backdrop of changing discourse around youth justice in Ireland with a shift towards prevention of offending and diversion from the criminal justice system. Locating crime and criminal justice contact within a biographical context indicated that participants’ offending, and lives generally, was bound up in marginalized transitions to adulthood, and embedded within social and economic environments characterized by high deprivation. The findings support a further shift in focus towards addressing social injustice as a necessary prerequisite to tackle the origins of youth offending.

Semantics for possibilistic answer set programs: uncertain rules versus rules with uncertain conclusions

Although Answer Set Programming (ASP) is a powerful framework for declarative problem solving, it cannot in an intuitive way handle situations in which some rules are uncertain, or in which it is more important to satisfy some constraints than others. Possibilistic ASP (PASP) is a natural extension of ASP in which certainty weights are associated with each rule. In this paper we contrast two different views on interpreting the weights attached to rules. Under the first view, weights reflect the certainty with which we can conclude the head of a rule when its body is satisfied. Under the second view, weights reflect the certainty that a given rule restricts the considered epistemic states of an agent in a valid way, i.e. it is the certainty that the rule itself is correct. The first view gives rise to a set of weighted answer sets, whereas the second view gives rise to a weighted set of classical answer sets.

Weak and strong disjunction in possibilistic ASP

Possibilistic answer set programming (PASP) unites answer set programming (ASP) and possibilistic logic (PL) by associating certainty values with rules. The resulting framework allows to combine both non-monotonic reasoning and reasoning under uncertainty in a single framework. While PASP has been well-studied for possibilistic definite and possibilistic normal programs, we argue that the current semantics of possibilistic disjunctive programs are not entirely satisfactory. The problem is twofold. First, the treatment of negation-as-failure in existing approaches follows an all-or-nothing scheme that is hard to match with the graded notion of proof underlying PASP. Second, we advocate that the notion of disjunction can be interpreted in several ways. In particular, in addition to the view of ordinary ASP where disjunctions are used to induce a non-deterministic choice, the possibilistic setting naturally leads to a more epistemic view of disjunction. In this paper, we propose a semantics for possibilistic disjunctive programs, discussing both views on disjunction. Extending our earlier work, we interpret such programs as sets of constraints on possibility distributions, whose least specific solutions correspond to answer sets.

Establishing the ‘Truth’ of the Matter: Confessional Reflexivity as Introspection and Avowal

The conceptualisation of reflexivity commonly found in social anthropology deploys the term as if it were both a ‘virtuous’ mechanism of self‐reflection and an ethical technique of truth telling, with reflexivity frequently deployed as an moral practice of introspection and avowal. Further, because reflexivity is used as a methodology for constructing the authority of ethnographic accounts, reflexivity in anthropology has come to closely resemble Foucault’s descriptions of confession. By discussing Lynch’s (2000) critical analysis of reflexivity as an ‘academic virtue’, I consider his argument through the lens of my own concept of ‘confessional reflexivity’. While supporting Lynch’s diagnosis of the ‘problem of reflexivity’, I attempt to critique his ethnomethodological cure as essentialist, I conclude that a way forward might be found by blending Foucault’s (1976, 1993) theory of confession with Bourdieu’s (1992) theory of ‘epistemic reflexivity’.

In my ‘Mind’s Eye’: introspectionism, detectivism, and the basis of authoritative self-knowledge

It is widely accepted that knowledge of certain of one’s own mental states is authoritative in being epistemically more secure than knowledge of the mental states of others, and theories of self-knowledge have largely appealed to one or the other of two sources to explain this special epistemic status. The first, ‘detectivist’, position, appeals to an inner perception-like basis, whereas the second, ‘constitutivist’, one, appeals to the view that the special security awarded to certain self-knowledge is a conceptual matter. I argue that there is a fundamental class of cases of authoritative self-knowledge, ones in which subjects are consciously thinking about their current, conscious intentional states, that is best accounted for in terms of a theory that is,
broadly speaking, introspectionist and detectivist. The position developed has an intuitive plausibility that has inspired many who work in the Cartesian tradition, and the potential to yield a single treatment of the basis of authoritative self-knowledge for both intentional states and sensation states.

Expecting Too Much: European Union’s Minority Protection Hide-and-Seek

EU’s deference to the Member State approaches in minority protection can intensify the oppression of
the vulnerable groups, its insistence on non-discrimination on the basis of nationality in the minority regions with special rights in place can equally produce injustice. Its inability to protect EU-wide minorities, like the Roma, is equally problematic. Although a ‘value’, minority protection functions incoherently, if at all. It is time to approach the EU as a highly specific minority protection arena not to be confused with its component parts – the Member States. The reform of the Member State-centred thinking should start at the level of approaching the core issues. It should include the assessment of such questions as what is a minority in the EU’s context of a missing majority, what is the appropriate depth of EU’s intervention in the area of minority protection, i.e. how much room for manœuvre should reasonably be left with the Member States without disrupting the effectiveness of EU’s regulation, as well as the approach to defining what a success in minority protection should be, in the
EU context. The latter should be done, in particular, with due regard to the division of competences between the EU and the Member States in this and other relevant fields. This paper briefly explores a series of diverse casestudies – from migrant EU citizens, Baltic Russians, and sexual minorities to, most importantly, Roma rights to make the first attempt to test the proposed synergetic approach.

In My 'Mind's Eye': Introspectionism, Detectivism, and the Basis of Authoritative Self-Knowledge

It is widely accepted that knowledge of certain of one’s own mental states is authoritative in being epistemically more secure than knowledge of the mental states of others, and theories of self-knowledge have largely appealed to one or the other of two sources to explain this special epistemic status. The first, ‘detectivist’, position, appeals to an inner perception-like basis, whereas the second, ‘constitutivist’, one, appeals to the view that the special security awarded to certain self-knowledge is a conceptual matter. I argue that there is a fundamental class of cases of authoritative self-knowledge, ones in which subjects are consciously thinking about their current, conscious intentional states, that is best accounted for in terms of a theory that is, broadly speaking, introspectionist and detectivist. The position developed has an intuitive plausibility that has inspired many who work in the Cartesian tradition, and the potential to yield a single treatment of the basis of authoritative self-knowledge for both intentional states and sensation states.

Content and discontent: a qualitative exploration of obstacles to elearning engagement in medical students

BACKGROUND: Elearning is ubiquitous in healthcare professions education. Its equivalence to 'traditional' educational delivery methods is well established. There is a research imperative to clarify when and how to use elearning most effectively to mitigate the potential of it becoming merely a 'disruptive technology.' Research has begun to broadly identify challenges encountered by elearning users. In this study, we explore in depth the perceived obstacles to elearning engagement amongst medical students. Sensitising concepts of achievement emotions and the cognitive demands of multi-tasking highlight why students' deeply emotional responses to elearning may be so important in their learning.

METHODS: This study used focus groups as a data collection tool. A purposeful sample of 31 participated. Iterative data gathering and analysis phases employed a constant comparative approach to generate themes firmly grounded in participant experience.

RESULTS: Key themes that emerged from the data included a sense of injustice, passivity and a feeling of being 'lost at sea'. The actual content of the elearning resource provided important context.

CONCLUSIONS: The identified themes have strong emotional foundations. These responses, interpreted through the lens of achievement emotions, have not previously been described. Appreciation of their importance is of benefit to educators involved in curriculum development or delivery.