Matl language
Download
1 / 3

MATL: Language - PowerPoint PPT Presentation


  • 74 Views
  • Uploaded on

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.

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

PowerPoint Slideshow about ' MATL: Language' - myron


An Image/Link below is provided (as is) to download presentation

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
Matl language
MATL: Language

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


Matl language1
MATL: Language

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


Matl language2
MATL: Language

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


ad