Bellman optimality principle for the stochastic dynamic system on time scales is derived, which includes the continuous time and discrete time as special cases. At the same time, the Hamilton–Jacobi–Bellman equation on time scales is obtained. Finally, an example is employed to illustrate our main results.

This paper proposes a novel adaptive dynamic programming approach to address the optimal consensus control problem for discrete-time multiagent systems. Compared with the traditional optimal control algorithms for MASs, the proposed algorithm is designed on the basis of the event-triggered scheme which can save the communication and computation resources. First, the consensus tracking problem is transferred into the input-state stable problem. Based on this, the event-triggered condition for each agent is designed and the event-triggered ADP is presented. Second, (...) neural networks are introduced to simplify the application of the proposed algorithm. Third, the stability analysis of the MASs under the event-triggered conditions is provided and the estimate errors of the neural networks’ weights are also proved to be ultimately uniformly bounded. Finally, the simulation results demonstrate the effectiveness of the event-triggered ADP consensus control method. (shrink)

Experimentation is at the heart of scientific inquiry. In the behavioral and neural sciences, where only a limited number of observations can often be made, it is ideal to design an experiment that leads to the rapid accumulation of information about the phenomenon under study. Adaptive experimentation has the potential to accelerate scientific progress by maximizing inferential gain in such research settings. To date, most adaptive experiments have relied on myopic, one-step-ahead strategies in which the stimulus on each trial is (...) selected to maximize inference on the next trial only. A lingering question in the field has been how much additional benefit would be gained by optimizing beyond the next trial. A range of technical challenges has prevented this important question from being addressed adequately. This study applies dynamic programming, a technique applicable for such full-horizon, “global” optimization, to model-based perceptual threshold estimation, a domain that has been a major beneficiary of adaptive methods. The results provide insight into conditions that will benefit from optimizing beyond the next trial. Implications for the use of adaptive methods in cognitive science are discussed. (shrink)

This paper studies the problems of tip position regulation and vibration suppression of flexible manipulators without using the model. Because of the two-timescale characteristics of flexible manipulators, applying the existing model-free control methods may lead to ill-conditioned numerical problems. In this paper, the dynamics of a flexible manipulator is decomposed into two subsystems which are linear and controllable at different timescales by singular perturbation theory and a model-free composite controller is designed to alleviate the ill-conditioned numerical problems. To do this, (...) a model-free composite control strategy is constructed which facilitates in designing the controller in slow and fast timescales. In the slow timescale, the slow subsystem controller is designed by adaptive dynamic programming based on the measurements of the slow inputs and the position, while the vibration in the slow timescale is estimated by the least square method. In the fast timescale, the vibration is reconstructed based on the measurements of vibration and its estimate in the slow timescale, by which the fast controller is designed using ADP. Stability of the closed-loop system is proved by SP theory. Finally, simulations are given to show the feasibility and effectiveness of the proposed methods. (shrink)

Because of the mechanism complexity, coupling, and time-space characteristic of alkali-surfactant-polymer flooding, common methods are very hard to be implemented directly. In this paper, an iterative dynamic programming based on a biorthogonal spatial-temporal Wiener modeling method is developed to solve the enhanced oil recovery for ASP flooding. At first, a comprehensive mechanism model for the enhanced oil recovery of ASP flooding is introduced. Then the biorthogonal spatial-temporal Wiener model is presented to build the relation between inputs and states, (...) in which the Wiener model is expanded on a set of spatial basis functions and temporal basis functions. After inferring the necessary condition of solutions, these basis functions are determined by the snapshot method. Furthermore, a theorem is proved to identify parameters in the Wiener model. Combined with the least square estimation, all unknown parameters are determined. In addition, the ARMA model is applied to build the model between states and outputs, whose parameters are identified by recursive least squares. Thus, the whole modeling process for ASP flooding is finished. At last, the IDP algorithm is applied to solve the enhanced oil recovery problem for ASP flooding based on the identification model to obtain the optimal injection strategy. Simulations on the ASP flooding with four injection wells and nine production wells show the accuracy and effectiveness of the proposed method. (shrink)

