Добавил:
ivanov666
Опубликованный материал нарушает ваши авторские права? Сообщите нам.
Вуз:
Предмет:
Файл:Формальные модели в юридической науке и технике. Монография
.pdf
ɪɟɰ
ɚɝɟɧɬ
ɪ
ɢ
ɪɟɰ
ɢɩɢɟɧɬ
ɧɚɱɚɥɶɧɢɤ
ɚɝɟɧɬ
ɨɛɴɟɤɬ
ɤɧɢɝɚ
Ⱥɧɞɪɟɣ
ɨɬɞɚɬɶ
ɢɩɢɟɧɬ
ɡɞɚɬɟɥɶɫɬɜɨ
ɫɨɨɛɳɚɬɶ
ɟɦɹ
ɜ
ɩɪɨɲɟɞɲɟɟ
Рис. 3.
, , « ,
» (. 3).
«
». ,
, , ,
, . .
, . , , , — ,
.
() , ,
. ,
, (, , .)
-
. « »,
, — . , , . , (агент)
, , , ,
..
( ) -
101

.
, ( ) .
—
20 . , ,
—
,
.
. : 1) - ; 2) -;
3) . , —
« », — «», —
«». - « (, — ),
, , .
,
«» ( — , ,
59
)
(.4).
это
инструмент
Рис. 4.
59
Об оружии : 13 1996 . 150- ( .
29 2004 .) // . . 1996. 25 .
инструмент
«»
это
102

это
атрибут атрибут атрибут
значение значение значение
часть
часть
часть
значение
часть
атрибут
Рис. 5.
« »
, ,
(. 5).
, ,
, « ».
,
.
,
. , , ,
,
, . .
,
, . ,
.
103

, —
-,
, ,
.
. ,
,
.
, , , . , ,
, —
.
,
() . , , , ,
(..
) (.. ,
, ). , , ,
, , , ,
, Classic
60
:
And (Man, AtLeast (3, Son), AtMost (2, Daughter),
All (Son), And (Unemploed, Married, All (Spouse, Doctor)),
All (Daughter, And (Professor, Fills (Department, Physics, Math))),
And, All, AtLeast, AtMost, Fills ( SameAs и OneOf)
. - . - . - . - . - . - . - . -. -. - , ( -
60
Рассел С., Норвиг П. : / .
. 2- . ., 2006. . 483.
104

, ,
),
, .
,
, .. .
3.4.
1974 . -
.
: (ACT, action), (PP, picture procedures), -ACT, action), (PP, picture procedures), -, action), (PP, picture procedures), -action), (PP, picture procedures), -), (PP, picture procedures), -PP, picture procedures), -, picture procedures), -picture procedures), - procedures), -procedures), -), (AA, action aiders) (PA, picture
aiders).
: (AT-AT-
TEND, SPEAK), (PROPEL, MOVE, GRASP, INGEST, EXPEL),
(MTRANCE, MBUILD, CONC) (PTRANCE,
ATRANCE).
:
7. ( )
ATRANS EXPEL -
( INGEST)
PTRANS
PROPEL
MOVE
GRASP SPEAK
INGEST ATTEND
MTRANS
MBUILD -
CONC
, -
.
105

8. ( )
PP ACT ,
PP PA
,
R
D
I
X
Y
PP1PP2
2
1
.
, X Y
, PP2 ,
PP1
. 8
.
-
: p — ; f — ; t — ; k —
; ts — ; ? — ; tf —
; : ĸ ( ); ( -).
O (Objective, ),
D(Directive, ),
R(Recipient) I (Instrumental).
,
.
- -
ATRANS,
106

. , « »
John
trans book
OR
to
from
Mary
O , R — ;
Mary PROPEL
stick
John
PHYSCONT
O
stick
John
D
Mary
I
Mary
Mary
do
O
stick
D
John
« ».
ATRANCE . ,
Mary
p
ATRANS OWNERSHIP:
O
book
R
John
Mary
,
Mary
p
ATRANS POSSESSION:
O
book
R
John
Mary
.
-,
:
Mary
Beth
p
ATRANS
ATRANS
O
OWNERSHIP:
O
OWNERSHIP:
car
money
R
Beth
Mary
R
Mary
Beth
« , -
».
.
, , « ,
, »:
Mary
John
R
MTRANS
EXPEL
O
ugly
O
tears
D
X
Mary
Y
eyes
John
R
107

, -
,
. , , , .
-
.
1.
, .
2. , ,
( ),
.
-
. .
3.5.
-
, .. , . .
61
. () ,
; , ,
, ,
, , , .. , : 1) ;
2) ; 3) ; 4) ; 5) ; 6) . .
, ; , ,
. -
61
Schank R., Abelson R. Scripts, Plans, Goals and Understanding: An Inqiury into
Human Knowledge Structures. Hillsdale, 1977. . 73.
108

, ,
.
: ,
; ,
. , .. .
, — , () / -. (. . 3.6).
. , , ;
, . : 1)
; 2) , .. , ,
; 3) ; 4) ; 5) , .. , , , .
,
.
, .
, . , , , : . : , ,
. , .
.
,
,
, . ,
, ,
. — , .
109

.
, ,
: — ; —
.
, -,
.
, , .
, , -
IDEF3 — «». ,
: IDEF — , «» —
«»
62
.
: , .
3.6.
.
. —
,
63
.
. « , — ., — ,
, - , (), , ,
».
, . , . , , ,
62
Паронджанов В. . —
! ., 2001. 360 .
63
Minsky M. A framework for representing knowledge // e Psychology of Computer
Vision / ed.P. Winston. N.-Y., 1975. . 97.
110
Соседние файлы в предмете [НЕСОРТИРОВАННОЕ]
