separator
University of Trento
Spring 2010

LANGUAGES - SLIDE 01

Intro01

LANGUAGES - SLIDE 02

Intro02

LANGUAGES - SLIDE 03

Intro02

LANGUAGES - SLIDE 04

Intro02

LANGUAGES - SLIDE 05

Intro02

LANGUAGES - SLIDE 06

Intro02

LANGUAGES - SLIDE 07

Intro02

LANGUAGES - SLIDE 08

Intro02

LANGUAGES - SLIDE 09

Intro02

LANGUAGES - SLIDE 10

Intro02

LANGUAGES - SLIDE 11

Intro02

LANGUAGES - SLIDE 12

Intro02

Individuals here is not such a good word, because usually are some generous concepts and sometimes some individuals.

LANGUAGES - SLIDE 13

Intro02

LANGUAGES - SLIDE 14

Intro02

LANGUAGES - SLIDE 15

Intro02

LANGUAGES - SLIDE 16

Intro02

LANGUAGES - SLIDE 17

Intro02

LANGUAGES - SLIDE 18

Intro02

LANGUAGES - SLIDE 19

Intro02

LANGUAGES - SLIDE 20

Intro02

I:L->D,where L={A,∧,∨,¬},if I take ∧,∨,¬ as the domain of interpretation function,that will make no sense. So,the domain of interpretation should not include the standalone "∧,∨,¬ ",but it can bbtain the symbol in the form of wff,namely logic symbol combined with Atomic ,for instance I(¬A),I(A∧B).

LANGUAGES - SLIDE 21

Intro02

LANGUAGES - SLIDE 22

Intro02

LANGUAGES - SLIDE 23

Intro02

LANGUAGES - SLIDE 24

Intro02

We can derive that in extensional model,D is a set which including the studied instances,L is a set which can obtain objects, attributes,relations and logic operator ∧, ∨, ¬.

As mentioned D = domain (a is in D). The set of objects of interest. But for the formal intensional model we don’t provide any objects as outcome, but we only provide the T/F. So, the D = domain, should be like only = {T, F} as mentioned in the next slide.

LANGUAGES - SLIDE 25

Intro02

LANGUAGES - SLIDE 26

Intro02

LANGUAGES - SLIDE 27

Intro02

LANGUAGES - SLIDE 28

Intro02

LANGUAGES - SLIDE 29

Intro02

LANGUAGES - SLIDE 30

Intro02

LANGUAGES - SLIDE 31

Intro02

LANGUAGES - SLIDE 32

Intro02

LANGUAGES - SLIDE 33

Intro02

LANGUAGES - SLIDE 34

Intro02

LANGUAGES - SLIDE 35

Intro02

LANGUAGES - SLIDE 36

Intro02

LANGUAGES - SLIDE 37

Intro02

LANGUAGES - SLIDE 38

Intro02

LANGUAGES - SLIDE 39

Intro02

LANGUAGES - SLIDE 40

Intro02

LANGUAGES - SLIDE 41

Intro02

LANGUAGES - SLIDE 42

Intro02

separator
University of Trento - Master in Computer Science