Filters








35,961 Hits in 3.5 sec

Exploiting Modal Logic to Express Performance Measures [chapter]

Graham Clark, Stephen Gilmore, Jane Hillston, Marina Ribaudo
2000 Lecture Notes in Computer Science  
In this paper we present a stochastic modal logic which can aid the construction of a reward structure over the model. We discuss its relationship to the underlying theory of PEPA.  ...  The meaning of the specification language has its foundations in the stochastic modal logic.  ...  Here we present a stochastic modal logic and explain how it may be used to specify performance measures over a PEPA model.  ... 
doi:10.1007/3-540-46429-8_18 fatcat:4x5mfc2h5bdodbqebdpmanrlwe

Fibred Coalgebraic Logic and Quantum Protocols

Daniel Marsden
2014 Electronic Proceedings in Theoretical Computer Science  
We show how properties of the semantics of modalities are preserved under composition operations, and then apply the calculational aspect of our logic to produce an expressive set of modalities for reasoning  ...  We extend the semantics of coalgebraic logic to this setting, and prove that this extension respects behavioural equivalence.  ...  Acknowledgements I would like to thank Andreas Döring and Samson Abramsky for their feedback and suggestions.  ... 
doi:10.4204/eptcs.171.9 fatcat:2flur2wl2befxidk7hoitrsjw4

A Logical Characterization of Differential Privacy via Behavioral Metrics [chapter]

Valentina Castiglioni, Konstantinos Chatzikokolakis, Catuscia Palamidessi
2018 Lecture Notes in Computer Science  
logic and we define a syntactical distance on formulae in it measuring their syntactic disparities.  ...  In this paper, we exploit a modeling of this framework via labeled Markov Chains (LMCs) to provide a logical characterization of differential privacy: we consider a probabilistic variant of the Hennessy-Milner  ...  The modal logic L We introduce the modal logic L of [14] , which extends HML [28] with a probabilistic choice modality that allows us to express the behavior of probability distributions over processes  ... 
doi:10.1007/978-3-030-02146-7_4 fatcat:o2mvc6qaqrat7bvanqdtrjm74q

Parallel and Symbolic Model Checking for Fixpoint Logic with Chop

Martin Lange, Hans Wolfgang Loidl
2005 Electronical Notes in Theoretical Computer Science  
We consider the model checking problem for FLC, a modal fixpoint logic capable of defining nonregular properties.  ...  This paper presents a refinement of a symbolic model checker and discusses how to parallelise this algorithm.  ...  A great step on the expressivity ladder regarding temporal logics was made with the introduction of FLC [9] , a fixpoint logic that extends the modal µcalculus with an operator for sequential composition  ... 
doi:10.1016/j.entcs.2004.10.023 fatcat:2craondikzen3fq7kcvosbxboy

Belief modelling for situation awareness in human-robot interaction

Pierre Lison, Carsten Ehrler, Geert-Jan M. Kruijff
2010 19th International Symposium in Robot and Human Interactive Communication  
Key to our approach is the use of Markov Logic as a unified framework for inference over these beliefs. Markov Logic is a combination of first-order logic and probabilistic graphical models.  ...  Its expressive power allows us to capture both the rich relational structure of the environment and the uncertainty arising from the noise and incompleteness of low-level sensory data.  ...  First, the expression "this" is resolved to a particular entity. Since "this" is a (proximal) deictic, the resolution is performed on basis of saliency measures.  ... 
doi:10.1109/roman.2010.5598723 dblp:conf/ro-man/LisonEK10 fatcat:ou7d6kp4svgwjpawpn7ls3ruwu

Towards Greener Applications: Enabling Sustainable Cloud Native Applications Design [article]

Monica Vitali
2022 arXiv   pre-print
To this end, we first suggest possible actions to enrich the application design towards sustainability, and finally describe how this additional information can be leveraged in the application workflow  ...  This exploratory work aims to emphasize the awareness on the sustainability of applications by proposing a methodology for its evaluation.  ...  Business rules enable to express conditions on the execution of an activity in a business process. They hide the complexity of the logic preventing the model to become too complex.  ... 
arXiv:2201.11631v1 fatcat:zxcmwa6l5rgqjfpxphxmmyv2ji

Probabilistic and Logical Beliefs [chapter]

John W. Lloyd, Kee Siong Ng
2008 Lecture Notes in Computer Science  
The setting for the integration is a highly expressive logic. The integration is explained in detail, as its comparison to other approaches to integrating logic and probability.  ...  An illustrative example is given to motivate the usefulness of the ideas in agent applications.  ...  To begin with, we use a much more expressive logic, modal higher-order logic. The higher-orderness will be essential to achieve the desired integration of logic and probability.  ... 
doi:10.1007/978-3-540-85058-8_2 fatcat:s7dfkxypangtrgkj25yu6dff2i

An algebra-based method to associate rewards with EMPA terms [chapter]

