Representing First-Order Causal Theories by Logic Programs

Nonmonotonic causal logic, introduced by McCain and Turner (McCain, N. and Turner, H. 1997. Causal theories of action and change. In Proceedings of National Conference on Artificial Intelligence (AAAI), Stanford, CA, 460–465) became the basis for the semantics of several expressive action languages. McCain\u27s embedding of definite propositional causal theories into logic programming paved the way to the use of answer set solvers for answering queries about actions described in such languages. In this paper we extend this embedding to nondefinite theories and to the first-order causal logic

Causal Laws and Multi-Valued Fluents

This paper continues the line of work on representing properties of actions in nonmonotonic formalisms that stresses the distinction between being "true" and being "caused", as in the system of causal logic introduced by McCain and Turner and in the action language C proposed by Giunchiglia and Lifschitz. The only fluents directly representable in language C+ are truth-valued fluents, which is often inconvenient. We show that both causal logic and language C can be extended to allow values from arbitrary nonempty sets. Our extension of language C, called C+, also makes it possible to describe actions in terms of their attributes, which is important from the perspective of elaboration tolerance. We describe an embedding of C+ in causal theories with multi-valued constants, relate C+ to Pednault's action language ADL, and show how multi-valued constants can be eliminated in favor of Boolean constants.Comment: 7 pages, In Proceedings of Workshop on Nonmonotonic Reasoning, Action and Change (NRAC 2001

Transformational change in organisations: a self-regulation approach

Purpose – The purpose of the present paper is to advance a testable model, rooted on well-established control and self-regulation theory principles, explaining the causal links between change-related sensemaking, interpretation, readiness and subsequent behavioural action. Design/methodology/approach – Following a review of the two motivation theories and clarification of change-related sensemaking, interpretation, and readiness concepts, the paper proposes a series of research propositions (illustrated by a conceptual model) clarifying how these concepts interact with self-regulating mechanisms. In addition, the feedback model exemplifies how cognitive processes triggered by new knowledge structures relate to behavioural action. Findings – The model expands upon other existing frameworks by allowing the examination of multi-level factors that account for, and moderate causal links between, change-related sensemaking,interpretation, readiness, and behavioural action. Suggestions for future research and guidelines for practice are outlined. Practical implications – The variables and processes depicted in the model provide guidelines for change management in organisations, both for individuals and for groups. By eliciting important self-regulating functions, change agents will likely facilitate sensemaking processes, positive interpretations of change, change readiness, and effective change behaviours. Originality/value – This paper makes two contributions to the literature. First, it offers a comprehensive and dynamic account of the relationships between change-related sensemaking, interpretation, readiness, and behavioural action decision-making. Second, it elucidates the impact of human agency properties, namely the interplay of efficacy perceptions, social learning, and self-regulating mechanisms on these change-related cognitive processes and subsequent behavioural outcomes.info:eu-repo/semantics/publishedVersio

A discrete formalism for reasoning about action and change

This paper presents a discrete formalism for temporal reasoning about actions and change, which enjoys an explicit representation of time and action/event occurrences. The formalism allows the expression of truth values for given fluents over various times including nondecomposable points/moments and decomposable intervals. Two major problems which beset most existing interval-based theories of action and change, i.e., the so-called dividing instant problem and the intermingling problem, are absent from this new formalism. The dividing instant problem is overcome by excluding the concepts of ending points of intervals, and the intermingling problem is bypassed by means of characterising the fundamental time structure as a well-ordered discrete set of non-decomposable times (points and moments), from which decomposable intervals are constructed. A comprehensive characterisation about the relationship between the negation of fluents and the negation of involved sentences is formally provided. The formalism provides a flexible expression of temporal relationships between effects and their causal events, including delayed effects of events which remains a problematic question in most existing theories about action and change

The Ritual Stance and the Precaution System: The role of goal-demotion and opacity in ritual and everyday actions

Abstract: Rituals tend to be both causally opaque and goal-demoted, yet these two qualities are rarely dissociated in the literature. Here we manipulate both factors and demonstrate their unique influence on ritual cognition. In a 2 x 3 (Action-Type x Goal-Information) between subjects design 484 US adults viewed Causally Opaque (Ritual) or Causally Transparent (Ordinary) actions performed on identical objects. They were provided with no goal information, positive goal information (‘Blessing’) or negative goal information (‘Cursing’). Neither causal opacity nor goal information influenced perceptions of physical change/causation. In contrast, causal opacity increased attributions of ‘specialness’, whereas goal-information did not. Finally, goal-information interacted with action-type on measures of preference, such that ordinary actions are influenced by both ‘blessings’ and ‘curses’, but ritual actions are only influenced by ‘curses’. These findings are interpreted in light of the Ritual Stance, and the cognitive bases of the effects are described with reference to Boyer and Liénard’s Precaution theory of ritualized behavior. The combined value of these two theories is discussed, and extended to a causal model of developmental ritual ‘calibration’

