This paper presents an attempt to bridge the gap between logical and cognitive treatments of strategic reasoning in games. There have been extensive formal debates about the merits of the principle of backward induction among game theorists and logicians. Experimental economists and psychologists have shown that human subjects, perhaps due to their bounded resources, do not always follow the backward induction strategy, leading to unexpected outcomes. Recently, based on an eye-tracking study, it has turned out that even human subjects who (...) produce the outwardly correct ‘backward induction answer’ use a different internal reasoning strategy to achieve it. The paper presents a formal language to represent different strategies on a finer-grained level than was possible before. The language and its semantics help to precisely distinguish different cognitive reasoning strategies, that can then be tested on the basis of computational cognitive models and experiments with human subjects. The syntactic framework of the formal system provides a generic way of constructing computational cognitive models of the participants of the Marble Drop game. (shrink)

How do people reason about their opponent in turn-taking games? Often, people do not make the decisions that game theory would prescribe. We present a logic that can play a key role in understanding how people make their decisions, by delineating all plausible reasoning strategies in a systematic manner. This in turn makes it possible to construct a corresponding set of computational models in a cognitive architecture. These models can be run and fitted to the participants’ data in terms of (...) decisions, response times, and answers to questions. We validate these claims on the basis of an earlier game-theoretic experiment about the turn-taking game “Marble Drop with Surprising Opponent”, in which the opponent often starts with a seemingly irrational move. We explore two ways of segregating the participants into reasonable “player types”. The first way is based on latent class analysis, which divides the players into three classes according to their first decisions in the game: Random players, Learners, and Expected players, who make decisions consistent with forward induction. The second way is based on participants’ answers to a question about their opponent, classified according to levels of theory of mind: zero-order, first-order and second-order. It turns out that increasing levels of decisions and theory of mind both correspond to increasing success as measured by monetary awards and increasing decision times. Next, we use the logical language to express different kinds of strategies that people apply when reasoning about their opponent and making decisions in turn-taking games, as well as the ‘reasoning types’ reflected in their behavior. Then, we translate the logical formulas into computational cognitive models in the PRIMs architecture. Finally, we run two of the resulting models, corresponding to the strategy of only being interested in one’s own payoff and to the myopic strategy, in which one can only look ahead to a limited number of nodes. It turns out that the participant data fit to the own-payoff strategy, not the myopic one. The article closes the circle from experiments via logic and cognitive modelling back to predictions about new experiments. (shrink)

Then we talk about gender stereotypes in Steam education we can find in the societal mentality: „Girls don´t find STEAM interesting” „Boys are more capable for STEAM”, „Boys are oriented to achievements, girls to feelings and society”. This paper presents the results of sensitive gender workshops, to provide illustrations of stereotypes as an input for the creation of value-added content with gender awareness and continue sensitizing teachers about gender stereotypes in approach to learning that uses Science, Technology, Engineering, the Arts (...) and Mathematics in education. (shrink)

When agents know a protocol, this leads them to have expectations about future observations. Agents can update their knowledge by matching their actual observations with the expected ones. They eliminate states where they do not match. In this paper, we study how agents perceive protocols that are not commonly known, and propose a semantics-driven logical framework to reason about knowledge in such scenarios. In particular, we introduce the notion of epistemic expectation models and a propositional dynamic logic-style epistemic logic for (...) reasoning about knowledge via matching agentsÊ expectations to their observations. It is shown how epistemic expectation models can be obtained from epistemic protocols. Furthermore, a characterization is presented of the effective equivalence of epistemic protocols. We introduce a new logic that incorporates updates of protocols and that can model reasoning about knowledge and observations. Finally, the framework is extended to incorporate fact-changing actions, and a worked-out example is given. © 2013 Elsevier B.V. (shrink)

Formaldehyde is one of the potent toxic industrial chemicals that are very commonly used in various industries, labs, and biological museums, etc. The toxicity of formaldehyde is well-known. It causes respiratory distress if inhaled in higher concentration thus, causing lung damage. It is also found to be mutagenic due to its rapid reactivity being a small molecule having electrophilic carbon. The current review focuses on the characteristic properties of formaldehyde, Sources, and uses of formaldehyde. This review further brings about the (...) toxicity of formaldehyde on different organs and organ systems of the body. Its genotoxicity and carcinogenicity are described. And later the various ways of decontaminating the formaldehyde are discussed to neutralize its harmful impacts. From this review, we have concluded that formaldehyde is a highly toxic chemical that needs proper protective measures while handling and should not be directly exposed. There should be proper decontaminating agents for emergencies, where there is the mass production of formaldehyde. (shrink)

