?????? ??????????? ?????????? ??????? ? ??????????? ???????????? ????????? ????????? ??? ???????

1
?????????????? ??????????????? ???????????
?????? ??????????? ?????????? ??????? ?
??????????? ???????????? ????????? ????????? ???
??????? ????????
????????? ?.?., ??????? ?.?., ?????? ?.?.,
??????????? ?.?.
RCDL - 2008
2
????????
?????????? ??????? ?????????? ?????????????? ?
??????? ??????? ? ???????????, ??????? ????????
?? ????? ?????????? ???????. ????????? ???
?????????????? ?????????? ???????? ???????????
????????????.
????????? ??????????? ?????? ??? ?????? ??????? ?
??????????? ????????????

• ???????????? ??????????
• ?? ???????? ???????????????,
• ?????? ???????????? ??????? ?????? ? ?????????.

gt
RCDL - 2008
3
???????????? ??????????

• ????????? ????????????? ??????-??????, ? ????
  ??????? ????? ???? ???????? ??????? ??????,
  ????????, ??????? ? ????????? (http//www.w3.org/2
  005/rules/wiki/RIF_Working_Group).
• ???? PMML, ???????? ??? ?????? ????????????? ?
  ?????? ???????????? ??????? ??????? ??????
  (http//www.dmg.org/pmml-v3-2.html).
• ??????? ?????? MKM ??? ?????? ???????????????
  ???????????? (http//www.mkm-ig.org/).
• ???? RuleML, ??????????? ?????????? ?????????
  ???? ?????? (http//www.ruleml.org/).

???????? ? ?????? ?????????????? ?????
??????????? ? ???? ??????
???? (???????), ?? (?????)
RCDL - 2008
4
?? ????????
- ??????????? ?????? ????????????? ???????
RCDL - 2008
5
??????????? ??????
???????????? ??????? ???????? ???????? ??????????
????????? ????????????
RCDL - 2008
6
????? ??????? ?? ????????

• ?????????? ??? ???????? ???????, ?????? ??????
  ????????, ???????? ???????????? (?????? ??????) ?
  ???????????
• ???????????? ????????? ???????, ? ?????
  ?????????? ?????? ? ???????
• ????? ? ????????? ??????? ? ??????????? ??????
  ??????????????
• ?????????????? ????????? ??????? ?? ??????
  ?????? ? ??????
• ?????????? ??????? ? ??????????? ?
  ?????????????? ?????

RCDL - 2008
7
???????????? ???????? ????????????

1. ???????? ?????? ?? ?????????? ?????????
2. ????????????? ????????? ??????

? ??? ????? ?????????????? ?????
1 ? 20
2 ? 25

1. ?????? ?????? ? ??????? ?????? ??????

RCDL - 2008
8
????? ???????? ????????????
?????????????
?????
???? ?????? ??????????
?????????? ????????????
??????????
RCDL - 2008
9
????? ? ??????? ? ???????

• - ???????? ??????????
• ?????, ???????,
• ???????

compare_structure(????????? 1, ????????? 2) n
- ????????????? ?? ???? ?????? ??????????????
RCDL - 2008
10
?????? ??????? ?? ????? Datalog
(???? RuleML)
ltImpliesgt ltheadgt ltAtomgt ltVargttext
2lt/Vargt ltRelgttype of textlt/Relgt
ltVargttype 1lt/Vargt lt/Atomgt lt/headgt
ltbodygt ltAtomgt ltVargttext 1lt/Vargt
ltRelgttype of textlt/Relgt ltVargttype
1lt/Vargt lt/Atomgt ltAtomgt ltVargttext
1lt/Vargt ltRelgtstructure of textlt/Relgt
ltVargtstructure 1lt/Vargt lt/Atomgt
?
? ltAtomgt ltVargttext 2lt/Vargt
ltRelgtstructure of textlt/Relgt
ltVargtstructure 2lt/Vargt lt/Atomgt ltAtomgt
ltVargtstructure 1lt/Vargt ltRelgtis
likelt/Relgt ltVargtstructure 2lt/Vargt
ltIndgtm lt/Indgt lt/Atomgt lt/bodygt lt/Impliesgt
RCDL - 2008
11
???????? ????? ? ?? ?????????-???????? ??????
?????????? ???? ?? ??????? ???????? ?????
??? ??????? ?? ??? ?????, ?????????? ?.
?????????? ? 1841 ???? ??? ??????? ?? ???
?????, ???????? ????? ????? ??? ??? ??? ??
?????? ?? ????, ?? ?????, ?????, ?????????
?????, ???? ?????? ?????? ????????.
RCDL - 2008
12
?????? ????? ????? ??? ??????? ?? ??? ?????
RCDL - 2008
13
???? ?????? ????? ??? ??????? ?? ??? ?????
?? ????? ???????? ????? ??????????? ? ?????????
????????, ????????? ?. ??????????.
?????-?????????, 1841. ?. 67.
RCDL - 2008
14
???? ?????? ????? ?? ?? ??????, ????
?? ????? ???????? ????????? ???????? ?
????????????, ?????????????? ? ???????????????
??????????. ????. ?. ??????. ???., 1842. ?.
181-182.
RCDL - 2008
15
???? ?????? ????? ??????? ??????
?? ????? ???????? ????????? ???????? ?
????????????, ?????????????? ? ???????????????
??????????. ????. ?. ??????. ???., 1842. ?.
182-183.
RCDL - 2008
16
???? ?????? ????? ??????? ? ??????? ??????
?? ????? ???????? ????????? ???????? ?
????????????, ?????????????? ? ???????????????
??????????. ????. ?. ??????. ???., 1842. ?.
179-181
RCDL - 2008
17
???? ?????? ????? ????????? ???
?? ????? ???????? ?. ?. ????????? ???????,
?????, ???? ? ????? ? ???????? ?????????
????????. ????????????, 1916. ?. 72.
RCDL - 2008
18
?????? (1) ??????????????, ?????????? ???
??????? ??????????? ?????
???? ? ????? ????? ????? ?????? mgt14 ? ?????
????? ngt17, ?? ??? ????? ? ???????
???????????? ??????????? ? ??????? ?????.
RCDL - 2008
19
????????????? ??????? ?? ????? RuleML
?
ltVargt????? ??????lt/Vargt
ltVargt14lt/Vargt
lt/Atomgt ltAtomgt
ltRelgt??????lt/Relgt ltVargt?????
?????lt/Vargt ltVargt17lt/Vargt
lt/Atomgt lt/Andgt
ltbodygt lt/Impliesgt
ltImpliesgt ltheadgt ltAtomgt
ltRelgt????? ????lt/Relgt
ltVargt?????lt/Vargt
ltVargt???????lt/Vargt ltVargt? ???????
????????????lt/Vargt lt/Atomgt
lt/headgt ltbodygt ltAndgt
ltAtomgt ltRelgt??????lt/Relgt
?
RCDL - 2008
20
?????? (2) ??????????????, ?????????? ??? ???????
??????????? ?????
???? ? ????? ????? ??????????? ??????? ?????
?????? ???????? ? ???????????, ? ???????
?????? ?????????? ??????? ???????? ???????????
?????, ?? ??? ????? ? ??????? ????????????
????? ???????? ????.
RCDL - 2008
21
????????????? ??????? ?? ????? RuleML
ltImpliesgt ltheadgt ltAtomgt
ltRelgt????? ????lt/Relgt
ltVargt?????lt/Vargt
ltVargt????????lt/Vargt ltVargt?
???????
????????????lt/Vargt lt/Atomgt ltheadgt
ltbodygt ltAndgt ltAtomgt
ltrelgt????? ???????????lt/relgt
ltvargt?????lt/vargt
ltvargt??????? ?????? ??????
????????lt/vargt
lt/Atomgt ?
? ltAtomgt
ltrelgt????? ???????????lt/relgt
ltvargt?????lt/vargt
ltvargt??????? ??????
???????????lt/vargt lt/Atomgt
ltAtomgt ltrelgt?????
???????????lt/relgt
ltvargt?????lt/vargt ltvargt???????
?????? ?????????? ???????
????????lt/vargt lt/Atomgt
lt/Andgt ltbodygt lt/Impliesgt
RCDL - 2008
22
???????? ?????? ? ?????????? ??????
?????????? ?????????? ?????????? ?????,
????????????? ????? ?????? ??????????? ??????.

• ?????????? ?????? ???????? ??????
• CLIPS, SWI-Prolog
• RuleML ??? ?????? ? ??????? ???????????? ?
  ?????????

• RuleML ? ???????? ??????????? ??????? ????????
  ??????
• Bossam ?????????? ? ?????? ?????????
  Semantic Web,
• OO jDREW ?????????? ?? Java,
• DR-DEVICE ??????????? ? ???????? ????????
  ? ?????????????? ??????????

RCDL - 2008
23
RCDL - 2008
24
??????? ?? ????????!
RCDL - 2008