We present a direct reduction of dynamic epistemic logic in the spirit of [4] to propositional dynamic logic (PDL) [17, 18] by program transformation. The program transformation approach associates with every update action a transformation on PDL programs. These transformations are then employed in reduction axioms for the update actions. It follows that the logic of public announcement, the logic of group announcements, the logic of secret message passing, and so on, can all be viewed as subsystems of (...) PDL. Moreover, the program transformation approach can be used to generate the appropriate reduction axioms for these logics. Our direct reduction of dynamic epistemic logic to PDL was inspired by the reduction of dynamic epistemic logic to automata PDL of [13]. Our approach shows how the detour through automata can be avoided. (shrink)

ABSTRACT Propositional dynamic logic with converse and test, is enriched with complement, intersection and relational operations of weakest prespecification and weakest postspecification. Relational deduction system for the logic is given based on its interpretation in the relational calculus. Relational interpretation of the operators ?repeat? and ?loop? is given.

Dynamic First Order Logic results from interpreting quantification over a variable v as change of valuation over the v position, conjunction as sequential composition, disjunction as non-deterministic choice, and negation as test for continuation. We present a tableau style calculus for DFOL with explicit binding, prove its soundness and completeness, and point out its relevance for programming with DFOL, for automated program analysis including loop invariant detection, and for semantics of natural language. We also extend this to an (...) infinitary calculus for DFOL with iteration and connect up with other work in dynamic logic. (shrink)

Dynamicism has provided cognitive science with important tools to understand some aspects of “how cognitive agents work” but the issue of “what makes something cognitive” has not been sufficiently addressed yet, and, we argue, the former will never be complete without the later. Behavioristic characterizations of cognitive properties are criticized in favor of an organizational approach focused on the internal dynamic relationships that constitute cognitive systems. A definition of cognition as adaptive-autonomy in the embodied and situated neurodynamic domain is (...) provided: the compensatory regulation of a web of stability dependencies between sensorimotor structures, is created and preserved during a historical/developmental process. We highlight the functional role of emotional embodiment: internal bioregulatory processes coupled to the formation and adaptive regulation of neurodynamic autonomy. Finally, we discuss a “minimally cognitive behavior program” in evolutionary simulation modelling suggesting that much is to be learned from a complementary “minimally cognitive organization program”. (shrink)

After more than 70 years of debate about the difficulties that one encounters in working out a coherent view of physical processes based on the standard formulation of quantum mechanics, there is now a widespread belief that such difficulties do not arise from philosophical prejudices but represent precise mathematical and physical challenges which call for a physical solution. As J.S. Bell appropriately stated1 “the way ahead is unromantic in that it requires mathematical work by theoretical physicists, rather than interpretations by (...) philosophers”. It is also encouraging, for those who share this position, to see that now there are explicit proposals indicating possible ways out in which the process of measurement is analysed not in terms of vague assertions or resorting to ill-defined and/or contradictory dualistic evolution processes but in terms of more fundamental physical concepts. In particular, approaches of this kind, which S. Goldstein3 has appropriately denoted as “observer-free formulations of quantum mechanics”, can be grouped in three categories: the pilot-wave theories: the decoherent histories and the spontaneous localization models. (shrink)

According to Discrete Emotion Theory, a number of emotions are distinguishable on the basis of neural, physiological, behavioral and expressive features. Critics of this view emphasize the variability and context-sensitivity of emotions. This paper discusses some of these criticisms, and argues that they do not undermine the claim that emotions are discrete. This paper also presents some works in dynamical affective science, and argues that to conceive of discrete emotions as self-organizing and softly assembled patterns of various processes accounts more (...) naturally than traditional Discrete Emotion Theory for the variability and context-sensitivity of emotions. (shrink)