A common framework for learning causality

[EN] Causality is a fundamental part of reasoning to model the physics of an application domain, to understand the behaviour of an agent or to identify the relationship between two entities. Causality occurs when an action is taken and may also occur when two happenings come undeniably together. The study of causal inference aims at uncovering causal dependencies among observed data and to come up with automated methods to find such dependencies. While there exist a broad range of principles and approaches involved in causal inference, in this position paper we argue that it is possible to unify different causality views under a common framework of symbolic learning.This work is supported by the Spanish MINECO project TIN2017-88476-C2-1-R. Diego Aineto is partially supported by the FPU16/03184 and Sergio Jimenez by the RYC15/18009, both programs funded by the Spanish government.Onaindia De La Rivaherrera, E.; Aineto, D.; Jiménez-Celorrio, S. (2018). A common framework for learning causality. Progress in Artificial Intelligence. 7(4):351-357. https://doi.org/10.1007/s13748-018-0151-yS35135774Aineto, D., Jiménez, S., Onaindia, E.: Learning STRIPS action models with classical planning. In: International Conference on Automated Planning and Scheduling, ICAPS-18 (2018)Amir, E., Chang, A.: Learning partially observable deterministic action models. J. Artif. Intell. Res. 33, 349–402 (2008)Asai, M., Fukunaga, A.: Classical planning in deep latent space: bridging the subsymbolic–symbolic boundary. In: National Conference on Artificial Intelligence, AAAI-18 (2018)Cresswell, S.N., McCluskey, T.L., West, M.M.: Acquiring planning domain models using LOCM. Knowl. Eng. Rev. 28(02), 195–213 (2013)Ebert-Uphoff, I.: Two applications of causal discovery in climate science. In: Workshop Case Studies of Causal Discovery with Model Search (2013)Ebert-Uphoff, I., Deng, Y.: Causal discovery from spatio-temporal data with applications to climate science. In: 13th International Conference on Machine Learning and Applications, ICMLA 2014, Detroit, MI, USA, 3–6 December 2014, pp. 606–613 (2014)Giunchiglia, E., Lee, J., Lifschitz, V., McCain, N., Turner, H.: Nonmonotonic causal theories. Artif. Intell. 153(1–2), 49–104 (2004)Halpern, J.Y., Pearl, J.: Causes and explanations: a structural-model approach. Part I: Causes. Br. J. Philos. Sci. 56(4), 843–887 (2005)Heckerman, D., Meek, C., Cooper, G.: A Bayesian approach to causal discovery. In: Jain, L.C., Holmes, D.E. (eds.) Innovations in Machine Learning. Theory and Applications, Studies in Fuzziness and Soft Computing, chapter 1, pp. 1–28. Springer, Berlin (2006)Li, J., Le, T.D., Liu, L., Liu, J., Jin, Z., Sun, B.-Y., Ma, S.: From observational studies to causal rule mining. ACM TIST 7(2), 14:1–14:27 (2016)Malinsky, D., Danks, D.: Causal discovery algorithms: a practical guide. Philos. Compass 13, e12470 (2018)McCain, N., Turner, H.: Causal theories of action and change. In: Proceedings of the Fourteenth National Conference on Artificial Intelligence and Ninth Innovative Applications of Artificial Intelligence Conference, AAAI 97, IAAI 97, 27–31 July 1997, Providence, Rhode Island, pp. 460–465 (1997)McCarthy, J.: Epistemological problems of artificial intelligence. In: Proceedings of the 5th International Joint Conference on Artificial Intelligence, Cambridge, MA, USA, 22–25 August 1977, pp. 1038–1044 (1977)McCarthy, J., Hayes, P.: Some philosophical problems from the standpoint of artificial intelligence. Mach. Intell. 4, 463–502 (1969)Pearl, J.: Reasoning with cause and effect. AI Mag. 23(1), 95–112 (2002)Pearl, J.: Causality: Models, Reasoning and Inference, 2nd edn. Cambridge University Press, Cambridge (2009)Spirtes, C.G.P., Scheines, R.: Causation, Prediction and Search, 2nd edn. The MIT Press, Cambridge (2001)Spirtes, P., Zhang, K.: Causal discovery and inference: concepts and recent methodological advances. Appl. Inform. 3, 3 (2016)Thielscher, M.: Ramification and causality. Artif. Intell. 89(1–2), 317–364 (1997)Triantafillou, S., Tsamardinos, I.: Constraint-based causal discovery from multiple interventions over overlapping variable sets. J. Mach. Learn. Res. 16, 2147–2205 (2015)Yang, Q., Kangheng, W., Jiang, Y.: Learning action models from plan examples using weighted MAX-SAT. Artif. Intell. 171(2–3), 107–143 (2007)Zhuo, H.H., Kambhampati, S: Action-model acquisition from noisy plan traces. In: International Joint Conference on Artificial Intelligence, IJCAI-13, pp. 2444–2450. AAAI Press (2013

