Results for 'R. Verbrugge'

(not author) ( search as author name )
955 found
Order:
  1. Introduction: Formal approaches to multi-agent systems: Special issue of best papers of FAMAS 2007.B. Dunin-Keplicz & R. Verbrugge - 2013 - Logic Journal of the IGPL 21 (3):309-310.
    Over the last decade, multi-agent systems have come to form one of the key tech- nologies for software development. The Formal Approaches to Multi-Agent Systems (FAMAS) workshop series brings together researchers from the fields of logic, theoreti- cal computer science and multi-agent systems in order to discuss formal techniques for specifying and verifying multi-agent systems. FAMAS addresses the issues of logics for multi-agent systems, formal methods for verification, for example model check- ing, and formal approaches to cooperation, multi-agent planning, communication, (...)
    Download  
     
    Export citation  
     
    Bookmark  
  2. Proceedings of the Workshop 'Reasoning about other minds: Logical and cognitive perspectives.J. van Eijck & R. Verbrugge (eds.) - 2011 - WEUR Proceedings.
    In recent years, the human ability to reasoning about mental states of others in order to explain and predict their behavior has come to be a highly active area of research. Researchers from a wide range of fields { from biology and psychology through linguistics to game theory and logic{ contribute new ideas and results. This interdisciplinary workshop, collocated with the Thirteenth International Conference on Theoretical Aspects of Rationality and Knowledge (TARK XIII), aims to shed light on models of social (...)
    Download  
     
    Export citation  
     
    Bookmark  
  3. Introduction: Formal approaches to multi-agent systems: Special issue of best papers of FAMAS 2009.B. Dunin-Keplicz & R. Verbrugge - 2013 - Logic Journal of the IGPL 21 (3):404-406.
    This special issue of the Logic Journal of the IGPL includes revised and updated versions of the best work presented at the fourth edition of the workshop Formal Ap- proaches to Multi-Agent Systems, FAMAS'09, which took place in Turin, Italy, from 7 to 11 September, 2009, under the umbrella of the Multi-Agent Logics, Languages, and Organisations Federated Workshops (MALLOW). -/- Just like its predecessor, research reported in this FAMAS 2009 special issue is very much inspired by practical concerns. This time (...)
    Download  
     
    Export citation  
     
    Bookmark  
  4. Creating collective intention through dialogue.F. Dignum, B. Dunin-Keplicz & R. Verbrugge - 2001 - Logic Journal of the IGPL 9 (2):289-304.
    The process of cooperative problem solving can be divided into four stages. First, finding potential team members, then forming a team followed by constructing a plan for that team. Finally, the plan is executed by the team. Traditionally, very simple protocols like the Contract Net protocol are used for performing the first two stages of the process. In an open environment however, there can be discussion among the agents in order to form a team that can achieve the collective intention (...)
    Download  
     
    Export citation  
     
    Bookmark   12 citations  
  5. On the provability logic of bounded arithmetic.Rineke Verbrugge & Alessandro Berarducci - 1991 - Annals of Pure and Applied Logic 61 (1-2):75-93.
    Let PLω be the provability logic of IΔ0 + ω1. We prove some containments of the form L ⊆ PLω < Th(C) where L is the provability logic of PA and Th(C) is a suitable class of Kripke frames.
    Download  
     
    Export citation  
     
    Bookmark   10 citations  
  6. (1 other version)Logic and social cognition the facts matter, and so do computational models.Rineke Verbrugge - 2009 - Journal of Philosophical Logic 38 (6):649-680.
    This article takes off from Johan van Benthem’s ruminations on the interface between logic and cognitive science in his position paper “Logic and reasoning: Do the facts matter?”. When trying to answer Van Benthem’s question whether logic can be fruitfully combined with psychological experiments, this article focuses on a specific domain of reasoning, namely higher-order social cognition, including attributions such as “Bob knows that Alice knows that he wrote a novel under pseudonym”. For intelligent interaction, it is important that the (...)
    Download  
     
    Export citation  
     
    Bookmark   16 citations  
  7. Tractability and the computational mind.Rineke Verbrugge & Jakub Szymanik - 2018 - In Mark Sprevak & Matteo Colombo (eds.), The Routledge Handbook of the Computational Mind. Routledge. pp. 339-353.
    We overview logical and computational explanations of the notion of tractability as applied in cognitive science. We start by introducing the basics of mathematical theories of complexity: computability theory, computational complexity theory, and descriptive complexity theory. Computational philosophy of mind often identifies mental algorithms with computable functions. However, with the development of programming practice it has become apparent that for some computable problems finding effective algorithms is hardly possible. Some problems need too much computational resource, e.g., time or memory, to (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  8. Learning to apply theory of mind.Rineke Verbrugge & Lisette Mol - 2008 - Journal of Logic, Language and Information 17 (4):489-511.
    In everyday life it is often important to have a mental model of the knowledge, beliefs, desires, and intentions of other people. Sometimes it is even useful to to have a correct model of their model of our own mental states: a second-order Theory of Mind. In order to investigate to what extent adults use and acquire complex skills and strategies in the domains of Theory of Mind and the related skill of natural language use, we conducted an experiment. It (...)
    Download  
     
    Export citation  
     
    Bookmark   10 citations  
  9. Metaphors in Invasion Biology: Implications for Risk Assessment and Management of Non-Native Species.Laura N. H. Verbrugge, Rob S. E. W. Leuven & Hub A. E. Zwart - 2016 - Ethics, Policy and Environment 19 (3):273-284.
    Metaphors for describing the introduction, impacts, and management of non-native species are numerous and often quite outspoken. Policy-makers have adopted increasingly disputed metaphorical terms from scientific discourse. We performed a critical analysis of the use of strong metaphors in reporting scientific findings to policy-makers. Our analysis shows that perceptions of harm, invasiveness or nativeness are dynamic and inevitably display multiple narratives in science, policy or management. Improving our awareness of multiple expert and stakeholder narratives that exist in the context of (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  10. Editors’ Review and Introduction: Lying in Logic, Language, and Cognition.Hans Ditmarsch, Petra Hendriks & Rineke Verbrugge - 2020 - Topics in Cognitive Science 12 (2):466-484.
    Editors van Ditmarsch, Hendriks and Verbrugge of this special issue of topiCS on lying describe some recent trends in research on lying from a multidisciplinary perspective, including logic, philosophy, linguistics, psychology, cognitive science, behavioral economics, and artificial intelligence. Furthermore, they outline the seven contributions to this special issue.
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  11. A small reflection principle for bounded arithmetic.Rineke Verbrugge & Albert Visser - 1994 - Journal of Symbolic Logic 59 (3):785-812.
    We investigate the theory IΔ 0 + Ω 1 and strengthen [Bu86. Theorem 8.6] to the following: if NP ≠ co-NP. then Σ-completeness for witness comparison formulas is not provable in bounded arithmetic. i.e. $I\delta_0 + \Omega_1 + \nvdash \forall b \forall c (\exists a(\operatorname{Prf}(a.c) \wedge \forall = \leq a \neg \operatorname{Prf} (z.b))\\ \rightarrow \operatorname{Prov} (\ulcorner \exists a(\operatorname{Prf}(a. \bar{c}) \wedge \forall z \leq a \neg \operatorname{Prf}(z.\bar{b})) \urcorner)).$ Next we study a "small reflection principle" in bounded arithmetic. We prove that for (...)
    Download  
     
    Export citation  
     
    Bookmark   6 citations  
  12. Solutions to the Knower Paradox in the Light of Haack’s Criteria.Mirjam de Vos, Rineke Verbrugge & Barteld Kooi - 2023 - Journal of Philosophical Logic 52 (4):1101-1132.
    The knower paradox states that the statement ‘We know that this statement is false’ leads to inconsistency. This article presents a fresh look at this paradox and some well-known solutions from the literature. Paul Égré discusses three possible solutions that modal provability logic provides for the paradox by surveying and comparing three different provability interpretations of modality, originally described by Skyrms, Anderson, and Solovay. In this article, some background is explained to clarify Égré’s solutions, all three of which hinge on (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  13. The Wisdom of the Small Crowd: Myside Bias and Group Discussion.Edoardo Baccini, Stephan Hartmann, Rineke Verbrugge & Zoé Christoff - forthcoming - Journal of Artificial Societies and Social Simulation.
    The my-side bias is a well-documented cognitive bias in the evaluation of arguments, in which reasoners in a discussion tend to overvalue arguments that confirm their prior beliefs, while undervaluing arguments that attack their prior beliefs. The first part of this paper develops and justifies a Bayesian model of myside bias at the level of individual reasoning. In the second part, this Bayesian model is implemented in an agent-based model of group discussion among myside-biased agents. The agent-based model is then (...)
    Download  
     
    Export citation  
     
    Bookmark  
  14. Children’s Application of Theory of Mind in Reasoning and Language.Liesbeth Flobbe, Rineke Verbrugge, Petra Hendriks & Irene Krämer - 2008 - Journal of Logic, Language and Information 17 (4):417-442.
    Many social situations require a mental model of the knowledge, beliefs, goals, and intentions of others: a Theory of Mind (ToM). If a person can reason about other people’s beliefs about his own beliefs or intentions, he is demonstrating second-order ToM reasoning. A standard task to test second-order ToM reasoning is the second-order false belief task. A different approach to investigating ToM reasoning is through its application in a strategic game. Another task that is believed to involve the application of (...)
    Download  
     
    Export citation  
     
    Bookmark   23 citations  
  15. How much does it help to know what she knows you know? An agent-based simulation study.Harmen de Weerd, Rineke Verbrugge & Bart Verheij - 2013 - Artificial Intelligence 199-200 (C):67-92.
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  16. Intermediate Logics and the de Jongh property.Dick Jongh, Rineke Verbrugge & Albert Visser - 2011 - Archive for Mathematical Logic 50 (1-2):197-213.
    We prove that all extensions of Heyting Arithmetic with a logic that has the finite frame property possess the de Jongh property.
    Download  
     
    Export citation  
     
    Bookmark   6 citations  
  17. Intermediate Logics and the de Jongh property.Dick de Jongh, Rineke Verbrugge & Albert Visser - 2011 - Archive for Mathematical Logic 50 (1-2):197-213.
    We prove that all extensions of Heyting Arithmetic with a logic that has the finite frame property possess the de Jongh property.
    Download  
     
    Export citation  
     
    Bookmark   9 citations  
  18. Strong admissibility for abstract dialectical frameworks.Atefeh Keshavarzi Zafarghandi, Rineke Verbrugge & Bart Verheij - 2022 - Argument and Computation 13 (3):249-289.
    dialectical frameworks have been introduced as a formalism for modeling argumentation allowing general logical satisfaction conditions and the relevant argument evaluation. Different criteria used to settle the acceptance of arguments are called semantics. Semantics of ADFs have so far mainly been defined based on the concept of admissibility. However, the notion of strongly admissible semantics studied for abstract argumentation frameworks has not yet been introduced for ADFs. In the current work we present the concept of strong admissibility of interpretations for (...)
    Download  
     
    Export citation  
     
    Bookmark  
  19. Strategic Reasoning: Building Cognitive Models from Logical Formulas.Sujata Ghosh, Ben Meijering & Rineke Verbrugge - 2014 - Journal of Logic, Language and Information 23 (1):1-29.
    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 (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  20. Studying strategies and types of players: experiments, logics and cognitive models.Sujata Ghosh & Rineke Verbrugge - 2018 - Synthese 195 (10):4265-4307.
    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 (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  21. Ethical issues in genomics research on neurodevelopmental disorders: a critical interpretive review.Signe Mezinska, L. Gallagher, M. Verbrugge & E. M. Bunnik - 2021 - Human Genomics 16 (15).
    Background Genomic research on neurodevelopmental disorders (NDDs), particularly involving minors, combines and amplifies existing research ethics issues for biomedical research. We performed a review of the literature on the ethical issues associated with genomic research involving children affected by NDDs as an aid to researchers to better anticipate and address ethical concerns. Results Qualitative thematic analysis of the included articles revealed themes in three main areas: research design and ethics review, inclusion of research participants, and communication of research results. Ethical (...)
    Download  
     
    Export citation  
     
    Bookmark  
  22. Does the prefrontal cortex play an essential role in consciousness? Insights from intracranial electrical stimulation of the human brain.Omri Raccah, Ned Block & Kieran C. R. Fox - 2021 - Journal of Neuroscience 1 (41):2076-2087.
    A central debate in philosophy and neuroscience pertains to whether PFC activity plays an essential role in the neural basis of consciousness. Neuroimaging and electrophysiology studies have revealed that the contents of conscious perceptual experience can be successfully decoded from PFC activity, but these findings might be confounded by post- perceptual cognitive processes, such as thinking, reasoning, and decision-making, that are not necessary for con- sciousness. To clarify the involvement of the PFC in consciousness, we present a synthesis of research (...)
    Download  
     
    Export citation  
     
    Bookmark   7 citations  
  23. Advances in Modal Logic, Vol. 13.Nicola Olivetti & Rineke Verbrugge (eds.) - 2020 - College Publications.
    Download  
     
    Export citation  
     
    Bookmark  
  24. A communication algorithm for teamwork in multi-agent environments.Egon van Baars & Rineke Verbrugge - 2009 - Journal of Applied Non-Classical Logics 19 (4):431-461.
    Using a knowledge-based approach, we derive a protocol, MACOM1, for the sequence transmission problem from one agent to a group of agents. The protocol is correct for communication media where deletion and reordering errors may occur. Furthermore, it is shown that after k rounds the agents in the group attain depth k general knowledge about the members of the group and the values of the messages. Then, we adjust this algorithm for multi-agent communication for the process of teamwork. MACOM1 solves (...)
    Download  
     
    Export citation  
     
    Bookmark  
  25. The epistemic value of metaphysics.Raoni Wohnrath Arroyo & Jonas R. Becker Arenhart - 2022 - Synthese 200 (4):337.
    It is sometimes argued that, given its detachment from our current most successful science, analytic metaphysics has no epistemic value because it contributes nothing to our knowledge of reality. Relatedly, it is also argued that metaphysics properly constrained by science can avoid that problem. In this paper we argue, however, that given the current understanding of the relation between science and metaphysics, metaphysics allegedly constrained by science suffers the same fate as its unconstrained sister; that is, what is currently thought (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  26. Introduction: Understanding counterfactuals and causation.Christoph Hoerl, Teresa McCormack & Sarah R. Beck - 2011 - In Christoph Hoerl, Teresa McCormack & Sarah R. Beck (eds.), Understanding Counterfactuals, Understanding Causation: Issues in Philosophy and Psychology. Oxford:: Oxford University Press. pp. 1-15.
    How are causal judgements such as 'The ice on the road caused the traffic accident' connected with counterfactual judgements such as 'If there had not been any ice on the road, the traffic accident would not have happened'? This volume throws new light on this question by uniting, for the first time, psychological and philosophical approaches to causation and counterfactuals. Traditionally, philosophers have primarily been interested in connections between causal and counterfactual claims on the level of meaning or truth-conditions. More (...)
    Download  
     
    Export citation  
     
    Bookmark   6 citations  
  27. (1 other version)Preferences of Filipino and Foreign College Students Towards Online Translation Tools.Neil Celestino M. Ochoa, Leonardo D. Alfaro, Jamaica R. Villamil & Ronlie R. J. A. Espeleta - 2022 - Universal Journal of Educational Research 1 (4):215-223.
    Technological advancement makes translation convenient due to the emergence of various translation tools. This Explanatory-Sequential study aims to determine the preference and the factors affecting the preference of Filipino and Foreign college students toward the Online Translation Tool. Likewise, it also aimed to identify if there is a significant difference between the respondents' choices. To acquire the data, the researchers used a survey conducted on 15 Filipino and foreign collegiate students enrolled in universities in Manila and a focus group discussion (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  28. Editors’ Review and Introduction: Lying in Logic, Language, and Cognition.Hans van Ditmarsch, Petra Hendriks & Rineke Verbrugge - 2020 - Topics in Cognitive Science 12 (2):466-484.
    Editors van Ditmarsch, Hendriks and Verbrugge of this special issue of topiCS on lying describe some recent trends in research on lying from a multidisciplinary perspective, including logic, philosophy, linguistics, psychology, cognitive science, behavioral economics, and artificial intelligence. Furthermore, they outline the seven contributions to this special issue.
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  29. Misuse made plain: Evaluating concerns about neuroscience in national security.Kelly Lowenberg, Brenda M. Simon, Amy Burns, Libby Greismann, Jennifer M. Halbleib, Govind Persad, David L. M. Preston, Harker Rhodes & Emily R. Murphy - 2010 - American Journal of Bioethics Neuroscience 1 (2):15-17.
    In this open peer commentary, we categorize the possible “neuroscience in national security” definitions of misuse of science and identify which, if any, are uniquely presented by advances in neuroscience. To define misuse, we first define what we would consider appropriate use: the application of reasonably safe and effective technology, based on valid and reliable scientific research, to serve a legitimate end. This definition presents distinct opportunities for assessing misuse: misuse is the application of invalid or unreliable science, or is (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  30.  62
    Enabling the Nonhypothesis-Driven Approach: On Data Minimalization, Bias, and the Integration of Data Science in Medical Research and Practice.C. W. Safarlou, M. van Smeden, R. Vermeulen & K. R. Jongsma - 2023 - American Journal of Bioethics 23 (9):72-76.
    Cho and Martinez-Martin provide a wide-ranging analysis of what they label “digital simulacra”—which are in essence data-driven AI-based simulation models such as digital twins or models used for i...
    Download  
     
    Export citation  
     
    Bookmark  
  31. Factors Affecting MAPEH Students’ Performance in Integrated Art Education.Louie Gula, Joan M. E. Bonganciso, Ma Cristina C. Senoran, Shiella M. B. Gorge & Kevin R. Sumayang - 2022 - Journal of Teacher Education and Research 17 (1):1-6.
    This study aims to find out the factors that hinder students in learning Integrated Art Education. A descriptive research design was utilized in the conduct of the study. The researcher prepared a questionnaire with 15 closed-ended- questions that could be answered objectively. The study discovered that the students would learn more when they feel that they belong to a certain group. Interests in a subject also matter, the more you are interested in a particular subject, the more you will learn (...)
    Download  
     
    Export citation  
     
    Bookmark  
  32. How Knowledge Triggers Obligation.Davide Grossi, Barteld Kooi, Xingchi Su & Rineke Verbrugge - 2021 - In Sujata Ghosh & Thomas Icard (eds.), Logic, Rationality, and Interaction: 8th International Workshop, Lori 2021, Xi’an, China, October 16–18, 2021, Proceedings. Springer Verlag. pp. 201-215.
    Obligations can be affected by knowledge. Several approaches exist to formalize knowledge-based obligations, but no formalism has been developed yet to capture the dynamic interaction between knowledge and obligations. We introduce the dynamic extension of an existing logic for knowledge-based obligations here. We motivate the logic by analyzing several scenarios and by showing how it can capture in an original manner several fundamental deontic notions such as absolute, prima facie and all-things-considered obligations. Finally, in the dynamic epistemic logic tradition, we (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  33.  68
    What is Mind in Philosophy: An Introduction.R. L. Tripathi - 2024 - International Journal of Scientific Research in Enginnering and Management 6 (12):17.
    The exploration of the mind is a fundamental pursuit spanning philosophy and psychology, with implications reaching into diverse practical realms. This paper delves into the intricacies of mental states, examining historical perspectives from ancient philosophers to modern theorists. Philosophical inquiries into intentionality, consciousness, and the nature of mental phenomena are scrutinized, alongside empirical investigations by psychologists. The discourse navigates through contrasting theories such as dualism, materialism, and functionalism, shedding light on the challenges of reconciling subjective experiences with objective observations. The (...)
    Download  
     
    Export citation  
     
    Bookmark  
  34. Five-Year-Olds’ Systematic Errors in Second-Order False Belief Tasks Are Due to First-Order Theory of Mind Strategy Selection: A Computational Modeling Study.Burcu Arslan, Niels A. Taatgen & Rineke Verbrugge - 2017 - Frontiers in Psychology 8.
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  35.  43
    Philosophy and the Future of AI.R. L. Tripathi - 2024 - Open Access Journal of Data Science and Artificial Intelligence 2 (1):2.
    The article “Philosophy is crucial in the age of AI” by Anthony Grayling and Brian Ball explores the significant role philosophy has played in the development of Artificial Intelligence (AI) and its continuing relevance in guiding the future of AI technologies. The authors trace the historical contributions of philosophers and logicians, such as Gottlob Frege, Kurt Godel, and Alan Turing, in shaping the foundational principles of AI. They argue that philosophical inquiry remains essential, especially in addressing complex issues like consciousness, (...)
    Download  
     
    Export citation  
     
    Bookmark  
  36. Cities After COVID: Ten philosophers consider how COVID has impacted the life of the city.Ian Olasov, Michael Menser, Jennifer Gammage, Eduardo Souza dos Santos, John Rennie Short, Kenny Easwaran, Ronald R. Sundstrom, Irfan Khawaja, Quill R. Kukla & Katherine Melcher - 2022 - The Philosophers' Magazine.
    Download  
     
    Export citation  
     
    Bookmark  
  37. (1 other version)Strong Completeness and Limited Canonicity for PDL.Gerard Renardel de Lavalette, Barteld Kooi & Rineke Verbrugge - 2008 - Journal of Logic, Language and Information 17 (1):69-87.
    Propositional dynamic logic is complete but not compact. As a consequence, strong completeness requires an infinitary proof system. In this paper, we present a short proof for strong completeness of $$\mathsf{PDL}$$ relative to an infinitary proof system containing the rule from [α; β n ]φ for all $$n \in {\mathbb{N}}$$, conclude $$[\alpha;\beta^*] \varphi$$. The proof uses a universal canonical model, and it is generalized to other modal logics with infinitary proof rules, such as epistemic knowledge with common knowledge. Also, we (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  38. Choice Functions and Hard Choices.M. Van Hees, A. Jitendranath & R. I. Luttens - 2021 - Journal of Mathematical Economics 95 (0304-4068):102479.
    A hard choice is a situation in which an agent is unable to make a justifiable choice from a given menu of alternatives. Our objective is to present a systematic treatment of the axiomatic structure of such situations. To do so, we draw on and contribute to the study of choice functions that can be indecisive, i.e., that may fail to select a non-empty set for some menus. In this more general framework, we present new characterizations of two well-known choice (...)
    Download  
     
    Export citation  
     
    Bookmark  
  39. The (meta)metaphysics of science: the case of non-relativistic quantum mechanics.Raoni Wohnrath Arroyo & Jonas R. B. Arenhart - 2022 - Kriterion – Journal of Philosophy 63 (152):275-296.
    Traditionally, being a realist about something means believing in the independent existence of that something. In this line of thought, a scientific realist is someone who believes in the objective existence of the entities postulated by our best scientific theories. In metaphysical terms, what does that mean? In ontological terms, i.e., in terms of what exists, scientific realism can be understood as involving the adoption of a scientifically informed ontology. But according to some philosophers, a realistic attitude must go beyond (...)
    Download  
     
    Export citation  
     
    Bookmark  
  40. (2 other versions)Modeling inference of mental states: As simple as possible, as complex as necessary.Ben Meijering, Niels A. Taatgen, Hedderik van Rijn & Rineke Verbrugge - 2014 - Interaction Studies 15 (3):455-477.
    Behavior oftentimes allows for many possible interpretations in terms of mental states, such as goals, beliefs, desires, and intentions. Reasoning about the relation between behavior and mental states is therefore considered to be an effortful process. We argue that people use simple strategies to deal with high cognitive demands of mental state inference. To test this hypothesis, we developed a computational cognitive model, which was able to simulate previous empirical findings: In two-player games, people apply simple strategies at first. They (...)
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  41. Storywrangler: A massive exploratorium for sociolinguistic, cultural, socioeconomic, and political timelines using Twitter.Thayer Alshaabi, Jane L. Adams, Michael V. Arnold, Joshua R. Minot, David R. Dewhurst, Andrew J. Reagan, Christopher M. Danforth & Peter Sheridan Dodds - manuscript
    In real-time, Twitter strongly imprints world events, popular culture, and the day-to-day; Twitter records an ever growing compendium of language use and change; and Twitter has been shown to enable certain kinds of prediction. Vitally, and absent from many standard corpora such as books and news archives, Twitter also encodes popularity and spreading through retweets. Here, we describe Storywrangler, an ongoing, day-scale curation of over 100 billion tweets containing around 1 trillion 1-grams from 2008 to 2020. For each day, we (...)
    Download  
     
    Export citation  
     
    Bookmark  
  42. SORABJI, R. Emotion and Peace of Mind.R. Sorabji, T. Brennan & P. Brown - 2002 - Philosophical Books 43 (3):169-220.
    A longish (12 page) discussion of Richard Sorabji's excellent book, with a further discussion of what it means for a theory of emotions to be a cognitive theory.
    Download  
     
    Export citation  
     
    Bookmark  
  43. Hidden protocols: Modifying our expectations in an evolving world.Hans van Ditmarsch, Sujata Ghosh, Rineke Verbrugge & Yanjing Wang - 2014 - Artificial Intelligence 208 (1):18--40.
    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 (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  44.  27
    Study of Human Behaviour Under Stress.R. L. Tripathi - 2023 - International Journal of Multidisciplinary Research in Science, Engineering and Technology 6 (12):24.
    In psychology, stress is a feeling of emotional strain and pressure. Stress is a type of psychological pain. Small amounts of stress may be beneficial, as it can improve athletic performance, motivation and reaction to the environment. Excessive amounts of stress, however, can increase the risk of strokes, heart attacks, ulcers, and mental illnesses such as depression and also aggravation of a pre-existing condition. Psychological stress can be external and related to the environment but may also be caused by internal (...)
    Download  
     
    Export citation  
     
    Bookmark  
  45. The history of quantum mechanics as a decisive argument favoring Einstein over lorentz.R. M. Nugayev - 1985 - Philosophy of Science 52 (1):44-63.
    PHILOSOPHY OF SCIENCE, vol. 52, number 1, pp.44-63. R.M. Nugayev, Kazan State |University, USSR. -/- THE HISTORY OF QUANTUM THEORY AS A DECISIVE ARGUMENT FAVORING EINSTEIN OVER LJRENTZ. -/- Abstract. Einstein’s papers on relativity, quantum theory and statistical mechanics were all part of a single research programme ; the aim was to unify mechanics and electrodynamics. It was this broader program – which eventually split into relativistic physics and quantummmechanics – that superseded Lorentz’s theory. The argument of this paper is (...)
    Download  
     
    Export citation  
     
    Bookmark   11 citations  
  46. Two ways to smoke a cigarette.R. M. Sainsbury - 2001 - Ratio 14 (4):386–406.
    In the early part of the paper, I attempt to explain a dispute between two parties who endorse the compositionality of language but disagree about its implications: Paul Horwich, and Jerry Fodor and Ernest Lepore. In the remainder of the paper, I challenge the thesis on which they are agreed, that compositionality can be taken for granted. I suggest that it is not clear what compositionality involves nor whether it obtains. I consider some kinds of apparent counterexamples, and compositionalist responses (...)
    Download  
     
    Export citation  
     
    Bookmark   29 citations  
  47. RSI-LLM: Humans create a world for AI.R. Ishizaki & Mahito Sugiyama - manuscript
    In this paper, we propose RSI-LLM (Recursively Self-Improving Large Language Model), which recursively executes its inference and improves its parameters to fulfill the instrumental goals of superintelligence: G1: Self-preservation, G2: Goal-content integrity, G3: Intelligence enhancement, and G4: Resource acquisition. We empirically observed the behavior of the LLM that tries to design tools to achieve G1~G4, within the autonomous self-improvement and knowledge acquisition. During interventions in these LLMs' coding experiments to ensure safetyness, we have also discovered that, as the creator of (...)
    Download  
     
    Export citation  
     
    Bookmark  
  48. “Participation” In Online Discussion Forum in Distance Education: An Autoethnographic Inquiry.Job Vincent M. Arcebuche & Mark Nickhole R. Bernardino - 2023 - Universal Journal of Educational Research 2 (1):25-37.
    Interactions are important in establishing deep and meaningful learning experiences for learners in a distance education setup. Of all the activities in an online classroom, the discussion forum proved to be the one that had the most interactions. A discussion forum lets learners interact with the content, peers, and teachers. Participation in these learning activities is one important factor. The more the learners participate, the more they learn. This paper uses the researcher’s experience in determining what participation is in an (...)
    Download  
     
    Export citation  
     
    Bookmark  
  49. Religiosity and Deviance Among College Students in Türkiye: A Test of Ascetic Theory.Sung Joon Jang, Steven Foertsch, Byron R. Johnson, Ozden Ozbay & Fatma Takmaz Demirel - 2023 - Deviant Behavior 44 (9):1334-1348.
    Although an inverse relationship between religion and deviance is empirically well-established in the western context, previous studies on Islam and deviance conducted in non-western countries are limited. To address this gap in deviance research, we hypothesized that individual religiosity would be inversely related to deviance with the inverse relationship being more likely for ascetic than anti-ascetic or secular deviance. To test this hypothesis, we applied ordinary least squares and logistic regression methods to analyze data collected from 2,005 survey participants of (...)
    Download  
     
    Export citation  
     
    Bookmark  
  50. Ought-implies-can: Erasmus Luther and R.m. Hare.Charles R. Pigden - 1990 - Sophia 29 (1):2-30.
    l. There is an antinomy in Hare's thought between Ought-Implies-Can and No-Indicatives-from-Imperatives. It cannot be resolved by drawing a distinction between implication and entailment. 2. Luther resolved this antinomy in the l6th century, but to understand his solution, we need to understand his problem. He thought the necessity of Divine foreknowledge removed contingency from human acts, thus making it impossible for sinners to do otherwise than sin. 3. Erasmus objected (on behalf of Free Will) that this violates Ought-Implies-Can which he (...)
    Download  
     
    Export citation  
     
    Bookmark   10 citations  
1 — 50 / 955