The aim of this paper is to study the monotonicity properties with respect to the probability distribution of the state processes, of optimal decisions in bandit decision problems. Orderings of dynamic discrete projects are provided by extending the notion of stochastic dominance to stochastic processes.

The Ethics Program at General Dynamics was evaluated relative to its stated objectives and its implied objectives. The program was found to have met its specific objectives which require employees to follow rules and standards of conduct. The program did not apparently meet its implied objectives which would have created a more humanistic work environment for employees. This result apparently stemmed from program planners' intentions to use the hope for better working conditions as a motivation for employees to follow company (...) standards. A substantial conflict was found between the philosophical bases for ethics programs and work environment improvement programs. (shrink)

It has been known since the seventies that the formulas of modal logic are invariant for bisimulations between possible worlds models — while conversely, all bisimulation-invariant first-order formulas are modally definable. In this paper, we extend this semantic style of analysis from modal formulas to dynamic program operations. We show that the usual regular operations are safe for bisimulation, in the sense that the transition relations of their values respect any given bisimulation for their arguments. Our main result is (...) a complete syntactic characterization of all first-order definable program operations that are safe for bisimulation. This is a semantic functional completeness result for programming, which may be contrasted with the more usual analysis in terms of computational power. The 'Safety Theorem' can be modulated in several ways. We conclude with a list of variants, extensions, and further developments. (shrink)

We present a dynamic programming model which is used to investigate hypothermia as an adaptive response by small passerine birds in winter. The model predicts that there is a threshold function of reserves during the night, below which it is optimal to enter hypothermia, and above which it is optimal to rest. This threshold function decreases during the night, with a particularly sharp drop at the end of the night, representing the time and energy costs associated with returning (...) to normal body temperature. The results of the model emphasise the trade-off between energy and predation, not just between foraging options, but also between foraging during the day and entering hypothermia at night. The value of being able to use hypothermia represents not just energy savings, but also reduced predation risk due to changes in the optimal foraging strategy. Conditions which give a high value of hypothermia are short photoperiod, variable food supply, low temperatures, poor and scarce food supplies. (shrink)

Over recent years, various semantics have been proposed for dealing with updates in the setting of logic programs. The availability of different semantics naturally raises the question of which are most adequate to model updates. A systematic approach to face this question is to identify general principles against which such semantics could be evaluated. In this paper we motivate and introduce a new such principle the refined extension principle. Such principle is complied with by the stable model semantics for (single) (...) logic programs. It turns out that none of the existing semantics for logic program updates, even though generalisations of the stable model semantics, comply with this principle. For this reason, we define a refinement of the dynamic stable model semantics for Dynamic Logic Programs that complies with the principle. (shrink)

Biró, B. and I. Sain, Peano arithmetic as axiomatization of the time frame in logics of programs and in dynamic logics, Annals of Pure and Applied Logic 63 201-225. We show that one can prove the partial correctness of more programs using Peano's axioms for the time frames of three-sorted time models than using only Presburger's axioms, that is it is useful to allow multiplication of time points at program verification and in dynamic and temporal logics. We organized (...) the paper as follows: 1. Preliminaries, 2. The main result, 3. Peano arithmetic with bounded multiplication, 4. Connections with temporal logics and dynamic logics, Acknowledgements, References. (shrink)

With reference to recently proposed theoretical models accounting for reduction in terms of a unified dynamics governing all physical processes, we analyze the problem of working out a worldview accommodating our knowledge about natural phenomena. We stress the relevant conceptual differences between the considered models and standard quantum mechanics. In spite of the fact that both theories describe systems within a genuine Hilbert space framework, the peculiar features of the spontaneous reduction models limit drastically the states which are dynamically stable. (...) This fact by itself allows one to work out an interpretation of the formalism which makes it possible to give a satisfactory description of the world in terms of the values taken by an appropriately defined mass density function in ordinary configuration space. A topology based on this function and which is radically different from the one characterizing the Hilbert space is introduced, and in terms of it the idea of similarity of macroscopic situations is precisely defined. Finally, the formalism and the interpretation are shown to yield a natural criterion for establishing the psychophysical parallelism. The conclusion is that, within the considered theories and at the nonrelativistic level, one can satisfy all sensible requirements for a completely satisfactory macro-objective description of reality. (shrink)