Designing Contribution Analysis of Participatory Programming to Tackle the Worst Forms of Child Labour

This Research and Evidence Paper presents the theory-based and participatory evaluation design of the Child Labour: Action-Research- Innovation in South and South-Eastern Asia (CLARISSA) programme. The evaluation is embedded in emergent Participatory Action Research with children and other stakeholders to address the drivers of the worst forms of child labour (WFCL). The report describes the use of contribution analysis as an overarching approach, with its emphasis on crafting, nesting and iteratively reflecting on causal theories of change. It illustrates how hierarchically-nested impact pathways lead to specific evaluation questions and mixing different evaluation methods in response to these questions, critical assumptions, and agreement on causal mechanisms to be examined in depth. It also illustrates how realist evaluation can be combined with contribution analysis to deeply investigate specific causal links in the theory of change. It reflects on learning from the use of causal hotspots as a vehicle for mixing methods. It offers considerations on how to navigate relationships and operational trade-offs in making methodological choices to build robust and credible evidence on how, for whom, and under what conditions participatory programming can work to address complex problems such as child labour

Evaluation plan and recommendations - ‘Can’t Wait to be Healthy’: A briefing paper on evaluation for Leeds Childhood Obesity Prevention and Weight Management Strategy.

The rise in childhood obesity is a major public health challenge and a national priority for health action. Obesity is associated with many illnesses and is directly related to increased mortality and lower life expectancy. The Children’s Plan recognises child obesity as one of the most serious challenges for children and links it to a number of poor outcomes, physical, social and psychological (Department for Children, Schools and Families 2007). ‘Can’t wait to be healthy’- Leeds Childhood Obesity Prevention and Weight Management Strategy 2006-2016 is a comprehensive, city-wide strategy setting out actions to tackle the problem of childhood obesity for all children and young people 0-19 years. The strategy reviews the evidence around prevalence, causal factors and effective interventions. There is recognition of the complexity of the issue and the need for action on multiple levels and in different sectors, including health, education, environment and leisure services. The guiding principles are based on partnership working and local leadership, the active participation of parents, carers, children and young people, and the prioritisation of prevention and early intervention. ‘Can’t wait to be healthy’ was initiated by Leeds Primary Care Trust (PCT) and Children Leeds and its implementation is being overseen by a multi agency partnership. An initial action plan was agreed that gives an outline of proposed actions (2007-2010) grouped around strands of work. There are seven core objectives that are summarised in Box 1. A robust evaluation plan and reporting framework to measure progress and outcomes resulting from the strategy is required. This is supported by recent guidance for local areas indicating the importance of local evaluation and monitoring in tracking progress and informing commissioning (Cross Government Obesity Unit 2008a).The Centre for Health Promotion Research, Leeds Metropolitan University, was commissioned to work in collaboration with the Leeds Childhood Obesity Partnership to develop a strategic approach to evaluation. A series of workshops were held in Spring 2008 to enable stakeholders to engage with the planning process and to consider how evidence would be generated. The workshops used a ‘Theory of Change’ approach to develop understanding about how and why specific activities or combinations of activities work (Connell and Kubisch 1988). This resulted in a draft evaluation plan and recommendations for ongoing evaluation which are presented here. This briefing paper includes: • Summary of national guidance on indicators for childhood obesity • Evaluation planning process and approach • Theories of change and evaluation plans for each objective and for the overall strategy • Recommendations for evaluation of ‘Can’t wait to be healthy’ and priorities for data collectio

Causality, Human Action and Experimentation: Von Wright's Approach to Causation in Contemporary Perspective

This paper discusses von Wright's theory of causation from Explanation and Understanding and Causality and Determinism in contemporary context. I argue that there are two important common points that von Wright's view shares with the version of manipulability currently supported by Woodward: the analysis of causal relations in a system modelled on controlled experiments, and the explanation of manipulability through counterfactuals - with focus on the counterfactual account of unmanipulable causes. These points also mark von Wright's departure from previous action-based theories of causation. Owing to these two features, I argue that, upon classifying different versions of manipulability theories, von Wright's view should be placed closer to the interventionist approach than to the agency theory, where it currently stands. Furthermore, given its relevance in contemporary context, which this paper aims to establish, I claim that von Wright's theory can be employed to solve present problems connected to manipulability approaches to causation