. iftCt* mi • vc/?v? W-C- .

4 mv. ->X*

H

’!-4%'-*:«&*?■: ' •".' •:.' '■'’■>■*' ■'«' - ć. -V ••'

•- - -

-* 5f* v‘V>>.*JK 5* ^ 1* *y^D?V * * • i; v^^vV^fSrfT;^*. j$»r v^y_>.^.r;-:>_:.

IL* n>--»*'•* . -•    -    .    ‘ , i    v •

stem

opisie świata

lii- fi i

I

/>•    . v • * .    \ *,£*    * #

*« opisie Świata rzeczy wistog    hcerr

możliwość zdefiniowania wszystkich dopi

struktur, które mogłyby być traktowane ii abstrakcyjne stanu tego świata. 7 ijuygyi

li#** Iw* ^ł • •

rzeczywistego „

wszystkich dopuszczalnych

>yć traktowane jako modele —_J3-^ oidiiu tego świata. Z uwagi

liczbę takich stanów nie można ich wszystkich wyszczególnić jawnie.

Więzy integralności (ang. intearity constraints) - to zbiór warunków, których spełnienie jest konieczne,

aby o danej strukturze można orzec, że jest ona niesprzeczna z tym opisem.

Język więzów integralności    ¹

n

e język JWI określa się następująco:

JWI = <X, P, L>,

X - zbiór nazw wartości języka JOS.

* zbiór predykatów języka JOS.

I zbiór symboli logicznych .

'T'*}