Understanding the pattern by which complex sentences inherit the presuppositions of their parts (presupposition projection) has been a major topic in formal pragmatics since the 1970s. Heim’s classic paper “On the Projection Problem for Presuppositions” (1983) proposed a replacement of truth-conditional semantics with a dynamic semantics that treats meanings as instructions to update the common ground. Heim’s system predicts the basic pattern of presupposition projection quite accurately. The classic objection to this program (including other versions of dynamic semantics) (...) is that the treatment of binary connectives is stipulative, and other, equally natural treatments fail to make the right predictions about presupposition projection. I give a variation on Heim’s system that is designed to escape this objection. I show that the most liberal possible version of this variant is equivalent to a strong-Kleene system in terms of its definedness conditions. (shrink)

We present a logical calculus for reasoning about information flow in quantum programs. In particular we introduce a dynamic logic that is capable of dealing with quantum measurements, unitary evolutions and entanglements in compound quantum systems. We give a syntax and a relational semantics in which we abstract away from phases and probabilities. We present a sound proof system for this logic, and we show how to characterize by logical means various forms of entanglement (e.g. the Bell states) and (...) various linear operators. As an example we sketch an analysis of the teleportation protocol. (shrink)

Dynamic epistemic logic (DEL) extends purely modal epistemic logic (S5) by adding dynamic operators that change the model structure. Propositional dynamic logic (PDL) extends basic modal logic with programs that allow the de nition of complex modalities. We provide a common generalisation: a logic that is dynamic in both senses, and one that is not limited to S5 as its modal base. It also incorporates, and signi cantly generalises, all the features of existing extensions of DEL (...) such as BMS [3] and LCC [21]. Our dynamic operators work in two steps. First, they provide a multiplicity of transformations of the original model, one for each action in a purely syntactic action structure (in the style of BMS). Second, they specify how to combine these multiple copies to produce a new model. In each step, we use the generality of PDL to specify the transformations. The main technical contribution of the paper is to provide an axiomatisation of this general dynamic dynamic logic (GDDL). This is done by providing a computable translation of GDDL formulas to equivalent PDL formulas, thus reducing the logic to PDL, which is decidable. The proof involves switching between representing programs as terms and as automata. We also show that both BMS and LCC are special cases of GDDL, and that there are interesting applications that require the additional generality of GDDL, namely the modelling of private belief update. More recent extensions and variations of BMS and LCC are also discussed. (shrink)

The paper presents a logical treatment of actions based on dynamic logic. This approach makes it possible to reflect clearly the differences between static and dynamic elements of the world, a distinction which seems crucial to us for a representation of actions.Starting from propositional dynamic logic a formal system (DLA) is developed, the programs of which are used to model action types. Some special features of this system are: Basic aspects of time are incorporated in DLA as (...) far as they are needed for our purpose. Names for states and for instants are simulated by formulas. It is possible to express formally that a formula is satisfiable or valid. A special program is introduced to reflect developments which are not caused by an official agent but by external influences. (shrink)

A first-order dynamic non-commutative logic, which has no structural rules and has some program operators, is introduced as a Gentzen-type sequent calculus. Decidability, cut-elimination and completeness theorems are shown for DN or its fragments. DN is intended to represent not only program-based, resource-sensitive, ordered, sequence-based, but also hierarchical reasoning.

