An Action Language Based on Causal Explanation: Preliminary Report
نویسندگان
چکیده
Action languages serve for describing changes that are caused by performing actions. We define a new action language g, based on the theory of causal explanation proposed recently by McCain and Turner, and illustrate its expressive power by applying it to a number of examples. The mathematical results presented in the paper relate C to the Baral--Gelfond theory of concurrent actions.
منابع مشابه
An Action Language Based on Causal Explanation : Preliminary
Action languages serve for describing changes that are caused by performing actions. We deene a new action language C, based on the theory of causal explanation proposed recently by McCain and Turner, and illustrate its expressive power by applying it to a number of examples. The mathematical results presented in the paper relate C to the Baral|Gelfond theory of concurrent actions.
متن کاملBringing Action Language C+ to Normative Contexts: Preliminary Report
C+ is an action language for specifying and reasoning about the effects of actions and the persistence of facts over time. Based on it we present CN+, an operational enhanced form of C+ designed for representing complex normative systems and integrate them easily into the semantics of the causal theory of actions. The proposed system contains a particular formalization of norms using a life-cyc...
متن کاملSecond Year Progress Report
This progress report is about equation-based modelling languages. In particular, the report discusses work [4] on formalising semantic aspects of Functional Hybrid Modelling (FHM) [12] – a hybrid, structurally dynamic, non-causal modelling language – in the dependently-typed programming language Agda [13]. Section 2 gives a preliminary outline of equation-based languages and FHM. Section 3 give...
متن کاملAn Explanation of the Teacher’s Personal Constructs: The Effects of the English Language Instructors’ Majors on their Orientations toward Teaching Reading Comprehension
This study seeks to examine how teachers’ educational background (those who have educated in TEFL in comparison to those who have educated in Literature) may influence their beliefs and attitudes on language learning, teaching and the teaching methods they apply in their classes. On a general basis, depending on teachers’ opinion, learning process might be seen as behavioristic, inductive, inte...
متن کاملCausal explanation of children's social skills based on family social capital according to the mediating role of parents' moral character
The aim of this study was to predict children's social skills based on family social capital according to the mediating role of parents' moral character. The study population included all parents of elementary school students in Yazd who were studying in the academic year 2019-2020. The sample size was 400 parents who were selected by cluster (multi-stage) random sampling method and ...
متن کامل