Cilj ovog rada je da razmotrimo zašto, i na koji način se Kvajn pozicionira između logičkih pozitivista i epistemoloških nihilista u pogledu shvatanja empirijskog svedočanstva. Naime, on će na nov način formulisati kriterijume opservacionalnosti s namerom da prevaziđe probleme koji su za logički pozitivizam bili nepremostivi, a da time ne žrtvuje objektivnost nauke poljuljanu krahom tradicionalnog pristupa epistemološkim pitanjima. Privučeni provokativnošću Kvajnovog istovremenog ispoljavanja radikalnih, ali i konzervativnih tendencija, odnosno namere da održi balans između stanovišta tradicionalne filozofije i epistemološkog nihilizma, (...) nastojaćemo da ispitamo koliko je Kvajn uspešan u svojoj zamisli. U zavisnosti od odgovora na to pitanje ocenićemo značaj i relevantnost kvajnovskog naturalističkog pristupa za empirističku epistemologiju. (shrink)

Tussen zijn veertigste en zijn zestigste levensjaar was Jan Hendrik van den Berg (1914) een uitermate succesvol en populair auteur. Boeken van zijn hand, zoals Metabletica (1956) en Medische macht en medische ethiek (1969), waren ongekende bestsellers. Hij was de Nederlandse vertegenwoordiger van een belangrijke Europese stroming in de filosofie: de historische fenomenologie. In de jaren zeventig raakte hij echter in conflict met zijn tijd. Terwijl de Nederlandse publieke opinie een wending naar links doormaakte, bond Van den Berg de strijd (...) aan tegen verloedering, hooliganisme en anarchisme. Dit ging ten koste van zijn populariteit, maar niet van zijn productiviteit, noch van zijn innovativiteit. Tot op de dag van vandaag werkt hij aan een indrukwekkend , panoramisch oeuvre. Hij is de belangrijkste Nederlandse filosoof sinds Bolland. -/- Deze studie wil het werk van Van den Berg reconstrueren, situeren en beoordelen. Reconstrueren door de methodische en thematische coherentie ervan zichtbaar te maken. Situeren door het te confronteren met dat van andere, verwante auteurs zoals Husserl, Freud, Bachelard en Foucault. Beoordelen door na te gaan in hoeverre Van den Berg de inzet van zijn project, zowel inhoudelijk als methodologisch, waarmaakte. -/- Het werk van Van den Berg is geen curiosum, maar opvallend actueel. Hij onderzoekt het begin, de aanvang van wetenschappelijke en maatschappelijke ontwikkelingen waarvan het belang in de huidige situatie met nadruk zichtbaar wordt. Zijn beeldende stijl wekt de geschiedenis van de wetenschap tot leven, maar werd vaak als ‘anekdotisch’ afgedaan; zijn talent voor polemiek lokte soms felle reacties uit en zijn methodologische flexibiliteit maakte hem een gemakkelijk doelwit van academische kritiek. Aan de positieve kant van de balans staan echter zijn intellectuele enthousiasme en zijn internationale faam. Zijn werk verdient een rehabilitatie. (shrink)

Tussen zijn veertigste en zijn zestigste levensjaar was Jan Hendrik van den Berg (1914) een uitermate succesvol en populair auteur. Boeken van zijn hand, zoals Metabletica (1956) en Medische macht en medische ethiek (1969), waren ongekende bestsellers. Hij was de Nederlandse vertegenwoordiger van een belangrijke Europese stroming in de filosofie: de historische fenomenologie. In de jaren zeventig raakte hij echter in conflict met zijn tijd. Terwijl de Nederlandse publieke opinie een wending naar links doormaakte, bond Van den Berg de strijd (...) aan tegen verloedering, hooliganisme en anarchisme. Dit ging ten koste van zijn populariteit, maar niet van zijn productiviteit, noch van zijn innovativiteit. Tot op de dag van vandaag werkt hij aan een indrukwekkend , panoramisch oeuvre. Hij is de belangrijkste Nederlandse filosoof sinds Bolland. -/- Deze studie wil het werk van Van den Berg reconstrueren, situeren en beoordelen. Reconstrueren door de methodische en thematische coherentie ervan zichtbaar te maken. Situeren door het te confronteren met dat van andere, verwante auteurs zoals Husserl, Freud, Bachelard en Foucault. Beoordelen door na te gaan in hoeverre Van den Berg de inzet van zijn project, zowel inhoudelijk als methodologisch, waarmaakte. -/- Het werk van Van den Berg is geen curiosum, maar opvallend actueel. Hij onderzoekt het begin, de aanvang van wetenschappelijke en maatschappelijke ontwikkelingen waarvan het belang in de huidige situatie met nadruk zichtbaar wordt. Zijn beeldende stijl wekt de geschiedenis van de wetenschap tot leven, maar werd vaak als ‘anekdotisch’ afgedaan; zijn talent voor polemiek lokte soms felle reacties uit en zijn methodologische flexibiliteit maakte hem een gemakkelijk doelwit van academische kritiek. Aan de positieve kant van de balans staan echter zijn intellectuele enthousiasme en zijn internationale faam. Zijn werk verdient een rehabilitatie. (shrink)