Brazil has occupied a central role in the access to medicines movement, especially with respect to drugs used to treat those with the human immunodeficiency virus that causes the acquired immune deficiency syndrome. Contrary to previous literature centered on the role of the domestic pharmaceutical industry, politicians seeking electoral gains, and civil society activists, I argue that the state, especially the National AIDS Program, led the struggle in contesting a corporate-driven international intellectual property regime. After reviewing the origins of Brazil’s (...) treatment policies and patent reforms, I trace the actions and relationships between the state, civil society, transnational corporations, and local industry in three instances when Brazilian officials used compulsory licenses to reduce the price of medicines. Coalition-building and “naming and shaming” tactics contributed to Brazil’s success, while changing pharmaceutical capabilities limited more aggressive actions. (shrink)

InStabilizing Dynamics Roy Weintraub provides a history of stability theory from the work of Hicks and Samuelson in the late 1930s to the Gale and Scarf counterexamples in the 1960s. Unlike his earlier work in the history of general equilibrium theory this recent contribution is not an attempt to fit the Walrasian program into the narrow framework of some particular philosophy of natural science. Rather, the theme inStabilizing Dynamicsis broadly social constructivist. Simply put, the constructivist view of science is “that (...) scientific knowledge itself is constructed socially, in communities of scientists: Knowledge is constructed, not found”. (shrink)

Dynamic predicate logic (DPL), presented in [5] as a formalism for representing anaphoric linking in natural language, can be viewed as a fragment of a well known formalism for reasoning about imperative programming [6]. An interesting difference from other forms of dynamic logic is that the distinction between formulas and programs gets dropped: DPL formulas can be viewed as programs. In this paper we show that DPL is in fact the basis of a hierarchy of formulas-as-programs languages.

This paper introduces DEMO, a Dynamic Epistemic Modelling tool. DEMO allows modelling epistemic updates, graphical display of update results, graphical display of action models, formula evaluation in epistemic models, translation of dynamic epistemic formulas to PDL formulas, and so on. The paper implements the reduction of dynamic epistemic logic [16, 2, 3, 1] to PDL given in [12]. The reduction of dynamic epistemic logic to automata PDL from [24] is also discussed and implemented. Epistemic models are (...) minimized under bisimulation, and update action models are minimized under action emulation (the appropriate structural notion for having the same update effect, cf. [13]). The paper is an exemplar of tool building for epistemic update logic. It contains the full code of an implementation in Haskell [22], in ‘literate programming’ style [23], of DEMO. (shrink)

. Interpreted dynamical systems are dynamical systems with an additional interpretation mapping by which propositional formulas are assigned to system states. The dynamics of such systems may be described in terms of qualitative laws for which a satisfaction clause is defined. We show that the systems Cand CL of nonmonotonic logic are adequate with respect to the corresponding description of the classes of interpreted ordered and interpreted hierarchical systems, respectively. Inhibition networks, artificial neural networks, logic programs, and evolutionary systems are (...) instances of such interpreted dynamical systems, and thus our results entail that each of them may be described correctly and, in a sense, even completely by qualitative laws that obey the rules of a nonmonotonic logic system. (shrink)

Modern approaches and attempts towards construction of quantum gravity theory and quantum cosmology are reconstructed in terms of Lakatos conception of scientific program and its protective belt. The positive and negative heuristic is investigated in the context of quantum cosmology in Hartle-Hawking and Vilenkin approaches. We demonstrate that while the program of quantum cosmology is empirically degenerated, it becomes heuristically progressive. We pointed out the role of Ambjorn, Loll and Jurkiewicz's hypothesis of quantum dynamical triangulation, which justifies the conception of (...) postponed rationality rather than conception of instant rationality. We argue that the field of quantum gravity may be useful for incorporating some new ideas into the conceptions of philosophy of science. (shrink)

