343,563 Hits in 4.3 sec

Informational Dynamics of 'Might' Assertions [chapter]

Peter Hawke, Shane Steinert-Threlkeld
2015 Lecture Notes in Computer Science  
We thereby prove that an arbitrary assertion (including a complex of 'might' and 'factual' claims) always succeeds in expressing a well-defined doxastic state.  ...  We investigate, in a logical setting, the proposal that assertion primarily functions to express and coordinate doxastic states and that 'might' fundamentally expresses lack of belief.  ...  case of bare indicative or bare 'might' assertions.  ... 
doi:10.1007/978-3-662-48561-3_12 fatcat:rvd3yenus5acjonwswpcydxora

When the Value of Cooperating Scales: Collective Intelligence, Information Processing, and the Leadership Meta-Capability

James K. Hazy
2021 Frontiers in Human Dynamics  
When the value of one or more of these scaling metrics becomes dynamically stable, fractal structures in the collective provide useful information to individuals that informs their choices during interactions  ...  The theory contributes fifteen testable assertions that if supported empirically suggest fruitful ways that new information technology applications could enhance organizational effectiveness.  ...  Assertion 5: For a given agent with capability α i , information about the PDF of agent IM states is subjectively predictive of continuing success when the PDF of the dynamic IM states of various subsets  ... 
doi:10.3389/fhumd.2021.620399 fatcat:ysotami5qbc6hfftv2jym45hra

Actions That Make Us Know [chapter]

Johan van Benthem
2009 New Essays on the Knowability Paradox  
In particular, can every static proposition which is true trigger a dynamic action of announcing that it is true, or of learning that truth?  ...  In this paper, I propose to put these issues in a more 'dynamic' light, by shifting the emphasis to the epistemic actions that produce knowledge, or sometimes even ignorance.  ...  To the contrary, they rather bring to light a rich diversity of types of behaviour which calls for a dynamic typology of epistemic assertions.  ... 
doi:10.1093/acprof:oso/9780199285495.003.0010 fatcat:mkma4tnofzgthf75pu5v3tnheq

Dynamics, Brandom-style

Bernhard Nickel
2011 Philosophical Studies  
I argue that it is best understood as a special version of dynamic semantics, so that these semantics by themselves offer an interesting theoretical alternative to more standard truth-conditional theories  ...  I argue that it gives us the resources for a renewed argument for the normativity of meaning. The paper ends by critically assessing the view in both its development and motivations.  ...  this semantic theory informational dynamics because the contexts that are updated by assertions are states of information.  ... 
doi:10.1007/s11098-011-9768-4 fatcat:4to5dcyk4vh3nfbnnql7ueqovu

An Update on Epistemic Modals

Malte Willer
2015 Journal of Philosophical Logic  
Considerations about the role that epistemic might and must play in discourse and reasoning have led to the development of several important alternatives to classical possible worlds semantics for natural  ...  This is an opinionated overview of what I take to be some of the most exciting issues and developments in the field.  ...  Acknowledgments For comments and discussion, I would like to thank Chris Kennedy, Peter Klecha, Seth Yalcin, and the participants of the University of Chicago Workshop in Semantics and Philosophy of Language  ... 
doi:10.1007/s10992-015-9364-8 fatcat:2lc6kxlcezasfjg7h3xrjotmw4

Discovering Services Is Not Enough

O.A. Dragoi, J.P. Black
2004 IEEE Distributed Systems Online  
Furthermore, these services might be spread across multiple administrative domains; they might have arbitrary semantics and purposes; and communicating with them might require obtaining credentials for  ...  The authors tackle this problem, combining the acquisition of role-based credentials with service discovery.  ...  Acknowledgments Bell University Laboratories at the University of Waterloo and the Natural Sciences and Engineering Research Council of Canada supported this research.  ... 
doi:10.1109/mdso.2004.17 fatcat:okaluz4cuzcn3j4embv4bwhady

Taking 'Might'-Communication Seriously

Benjamin Lennertz
2014 Analytic Philosophy  
of a consistency check on the information of the context.  ...  I argue that the root of the problem is an umbrella thesis about the pragmatics of 'might'-communication -one that says that the communicative impact of an utterance of a 'might'-sentence is the performance  ...  The idea behind the dynamic semantic account is that the semantic value of a 'might'-sentence is an update rule on the information of the context.  ... 
doi:10.1111/phib.12032 fatcat:micmfeutlvf3zj65yb3mcnvyyi

A Case Study in Decentralized, Dynamic, Policy-Based, Authorization and Trust Management – Automated Software Distribution for Airplanes [chapter]

Peter Hartmann, Monika Maidl, David von Oheimb, Richard Robinson
2011 Lecture Notes in Computer Science  
We will discuss in Section 1.2 how security tokens form the basis of dynamic, decentralized authentication.  ...  We use these constructs in our case study to specify and reason about dynamic, ad-hoc trust relationships between airlines and contractors of suppliers of software that has to be loaded into airplanes.  ...  Dynamic trust might be established in chains, i.e. dynamic trust relationships might again be used to set up other dynamic relationships.  ... 
doi:10.1007/978-3-642-22444-7_5 fatcat:ikm3yi4lnvczxfvzoue65y5mc4

