65 research outputs found
Games for the Strategic Influence of Expectations
We introduce a new class of games where each player's aim is to randomise her
strategic choices in order to affect the other players' expectations aside from
her own. The way each player intends to exert this influence is expressed
through a Boolean combination of polynomial equalities and inequalities with
rational coefficients. We offer a logical representation of these games as well
as a computational study of the existence of equilibria.Comment: In Proceedings SR 2014, arXiv:1404.041
The complexity of admissible rules of {\L}ukasiewicz logic
We investigate the computational complexity of admissibility of inference
rules in infinite-valued {\L}ukasiewicz propositional logic (\L). It was shown
in [13] that admissibility in {\L} is checkable in PSPACE. We establish that
this result is optimal, i.e., admissible rules of {\L} are PSPACE-complete. In
contrast, derivable rules of {\L} are known to be coNP-complete.Comment: 14 pages, 2 figures; to appear in Journal of Logic and Computatio
Decision Problems for Partial Specifications: Empirical and Worst-Case Complexities
Partial specifications allow approximate models of systems such as Kripke structures, or labeled
transition systems to be created. Using the abstraction possible with these models, an avoidance
of the state-space explosion problem is possible, whilst still retaining a structure that can
have properties checked over it. A single partial specification abstracts a set of systems, whether
Kripke, labeled transition systems, or systems with both atomic propositions and named transitions.
This thesis deals in part with problems arising from a desire to efficiently evaluate
sentences of the modal μ-calculus over a partial specification.
Partial specifications also allow a single system to be modeled by a number of partial specifications,
which abstract away different parts of the system. Alternatively, a number of partial
specifications may represent different requirements on a system. The thesis also addresses the
question of whether a set of partial specifications is consistent, that is to say, whether a single
system exists that is abstracted by each member of the set. The effect of nominals, special
atomic propositions true on only one state in a system, is also considered on the problem of the
consistency of many partial specifications. The thesis also addresses the question of whether
the systems a partial specification abstracts are all abstracted by a second partial specification,
the problem of inclusion.
The thesis demonstrates how commonly used “specification patterns” – useful properties specified
in the modal μ-calculus, can be efficiently evaluated over partial specifications, and gives
upper and lower complexity bounds on the problems related to sets of partial specifications
Logics for Non-Cooperative Games with Expectations
We introduce the logics E(G) for reasoning about probabilistic expectation over classes G of games with discrete polynomial payoff functions represented by finite-valued Lukasiewicz formulas and provide completeness and complexity results. In addition, we introduce a new class of games where players' expected payoff functions are encoded by E(G)-formulas. In these games each player's aim is to randomise her strategic choices in order to affect the other players' expectations over an outcome as well as their own. We offer a logical and computational characterisation of this new class of games.Godo acknowledges support from the Spanish projects EdeTRI (TIN2012-39348-C02-01) and AT (CONSOLIDER CSD 2007-0022). Marchioni acknowledges support from the Marie Curie Project NAAMSI (FP7-PEOPLE-2011-IEF).Peer Reviewe
Non-standard modalities in paraconsistent G\"{o}del logic
We introduce a paraconsistent expansion of the G\"{o}del logic with a De
Morgan negation and modalities and . We
equip it with Kripke semantics on frames with two (possibly fuzzy) relations:
and (interpreted as the degree of trust in affirmations and denials
by a given source) and valuations and (positive and negative
support) ranging over and connected via . We motivate the
semantics of (resp., ) as infima
(suprema) of both positive and negative supports of in - and
-accessible states, respectively. We then prove several instructive
semantical properties of the logic. Finally, we devise a tableaux system for
branching fragment and establish the complexity of satisfiability and validity.Comment: arXiv admin note: text overlap with arXiv:2303.1416
Games for the Strategic Influence of Expectations
We introduce a new class of games where each player's aim is to randomise her strategic choices in order to affect the other players' expectations aside from her own. The way each player intends to exert this influence is expressed through a Boolean combination of polynomial equalities and inequalities with rational coefficients. We offer a logical representation of these games as well as a computational study of the existence of equilibria. © 2014 V. Bruyère, E. Filiot, M. Randour & J.-F. Raskin.Godo acknowledges support from the Spanish projects EdeTRI (TIN2012-39348-C02-01) and AT (CONSOLIDER CSD 2007-0022). Marchioni acknowledges support from the Marie Curie Intra-European Fellowship NAAMSI (FP7-PEOPLE-2011-IEF).Peer Reviewe
Probabilistic description logics for subjective uncertainty
We propose a family of probabilistic description logics (DLs) that are derived in a principled way from Halpern's probabilistic first-order logic. The resulting probabilistic DLs have a two-dimensional semantics similar to temporal DLs and are well-suited for representing subjective probabilities. We carry out a detailed study of reasoning in the new family of logics, concentrating on probabilistic extensions of the DLs ALC and EL, and showing that the complexity ranges from PTime via ExpTime and 2ExpTime to undecidable
Some modal and temporal translations of generalized basic logic
We introduce a family of modal expansions of Łukasiewicz logic that are designed to accommodate modal translations of generalized basic logic (as formulated with exchange, weakening, and falsum). We further exhibit algebraic semantics for each logic in this family, in particular showing that all of them are algebraizable in the sense of Blok and Pigozzi. Using this algebraization result and an analysis of congruences in the pertinent varieties, we establish that each of the introduced modal Łukasiewicz logics has a local deduction-detachment theorem. By applying Jipsen and Montagna’s poset product construction, we give two translations of generalized basic logic with exchange, weakening, and falsum in the style of the celebrated Gödel-McKinsey-Tarski translation. The first of these interprets generalized basic logic in a modal Łukasiewicz logic in the spirit of the classical modal logic S4, whereas the second interprets generalized basic logic in a temporal variant of the latter
- …