This collection of papers consists of mostly previously published articles which develop a scientific research program designed to defend a dynamic view of reality, which is founded on the assumption of the existence of the flow of time. The vindication makes use of a metaphysical theory of the flow of time developed by the author which is based on the notion of dynamic existence. In this book, the author analyzes different aspects of the problem of the flow of (...) time and attempts to show that the reasons for the difficulty with acceptance of its reality may lie in inadequate metaphysics and a wrong approach to relations between metaphysics and physics. The papers are intended to answer such fundamental questions as: What is the origin of dynamics of the world?; What is the origin and nature of time?; What is the origin of the asymmetry (arrow) of time?; Does the flow of time really exist and what it consists in?; Is physics consistent with the existence of the flow of time?; Why don’t we have a physical theory of the flow of time?; What is the relationship between metaphysics and modern physics? The defended position is presented in many aspects—ontological, methodological, and scientific (physical). (shrink)

This paper adds temporal logic to public announcement logic (PAL) and dynamic epistemic logic (DEL). By adding a previous-time operator to PAL, we express in the language statements concerning the muddy children puzzle and sum and product. We also express a true statement that an agent’s beliefs about another agent’s knowledge flipped twice, and use a sound proof system to prove this statement. Adding a next-time operator to PAL, we provide formulas that express that belief revision does not take (...) place in PAL. We also discuss relationships between announcements and the new knowledge agents thus acquire; such relationships are related to learning and to Fitch’s paradox. We also show how inverse programs and hybrid logic each can be used to help determine whether or not an arbitrary structure represents the play of a game. We then add a past-time operator to DEL, and discuss the importance of adding yet another component to the language in order to prove completeness. (shrink)

Propositional dynamic logic (PDL) is one of the most successful variants of modal logic. To make it even more useful for applications, many extensions of PDL have been considered in the literature. A very natural and useful such extension is with negation of programs. Unfortunately, as long-known, reasoning with the resulting logic is undecidable. In this paper, we consider the extension of PDL with negation of atomic programs, only. We argue that this logic is still useful, e.g. in the (...) context of description logics, and prove that satisfiability is decidable and EXPTIME-complete using an approach based on Büchi tree automata. (shrink)

Where is logic heading today? There is a general feeling that the discipline is broadening its scope and agenda beyond classical foundational issues, and maybe even a concern that, like Stephen Leacock’s famous horseman, it is ‘riding off madly in all directions’. So, what is the resultant vector? There seem to be two broad answers in circulation today. One is logical pluralism, locating the new scope of logic in charting a wide variety of reasoning styles, often marked by non-classical structural (...) rules of inference. This is the new program that I subscribed to in my work on sub-structural logics around 1990, and it is a powerful movement today. But gradually, I have changed my mind about the crux of what logic should become. I would now say that the main issue is not variety of reasoning styles and notions of consequence, but the variety of informational tasks performed by intelligent interacting agents, of which inference is only one among many, involving observation, memory, questions and answers, dialogue, or general communication. And logical systems should deal with a wide variety of these, making information-carrying events first-class citizens in their set-up. The purpose of this brief paper is to contrast and compare the two approaches, drawing freely on some insights from earlier published papers. In particular, I will argue that logical dynamics sets itself the more ambitious diagnostic goal of explaining why substructural phenomena occur, by ‘deconstructing’ them into classical logic plus an explicit account of the relevant informational events. (shrink)

In order to present the incidence of the dynamic turn in the logic of scientific research, we begin with a section, in this article, that deals with logical games as triggers of this dynamic turn in contemporary logic, together with the program of logical dynamics of information and interaction. We briefly introduce the main characteristics of the logic favorable to independence and the game-theoretical semantics, of dialogical logic, as well as the essential elements of this program. Although from (...) any of these points of view we have a list of logical tools to deal with more clearly epistemological issues, we highlight the role of dynamic epistemic logic, to which we dedicate the following section. There follows another one in which we enter the logical studies of abduction as one of the fundamental problems of contemporary epistemology and, in a new section, in terms of the theoretical constructs of the preceding sections, we present and explain a phenomenon that emerged in the field of linguistics, the case of the discovery of the Amazonian language pirahã, which should be considered an anomaly within the framework of the Chomskian theory. (shrink)