Review of How to be an assertive (not aggressive) woman in life, in love, and on the job: A total guide to self-assertiveness

1977 Contemporary Psychology  
From Group Dynamics to Group Psychoanalysis: Therapeutic Ap- plications of Group Dynamic Understanding. Washington, D.C.: Hemisphere, 1976. Pp. xv + 362. $21.95. Reviewed by ELIzABETH E.  ...  This is a “pop” treatment of asser- tiveness training that includes how-to- do-it advice on just about every situa- tion a poor, dependent, timid girl might confront.  ... 
doi:10.1037/016098 fatcat:marwdzhr4nfx5nbr6bdmswavbq

Epistemic Resistance Moves

Justin Bledin, Kyle Rawlins
2016 Semantics and Linguistic Theory  
In this response type, we suggest, an agent draws attention to some subsidiary issue that they think might cause an interlocutor to withdraw a previous commitment.  ...  We develop a granularity model of attention where drawing attention in discourse can refine the space of possibilities under consideration and consequently lead to changes in view.  ...  B: Diana might be coming. A: Good point. Then Charlie might not come. Before formalizing the dynamics of resistance, we first informally walk through how we take this discourse to proceed.  ... 
doi:10.3765/salt.v26i0.3812 fatcat:5ew5ot7c2radrmiduuacxoglbm

Improving patient safety through better teamwork: how effective are different methods of simulation debriefing? Protocol for a pragmatic, prospective and randomised study

Julia Freytag, Fabian Stroben, Wolf E Hautz, Dorothea Eisenmann, Juliane E Kämmer
2017 BMJ Open  
attention towards changes which might become necessary / do not hold on to outdated concepts Call for help early -be aware of your own limits & the limits of your team -set predefined criteria for asking  ...  -team leader receives all information Re-evaluate repeatedly -review the plan regularly, if / how it works -respond to new information / arising problems etc.  ...  -pay attention towards changes which might become necessary / do not hold on to outdated concepts Call for help early -be aware of your own limits & the limits of your team -set predefined  ... 
doi:10.1136/bmjopen-2017-015977 pmid:28667224 pmcid:PMC5726131 fatcat:amhzfm2sgfda3ji2z77fkanj5y

Integrated Environment for Diagnosing Verification Errors [chapter]

Maria Christakis, K. Rustan M. Leino, Peter Müller, Valentin Wüstholz
2016 Lecture Notes in Computer Science  
To help a user with this task, this paper presents an extension of the Dafny IDE that seamlessly integrates the Dafny verifier, a dynamic symbolic execution engine, a verification debugger, and a technique  ...  The paper also reports on experiments that measure the utility of the combined use of these complementary tools.  ...  For instance, they might add one of two loop invariants that are necessary for proving a failing assertion, but the error message remains unchanged.  ... 
doi:10.1007/978-3-662-49674-9_25 fatcat:wj3x2pop75gwtiwfg6s5z6sboq

A framework for requirements analysis using automated reasoning [chapter]

David Duffy, Craig MacNish, John McDermid, Philip Morris
1995 Lecture Notes in Computer Science  
As a means of providing and analysing this information, we propose the use of a goal-oriented model for structuring requirements and the use of formal reasoning techniques to aid in the analysis of changes  ...  The problem of analysing the effects of changing requirements imposes strict demands on system representations, particularly in safetycritical domains.  ...  As an example, the fact F1 might be expanded as follows: J Assertion* contains the formal description of the contents of Assertion.  ... 
doi:10.1007/3-540-59498-1_238 fatcat:euk2nqqccfctjatq5tc7gsv33u

Open Problems in Logical Dynamics [chapter]

Johan van Benthem
2006 Mathematical Problems from Applied Logic I  
In recent years, a number of 'dynamic epistemic logics' have been developed for dealing with information, communication, and interaction.  ...  Section 4 generalizes this to general dynamic-epistemic logic of actions or events whose observation conveys information.  ...  above discussion suggests links between the dynamic logics of information update over time in this paper and a number of established areas from mathematics.  ... 
doi:10.1007/0-387-31072-x_3 fatcat:f5il7g4k6zcdndjrl3ymqaetl4

Comparison of higher-stratum motivational factors across sexes using the children's motivation analysis test

Gregory J. Boyle, K. Brian Start
1989 Personality and Individual Differences  
The Children's Motivation Analysis Test (CMAT) is a newly developed objective instrument for quantifying several important motivational dynamic traits among primary school children.  ...  other kinds of response distortion which may result from inadequate self-insight of one's motivational attributes.  ...  This factor might be labelled Assertiveness. Factor 4 (7.7% of variance) exhibited significant loadings on Fear, Superego and SES, suggesting a strong association between these three variables.  ... 
doi:10.1016/0191-8869(89)90015-9 fatcat:dd2x4bt5xzfsndtcsbhlv6swtu
« Previous Showing results 1 — 15 out of 343,563 results