6,121 research outputs found
On Formal Methods for Collective Adaptive System Engineering. {Scalable Approximated, Spatial} Analysis Techniques. Extended Abstract
In this extended abstract a view on the role of Formal Methods in System
Engineering is briefly presented. Then two examples of useful analysis
techniques based on solid mathematical theories are discussed as well as the
software tools which have been built for supporting such techniques. The first
technique is Scalable Approximated Population DTMC Model-checking. The second
one is Spatial Model-checking for Closure Spaces. Both techniques have been
developed in the context of the EU funded project QUANTICOL.Comment: In Proceedings FORECAST 2016, arXiv:1607.0200
On the nature of continuous physical quantities in classical and quantum mechanics
Within the traditional Hilbert space formalism of quantum mechanics, it is
not possible to describe a particle as possessing, simultaneously, a sharp
position value and a sharp momentum value. Is it possible, though, to describe
a particle as possessing just a sharp position value (or just a sharp momentum
value)? Some, such as Teller (Journal of Philosophy, 1979), have thought that
the answer to this question is No -- that the status of individual continuous
quantities is very different in quantum mechanics than in classical mechanics.
On the contrary, I shall show that the same subtle issues arise with respect to
continuous quantities in classical and quantum mechanics; and that it is, after
all, possible to describe a particle as possessing a sharp position value
without altering the standard formalism of quantum mechanics.Comment: 26 pages, LaTe
Betting on Quantum Objects
Dutch book arguments have been applied to beliefs about the outcomes of
measurements of quantum systems, but not to beliefs about quantum objects prior
to measurement. In this paper, we prove a quantum version of the probabilists'
Dutch book theorem that applies to both sorts of beliefs: roughly, if ideal
beliefs are given by vector states, all and only Born-rule probabilities avoid
Dutch books. This theorem and associated results have implications for
operational and realist interpretations of the logic of a Hilbert lattice. In
the latter case, we show that the defenders of the eigenstate-value orthodoxy
face a trilemma. Those who favor vague properties avoid the trilemma, admitting
all and only those beliefs about quantum objects that avoid Dutch books.Comment: 26 pages, 3 figures, 1 table; improved operational semantics, results
unchange
Discourse Analysis: varieties and methods
This paper presents and analyses six key approaches to discourse analysis, including political discourse theory, rhetorical political analysis, the discourse historical approach in critical discourse analysis, interpretive policy analysis, discursive psychology and Q methodology. It highlights differences and similarities between the approaches along three distinctive dimensions, namely, ontology, focus and purpose. Our analysis reveals the difficulty of arriving at a fundamental matrix of dimensions which would satisfactorily allow one to organize all approaches in a coherent theoretical framework. However, it does not preclude various theoretical articulations between the different approaches, provided one takes a problem-driven approach to social science as one?s starting-point
Weighted logics for artificial intelligence : an introductory discussion
International audienceBefore presenting the contents of the special issue, we propose a structured introductory overview of a landscape of the weighted logics (in a general sense) that can be found in the Artificial Intelligence literature, highlighting their fundamental differences and their application areas
Towards a Formal Verification Methodology for Collective Robotic Systems
We introduce a UML-based notation for graphically modeling
systems’ security aspects in a simple and intuitive
way and a model-driven process that transforms graphical
specifications of access control policies in XACML. These
XACML policies are then translated in FACPL, a policy
language with a formal semantics, and the resulting policies
are evaluated by means of a Java-based software tool
- …