Turkey has passed the import substitution economic model to a new model of the economy called open out since 1980. Along with the neoliberal policies implemented, the process of integration with the global economy has begun. The incomes of the religious people who cannot be excluded from the effects of this articulation also increased and their consumption behaviors has changed. On the other hand, some transport elements, especially the media, have enabled consumption codes to reach different segments. The new values (...) emerged in this process also caused transformations in individual consumption trends. In this study, the "Scale of Consumption Dynamics" (SCD) was developed in order to identify the trends of consumption of devotees and to find out how they changed. Quantitative research approach was adopted in the study and the datas were collected by face-to-face survey technique. The individuals included in our sample were selected by quota sampling. In this study, an expression pool was created as a result of literature review, expert opinion consultation, brainstorming with academicians and observations. The validity and reliability analysis of the scale was made using different statistics through the SPSS program. As a result of these steps, the dimensions of the scale consisting of 16 items and 3 dimensions are called "showy consumption", "wasteful consumption" and "religious priority consumption". Summary: The first studies on consumption history and sociology belong to Marx, Weber, Veblen and Simmel. In these studies consumption is examined as a part of production process and consumption forms were investigated as a social class aspect. Consumption phenomenon was later studied under critical approach (Frankfurt School) with Adorno, Max Horkheimer, Herbert Marcuse and Erich Fromm’s theories. Theorists at Frankfurt School study how social structure steers individuals to consumption. After the 1970’s, the meaning of consumption phenomenon has changed. There are studies by Jean Baudrillard, Mike Featherstone, George Ritzer, and Zygmunt Bauman on changing phenomenon of consumption. It is widely believed that modern consumption phenomenon was originated in the USA after the World War II. After the war Keynesian economic policies and Fordist consumption forms later influenced other Western nations. After 1950’s and 1960’s mass consumption was initiated in the USA and except very poor sections of the nations, other social classes, it started to spread out in Europe, the USA, and other countries. In 1970’s and 1980’s, it has merged with individuals’ identity definitions. After 1980’s in Turkey a new economic policy instead of import substitution was adopted. In application along with neo liberal policies, Turkey started to integrate to the rest of the World. Religious people as well influenced these changes and their incomes have increased along with their consumption habits. In addition to media, some other forms of communication channels have carried new consumption habits to other sections of the society. With the increased effects of mass communication media, new social sections have emerged and their cultural characteristics have become the norms of the whole society. A new values created in this process also transformed the consumption habits. In this article, in order to assess consumption habits of religious people as it is now and to understand which direction these habits evolve, Consumption Dynamics Scale (CDS) has been developed. Scales are widely used when a researcher tries to identify and measure respondents’ feelings and ideas on a subject matter. There are different scales used in social sciences such as Thurstone, Likert, Guttman, and Bogardus that are among the most widely used ones. A Likert Type scale has been used in this study. In the first phase of the study and pilot study 5 point Likert scale and in the second phase of the study 10 point Likert scales was used to collect the data. We could not come across with any study in the literature on investigating consumption characteristics Dynamics of individuals with a formal religious education. In the study, quantitative research method has been adopted and the research data has been collected with face to face administration of the survey instrument. The scale development phase lasted about 6 months from August, 2016. Based on 3% error rate, we determined to sufficient sample size as 516, yet we reached 600 individuals and end up with 563 usable responses. Sample has been determined with quota sampling methodology. We formed a pool of statements based on literature review, expert opinion, brain storming with academicians. 49 questions have been selected from the question pool where 93 questions were found, then they are merged, some questions are changed or totally eliminated and final 30 questioned questionnaires made ready for pilot study. Two pilot studies have been carried out. In the first pilot study, 47 people are reached and 30 questions with Likert scales have been administered. In the second phase of the study, 10 point Likert scales with 57 questions has been given to 54 individuals. After pilot studies, data was analyzed with SPSS 20 version and 32 questioned final survey instrument has been formed. In order to check sufficiency of data set for Factor Analysis Kaisser-Meyer-Olkin (KMO) test and the relationships among variables Bartlett test were used. Sample composed of 563 responses revealed significant results (3358,808, p=0,000) and KMO test revealed (KMO=0,812) value. After expletory factor analysis, factor loading less than 0,40 were deleted from the scale. Hence the final structure is composed of 29 questions with 8 different factors. The reliability of scales were calculated with Cronbach Alfa analysis separately for each dimension. After reliability analysis, items with 0,60 and less reliability score were taken out from the scales. Finally 16 items were made up 3 dimensions namely “ostentatious consumption”, “wasteful consumption”, and “religious priority consumption”. The items in Factor 1 are related with luxury, fashion and statue, in Factor 2 desire to make more shopping, purchase without need, advertisement and showcase, and factor 3 religious sensitive reference focus and religion first purchasing are decided as appropriate names. Based on the analysis, measurement was decided valid and sound. Therefore, this study is believed to contribute significantly to the existing literature. (shrink)

