aggregate programming through a soft modal logic

63

Aggregate Programming through a Soft Modal Logic Alberto Lluch Lafuente Based on joint work with Ugo Montanari (University of Pisa) Michele Loreti (University of Florence) Martin Rasmussen (DTU) LMU, May 24, 2016

Upload: alberto-lluch-lafuente

Post on 14-Apr-2017

243 views

Category:

Science

1 download

Report

Download

Embed Size (px):

TRANSCRIPT

Page 1: Aggregate Programming through a Soft Modal Logic

Aggregate�Programming�through�a�Soft�Modal�Logic��

Alberto�Lluch�Lafuente��

Based�on�joint�work�with�Ugo�Montanari�(University�of�Pisa)�

Michele�Loreti�(University�of�Florence)�Martin�Rasmussen�(DTU)��

�

LMU,May24,2016

Page 2: Aggregate Programming through a Soft Modal Logic

Page 3: Aggregate Programming through a Soft Modal Logic

LMU,May24,2016

Whatis“aggregateprogramming”?

Page 4: Aggregate Programming through a Soft Modal Logic

Page 5: Aggregate Programming through a Soft Modal Logic

Page 6: Aggregate Programming through a Soft Modal Logic

foldr f z [] = z foldr f z (x:xs) = f x (foldr f z xs)

MPI_Reduce(&sum,...);

SELECT COUNT(*) FROM ...

Page 7: Aggregate Programming through a Soft Modal Logic

LMU,May24,2016

Asoftmodallogicforaggregateprogramming

Page 8: Aggregate Programming through a Soft Modal Logic

⟦ ⟧ ∃ ⟦ ⟧

Page 9: Aggregate Programming through a Soft Modal Logic

⟦ ⟧ ∃ ⟦ ⟧

⟦ ⟧ ⋁ ⟦ ⟧

⟦ ⟧ 𝔹

Page 10: Aggregate Programming through a Soft Modal Logic

⟦ ⟧ ∃ ⟦ ⟧

⟦ ⟧ ⋁ ⟦ ⟧

∃

⟦ ⟧ 𝔹

⟦∃ ⟧ ⋁ ⟦ ⟧

Page 11: Aggregate Programming through a Soft Modal Logic

⟦ ⟧ ∃ ⟦ ⟧

⟦ ⟧ ⋁ ⟦ ⟧

∃

⟦ ⟧ 𝔹

⟦∃ ⟧ ⋁ ⟦ ⟧

Page 12: Aggregate Programming through a Soft Modal Logic

⟦ ⟧ ∃ ⟦ ⟧

⟦ ⟧ ⋁ ⟦ ⟧

∃

⟦ ⟧ 𝔹

⟦∃ ⟧ ⋁ ⟦ ⟧

Page 13: Aggregate Programming through a Soft Modal Logic

Page 14: Aggregate Programming through a Soft Modal Logic

Page 15: Aggregate Programming through a Soft Modal Logic

Page 16: Aggregate Programming through a Soft Modal Logic

Page 17: Aggregate Programming through a Soft Modal Logic

Page 18: Aggregate Programming through a Soft Modal Logic

Page 19: Aggregate Programming through a Soft Modal Logic

Page 20: Aggregate Programming through a Soft Modal Logic

Page 21: Aggregate Programming through a Soft Modal Logic

LMU,May24,2016

Addingrecursion

Page 22: Aggregate Programming through a Soft Modal Logic

⨆ ⨆

Page 23: Aggregate Programming through a Soft Modal Logic

⨆ ⨆

Page 24: Aggregate Programming through a Soft Modal Logic

⨆ ⨆

Page 25: Aggregate Programming through a Soft Modal Logic

⨆ ⨆

Page 26: Aggregate Programming through a Soft Modal Logic

⨆ ⨆

Page 27: Aggregate Programming through a Soft Modal Logic

Page 28: Aggregate Programming through a Soft Modal Logic

Page 29: Aggregate Programming through a Soft Modal Logic

Page 30: Aggregate Programming through a Soft Modal Logic

Page 31: Aggregate Programming through a Soft Modal Logic

LMU,May24,2016

Combiningqueries

Page 32: Aggregate Programming through a Soft Modal Logic

Page 33: Aggregate Programming through a Soft Modal Logic

Page 34: Aggregate Programming through a Soft Modal Logic

Page 35: Aggregate Programming through a Soft Modal Logic

Page 36: Aggregate Programming through a Soft Modal Logic

ϵ

⨆ ⨆

Page 37: Aggregate Programming through a Soft Modal Logic

ϵ

⨆ ⨆

Page 38: Aggregate Programming through a Soft Modal Logic

⨆ ⨆

Page 39: Aggregate Programming through a Soft Modal Logic

⨆ ⨆

Page 40: Aggregate Programming through a Soft Modal Logic

Page 41: Aggregate Programming through a Soft Modal Logic

LMU,May24,2016

CoordinationOfAgents

Page 42: Aggregate Programming through a Soft Modal Logic

Page 43: Aggregate Programming through a Soft Modal Logic

Page 44: Aggregate Programming through a Soft Modal Logic

LMU,May24,2016

