220 research outputs found
Epistemic Logic with Partial Dependency Operator
In this paper, we introduce dependency modality
into epistemic logic so as to reason about
dependency relationship in Kripke models. The resulted dependence epistemic
logic possesses decent expressivity and beautiful properties. Several
interesting examples are provided, which highlight this logic's practical
usage. The logic's bisimulation is then discussed, and we give a sound and
strongly complete axiomatization for a sub-language of the logic
Facets of Distribution Identities in Probabilistic Team Semantics
We study probabilistic team semantics which is a semantical framework allowing the study of logical and probabilistic dependencies simultaneously. We examine and classify the expressive power of logical formalisms arising by different probabilistic atoms such as conditional independence and different variants of marginal distribution equivalences. We also relate the framework to the first-order theory of the reals and apply our methods to the open question on the complexity of the implication problem of conditional independence.Peer reviewe
Probabilistic Team Semantics
Team semantics is a semantical framework for the study of dependence and independence concepts ubiquitous in many areas such as databases and statistics. In recent works team semantics has been generalised to accommodate also multisets and probabilistic dependencies. In this article we study a variant of probabilistic team semantics and relate this framework to a Tarskian two-sorted logic. We also show that very simple quantifier-free formulae of our logic give rise to backslashmathrm NP NP -hard model checking problems.Peer reviewe
Parametrised Complexity of Model Checking and Satisfiability in Propositional Dependence Logic
In this paper, we initiate a systematic study of the parametrised complexity
in the field of Dependence Logics which finds its origin in the Dependence
Logic of V\"a\"an\"anen from 2007. We study a propositional variant of this
logic (PDL) and investigate a variety of parametrisations with respect to the
central decision problems. The model checking problem (MC) of PDL is
NP-complete. The subject of this research is to identify a list of
parametrisations (formula-size, treewidth, treedepth, team-size, number of
variables) under which MC becomes fixed-parameter tractable. Furthermore, we
show that the number of disjunctions or the arity of dependence atoms
(dep-arity) as a parameter both yield a paraNP-completeness result. Then, we
consider the satisfiability problem (SAT) showing a different picture: under
team-size, or dep-arity SAT is paraNP-complete whereas under all other
mentioned parameters the problem is in FPT. Finally, we introduce a variant of
the satisfiability problem, asking for teams of a given size, and show for this
problem an almost complete picture.Comment: Update includes refined result
Undefinability in Inquisitive Logic with Tensor
Logics based on team semantics, such as inquisitive logic and dependence logic, are not closed under uniform substitution. This leads to an interesting separation between expressive power and definability: it may be that an operator O can be added to a language without a gain in expressive power, yet O is not definable in that language. For instance, even though propositional inquisitive logic and propositional dependence logic have the same expressive power, inquisitive disjunction and implication are not definable in propositional dependence logic. A question that has been open for some time in this area is whether the tensor disjunction used in propositional dependence logic is definable in inquisitive logic. We settle this question in the negative. In fact, we show that extending the logical repertoire of inquisitive logic by means of tensor disjunction leads to an independent set of connectives; that is, no connective in the resulting logic is definable in terms of the others.Peer reviewe
PIANO DI PROGRAMMAZIONE 2022 AttivitĂ annuale di Comunicazione istituzionale e Public engagement della Struttura per la comunicazione
Questo documento sintetizza la programmazione 2022 della Struttura per la Comunicazione di Presidenza. l'Istituto Nazionale di Astrofisica (INAF) vuole proseguire anche nel 2022 con decisione sulla strada di un forte engagement del pubblico, intrapresa negli ultimi anni e realizzata attraverso una variegata offerta di prodotti di comunicazione.
Focalizzare la programmazione su alcuni argomenti di punta, ricorrenze ed eventi astronomici permetterĂ di sfruttare con maggiore efficienza la sinergia dei vari canali di comunicazione diretta dell'Ente, che si arricchiranno quest'anno della rivista 'Universi', un vero e proprio house organ di cui sarĂ cruciale anche definire una puntuale lista di indirizzi istituzionali cui farlo avere, da concertare con la segreteria di presidenza.
LâUfficio Stampa, Media Inaf e il Coordinamento nazionale della comunitĂ di Didattica e Divulgazione â le tre anime della Struttura di Comunicazione di Presidenza â lavoreranno di concerto con Edu Inaf e Play Inaf, ulteriori risorse che ampliano lâimpatto della grande âpotenza di fuocoâ della comunicazione dellâIstituto.
Tutto nell'ottica di dare un'immagine quanto mai univoca e identificabile di un Ente che negli anni ha guadagnato una notevole visibilitĂ , grazie alla vasta rete di contatti intrattenuta a tutti i livelli. Un Ente che oggi puĂČ, e deve, fare un salto di qualitĂ e rendere la sua azione di comunicazione quanto mai incisiva.
Lâargomento della nostra ricerca rende il compito piĂč lieve e piĂč oneroso al tempo stesso: mostrare la bellezza dell'Universo in tutta la sua meraviglia e complessitĂ , rendendola intellegibile e vicina a tutti.
La strategia in atto vuole essere di breve periodo, tenuto anche conto che la realizzazione di una grande mostra in uno spazio espositivo di prestigio della Capitale non potrĂ ragionevolmente avvenire prima della fine dell'anno, stante il benestare sul titolo e sul progetto proposto: Macchine del Tempo.
L'Inaf ha in programma anche per quest'anno la partecipazione a una fitta serie di eventi e festival. La partecipazione dell'Ente dovrĂ tener conto dei temi proposti dai vari organizzatori, cercando di declinare i temi di nostro interesse su quelli dei festival, non il contrario.
Le attivitĂ proposte nella presente programmazione potranno essere modificate su richiesta del Presidente
Continuous Team Semantics
Peer reviewe
- âŠ