We construct logical languages which allow one to represent a variety of possible types of changes affecting the information states of agents in a multi-agent setting. We formalize these changes by defining a notion of epistemic program. The languages are two-sorted sets that contain not only sentences but also actions or programs. This is as in dynamic logic, and indeed our languages are not significantly more complicated than dynamic logics. But the semantics is more complicated. In general, the (...) semantics of an epistemic program is what we call aprogram model. This is a Kripke model of ‘actions’,representing the agents' uncertainty about the current action in a similar way that Kripke models of ‘states’ are commonly used in epistemic logic to represent the agents' uncertainty about the current state of the system. Program models induce changes affecting agents' information, which we represent as changes of the state model, called epistemic updates. Formally, an update consists of two operations: the first is called the update map, and it takes every state model to another state model, called the updated model; the second gives, for each input state model, a transition relation between the states of that model and the states of the updated model. Each variety of epistemic actions, such as public announcements or completely private announcements to groups, gives what we call an action signature, and then each family of action signatures gives a logical language. The construction of these languages is the main topic of this paper. We also mention the systems that capture the valid sentences of our logics. But we defer to a separate paper the completeness proof. (shrink)

1. Reasoning about action and change, or more generally reasoning about dynamic systems, is not only central to knowledge representation and reasoning but at the heart of computer science (Fisher e...

This paper describes PluriVox, a user-friendly program aimed to improve group process and dynamics and to promote the health of undeserved population. PluriVox is grounded in psychoeducation, and it can be used in public health efforts to encourage service consumers (“patients”) to become more active in realizing their own health-related needs through participation in health promotion groups. We suggest PluriVox as a strategy to help service providers (e.g., physicians, nurses, community health workers) and consumers to work as co-producers of health. (...) PluriVox contains five competencies to help group facilitators: (1) observation protocol; (2) strategies to support group facilitation; and (3) group facilitator training. Training uses participatory methods that take only 15 hours. Herein we provide a description of how PluriVox was developed using group work theories. A preliminary evaluation suggests that PluriVox has potential to improve health professionals' capacity to facilitate health promotion groups in a Unified Health System. (shrink)

To adequately deal with unpredictable and dynamic environments, normative frameworks typically deployed in mechanisms for modifying the norms at runtime are crucial. We present the syntax and operational semantics of programming constructs to facilitate runtime norm modification, allowing a programmer to specify when and how the norms may be changed by external agents or by the normative mechanism. The norms take on the form of conditional obligations and prohibitions, instantiating obligations and prohibitions. We present rule-based constructs for runtime (...) modification of the norms and their instances, and a mechanism for automatically updating the instances when their underlying norms change. Moreover, we investigate a mechanism for avoiding norm conflicts. (shrink)