Marco Bernardo
1997 Lecture Notes in Computer Science  
The basic idea behind this method is to specify rewards within actions of EMPA terms, so it substantially di ers from methods based on modal logic.  ...  We present a simple method to associate rewards with terms of the stochastic process algebra EMPA in order to make the speci cation and the computation of performance measures easier.  ...  The idea is to express rewards by means of the Hennessy-Milner logic 4]: a logical formula is speci ed together with an arithmetical expression, and every state satisfying the formula is assigned the reward  ... 
doi:10.1007/3-540-63165-8_192 fatcat:tjqwlstmenalvagyjsz2rqnpgy

Quantum Cognitively Motivated Decision Fusion for Video Sentiment Analysis [article]

Dimitris Gkoumas, Qiuchi Li, Shahram Dehdashti, Massimo Melucci, Yijun Yu, Dawei Song
2021 arXiv   pre-print
jointly measured to produce a final decision.  ...  Hilbert space with positive-operator valued measures.  ...  We thank Christina Amalia Lioma that gave us constructive comments to improve the paper.  ... 
arXiv:2101.04406v2 fatcat:unnemhca2vf3nk3f3twbydjema

How to reason without words: inference as categorization

Ronaldo Vigo, Colin Allen
2008 Cognitive Processing  
Others reject such an anthropocentric conception of reasoning on the basis of similar performance by humans and animals in some reasoning tasks, such as transitive inference.  ...  Finally, we explain how this account of reasoning applies to the kinds of transitive inferences that many nonhuman animals display.  ...  Both of the authors benefitted from the comments and questions following presentation of these ideas to the IU Logic Seminar, and C.A. also acknowledges the useful questions and comments from audiences  ... 
doi:10.1007/s10339-008-0220-4 pmid:18626674 fatcat:oghe3dw5vbdwlo66d5r6mkk5n4

A Model Checker for Value-Passing Mu-Calculus Using Logic Programming [chapter]

C. R. Ramakrishnan
2001 Lecture Notes in Computer Science  
Thus far, XMC has supported value-passing process languages, but has been limited to using the propositional fragment of modal mucalculus as the property specification logic.  ...  Recent advances in logic programming have been successfully used to build practical verification toolsets, as evidenced by the XMC system.  ...  Subsequently, we extended the model checker to XL (which has variables and values) by exploiting the power of the logic programming paradigm to manipulate and propagate substitutions.  ... 
doi:10.1007/3-540-45241-9_1 fatcat:2oelfds5o5agvcch5oeozwmzru

A Hierarchy of Modal Event Calculi: Expressiveness and Complexity [chapter]

Iliano Cervesato, Massimo Franceschet, Angelo Montanari
2000 Applied Logic Series  
The formalisms we analyze extend EC with operators from modal logic.  ...  We consider a hierarchy of modal event calculi to represent and reason about partially ordered events.  ...  Acknowledgments We would like to thank the reviewers for their useful comments.  ... 
doi:10.1007/978-94-015-9586-5_1 fatcat:l4anmbo62jb4ngsufdk5qpcmku

TwoTowers 4.0: towards the integration of security analysis and performance evaluation

A. Aldini, M. Bernardo
2004 First International Conference on the Quantitative Evaluation of Systems, 2004. QEST 2004. Proceedings.  
The novelty of TwoTowers 4.0 is its capability of supporting both security analysis and performance evaluation, thus providing the means for trading the QoS of a system with the bandwidth of its illegal  ...  In case of property violation, an illustrative modal logic formula is reported.  ...  Third, we would like to strengthen the integration of security analysis and performance evaluation, in such a way that the illustrative modal logic formula returned in case of security violation automatically  ... 
doi:10.1109/qest.2004.1348055 dblp:conf/qest/AldiniB04 fatcat:frpujrqhvnecfijcghad6sdaqa

Higher-order aspects and context in SUMO

Christoph Benzmüller, Adam Pease
2012 Journal of Web Semantics  
A solution is proposed that maps SUMO to quantified multimodal logic which is in turn modeled as a fragment of classical higher-order logic.  ...  Our findings are of wider relevance as they analogously apply to other expressive ontologies and knowledge representation formalisms.  ...  We would like to thank Geoff Sutcliffe and Larry Paulson for their support and their contributions to our work. Moreover, we thank the reviewers of this article for many fruitful comments.  ... 
doi:10.1016/j.websem.2011.11.008 fatcat:vml7qpbtg5fwziok2ehvgw6ynq

Specifying Performance Measures for PEPA [chapter]

Graham Clark, Stephen Gilmore, Jane Hillston
1999 Lecture Notes in Computer Science  
The meaning of the specification language can be made formal by examining its foundations in a stochastic modal logic. A case-study is presented to illustrate the approach.  ...  Tools compute the numerical solution of these models; however, the stochastic process algebra methodology lacks support for the specification and calculation of complex performance measures.  ...  By exploiting the operators a modal logic supplies, it is possible to be more discriminating about which states should contribute to the reward measure.  ... 
doi:10.1007/3-540-48778-6_13 fatcat:7t4oikmiyfbqdid7f4lswlyxy4
« Previous Showing results 1 — 15 out of 35,961 results