GraphDataAnalytics

Page 45: Aggregate Programming through a Soft Modal Logic

Page 46: Aggregate Programming through a Soft Modal Logic

Page 47: Aggregate Programming through a Soft Modal Logic

LMU,May24,2016

Distributedcomputations

Page 48: Aggregate Programming through a Soft Modal Logic

Page 49: Aggregate Programming through a Soft Modal Logic

Page 50: Aggregate Programming through a Soft Modal Logic

Page 51: Aggregate Programming through a Soft Modal Logic

Page 52: Aggregate Programming through a Soft Modal Logic

⨆ ⨆

Page 53: Aggregate Programming through a Soft Modal Logic

⨆ ⨆

Page 54: Aggregate Programming through a Soft Modal Logic

⨆ ⨆

Page 55: Aggregate Programming through a Soft Modal Logic

⨆ ⨆

Page 56: Aggregate Programming through a Soft Modal Logic

⨆ ⨆

Page 57: Aggregate Programming through a Soft Modal Logic

LMU,May24,2016

Wrappingup

Page 58: Aggregate Programming through a Soft Modal Logic

Page 59: Aggregate Programming through a Soft Modal Logic

Page 60: Aggregate Programming through a Soft Modal Logic

Page 61: Aggregate Programming through a Soft Modal Logic

Page 62: Aggregate Programming through a Soft Modal Logic

QUESTIONS?��

[email protected]��

�

LMU,May24,2016

Page 63: Aggregate Programming through a Soft Modal Logic

Modal Logic Epistemic Logic - Stanford AI Labai.stanford.edu/~epacuit/classes/modal-spr2012/eplogic.pdfLarry Moss Johan van Benthem Alexandru Baltag Modal Logic 3/37. Foundations of

Completeness in modal logic

Argumentation Theory and Modal Logic

Modal Logic , 3: Absolute Modal Logic IIIcourses.umass.edu/Phil511-gmh/Pdf/C03.pdfHardegree, Modal Logic , 3: Absolute Modal Logic III-7 it is necessary that P it is necessary that

08—Modal Logic

Algebraic Tools for Modal Logic -

Nottingham · ii Contents 1 Introduction 1 2 Background in modal logic and guarded fragments 6 2.1 Modal logic and rst-order logic 6 2.2 Modal logic vs. rst-order logic 16 2.3 First-order

LSS Modal and Temporal Logic

x1. Introduction. Early modal logic

introduction to the modal logic

Modal logic as metalogic - MISANUkosta/Dosen radovi/[P][33] Modal logic as... · MODAL LOGIC AS METALOGIC 175 called substructural in Dogen (1992)). The nonassociative Lambek calculus,

M. Fitting - Basic Modal Logic

Problems of Proof Theory in Modal Logic - Portal · Questions for a proof theory of modal logic Proof analysis in modal logic First-order modal logic Completeness for Kripke semantics

Abstract model theory for extensions of modal logicAbstract model theory for modal languages ‘Classical’ Abstract Model Theory revisited Modal logic (ii) Modal logic can be seen

Neighborhood Semantics for Modal Logic An …epacuit/classes/esslli/...July 3, 2007 Neighborhood Semantics for Modal Logic 1.1 Relational Semantics for Modal Logic The basic modal

10---Modal Logic I

An Introduction to Modal Logic I Introduction and …phoenix.inf.upol.cz/~ceramim/modal/modal1.pdfIntroduction What is Modal Logic? \Ask three modal logician what modal logic is, and

MODAL LOGIC IN THE MODAL SENSE OF MODALITYjburgess/ModalSenseOfModality.pdf · 2 MODAL LOGIC IN THE MODAL SENSE OF MODALITY 1. MODAL LOGIC & BORDER-CROSSING Originally ‘geometry’

Generalized quantifiers and modal logic

09 Modal Logic II - NUS Computingcs3234/slides/slides_09.color.pdf · Review of Modal Logic Some Modal Logics Natural Deduction in Modal Logic Knowledge in Multi-Agent Systems 09—Modal

Modal Logic and Its applications

Modal Logic, Epistemic Logic

On Modal Logics of Linear Inequalities - Advances in Modal Logic

Regression in Modal Logic

Modal Logic , Chapter 04: Relative Modal Logic 1 of 28 4 ...courses.umass.edu/phil511-gmh/pdf/C04-2016.pdf · Hardegree, Modal Logic, Chapter 04: Relative Modal Logic 3 of 28 the

Logic 2: Modal Logics – Week 1 - Schoubye.orgschoubye.org/teaching/Modal-Logic/LectureNotes.pdf6 Modal Propositional Logic ⋅ Modal Propositional Logic (MPL) is an extension of

pdfs. · PDF filePreface Advances in Modal Logic is the main international forum at which research on all aspects of modal logic is presented. The Advances in Modal Logic Initiative

Semantical Considerations on Modal Logic

Modal Logic, Temporal Logic and the Logic of Agency

On the relation of three-valued logic to modal logic

VARZI - Modal Logic - Class Notes

Introduction to Modal Logic - CMU

499H Modal logic

-Modal Logic-PhDthesis_Marchignoli