1 / 3

# MATL: Language - PowerPoint PPT Presentation

MATL: Language. To each view a we associate the smallest CTL language containing: a finite set of Propositional Atoms P a the set BA a = { B X f | f is a formula of a B X } , that is the Belief Atoms of the form B X f for each formula f of view a B X. MATL: Language.

I am the owner, or an agent authorized to act on behalf of the owner, of the copyrighted work described.

## PowerPoint Slideshow about ' MATL: Language' - myron

Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author.While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server.

- - - - - - - - - - - - - - - - - - - - - - - - - - E N D - - - - - - - - - - - - - - - - - - - - - - - - - -
Presentation Transcript

To each view a we associate the smallestCTL language containing:

• a finite set of Propositional Atoms Pa

• the set BAa= {BXf| fis a formula of aBX},

that is the Belief Atoms of the form BXf for each

formula f of view aBX

To each view a we associate the smallestCTL language containing:

• a finite set of Propositional Atoms Pa

• the set BAa= {BXf| fis a formula of aBX},

that is the Belief Atoms of the form BXf for each

formula f of view aBX

Example

AG(BABBP)is a formula of viewe

Definition: Given a family{Pa}of sets of propositional

atoms, the family ofMATL languages on

Pais the family of CTL languages{La}

A MATL formulafbelonging toLa is denoted by

a : f

Example

e :AG(BABBP)denotes the formulaAG(BABBP)of view e