知识标记与自动推理Web服务的研究
- 格式:pdf
- 大小:428.28 KB
- 文档页数:6
Ab ta t Th n wld erp e e tto n uo tdra o i nt eW e r n i o tn s u o riiilitl src ek o e g e rs na ina d a t mae e s nn o h ba ea g mp ra tis ef r tf a n e— a c
l e c o i n ecmmu i .I r e op o iea tm td ra o i o g nt n o d rt r vd u o e e s nn c mmu iywi nfrnf r to n wld er p ee — y a g nt t au i r ma fk o e g e r sn h o o tt n,am n -o td k o e g r u a u g a b .M S ai o a ys re n wld e m k p ln a e( b r a g KML)i po o e . F rh r r ,i r e o p o ie s rp s d u emo e n o d rt rvd t
务 的调 用过 程 。
关键词
知 识表 示, 分布式 自 动推理 , b we 服务 , 可扩展标 记语言 , 简单对 象访 问协议
Ree r h o o e g a k p a d Au o t d Re s n n e e v c s a c n Kn wld e M r u n t ma e a o i g W b S r ie WANG J - i Z NG u 2 P N Ho i B n a g HA J n E G n g
W e s r. Th n o ma in o r v r r iei e cie sn S bues eifr t fP o e S v c sd s r du igW DL ( e r ieD s r t n L n u g ) o e b W b S vc e e ci i p o a g a e .W h na e cin n teW e ed t ea tma e e s nn e ie ,i rp e e t h r be a l to h bn e h u o t r o i s r c s t e rs n st ep o lm saXM L ( tn il a k p ln e d a g v Ex e sbeM r u - a g a e i o f r ig t h S u g )f ec no n ot eM KM L ID ( c me t p f io )a d sn saS l m E1 Do u n Ty eD i t n n e d OAP r q e t sa eicu ig e ni e u s me s g n ldn t eXMr i o t ea tm tdra o ig s re ,a dt ea t m tdr ao i e e e r sn st es lt na h L f et h uo l a e e s nn e v r n h uo a e e s nn s r rrp ee t h ou i saXM L g v o f ec no i Ot eM s i o fr n t h KM L l m g DTD n e d i b c o t ecin st eS A e p n eme s g . F n ly h l a d sn t ak t h l ta h P r s s s a e ial ,t ewel e O o - k o rica n el e c r be - teS e mr l rp o lm- i s ce sul ov db o e n h S n wn a t iilitlg n ep o lm- h ta ol rb e - s u cs f l s le yPr v ra d t eM KM L e — f i e y rp rs na in ft ep o lm n e e tt so h r be a d RLD e uaina egv n t lsrt u r . o rf tt r ie O i u ta eo rwo k o l Ke wo d Kn wld erp ee tt n Dit b t u o td ra o i , e e ie XM L, (AP y rs o e g e r sn ai , s r u e a tm e e s nn W b s r c , o i d a g v S)
( ihmo t i rD d cin ,. . h OM bet rvr Si l ne .T ePo e a e evc rv Rg t s Ln e ut ) ie ,teC e a o o jc o e,i mpe td h rvrh saW bsri P o - P me e
维普资讯
计 算机科学 20 Vo. 3 o 5 0 6 13 N .
知 识标 记 与 自动 推 理 We 务 的研 究 ) b服
王家兵 张 军。 彭 宏
( 华南理工大学计算机科学与工程学院 广州 504 ) 16 1 ( 广东商学院信息学院 广州 50 2 ) 1 30
eS ri tue h OA ( i l Ob c AcesP ooo)a ecmmu i t npoo o bt e eP o e n r v c t ssteS P Smpe j t cs rtc1 st o e eh a e h nc i rtcl ewent rv r d ao h a
W e s r t u o td ra o ig W e evc ,a p o oy e sse o n -o e rdc t ac l swi D b u eswi a t m e e s nn b s r ie r tt p y tm fm y s r d p e iae c luu t RL h a a t h
( c o l f o u e i c n n ie r g, o t iaUn v r i f c n lg , a g h u 5 0 4 ) S h o mp trS e ea d E g n ei oC c n n S u hChn i est o h oo y Gu n z o 1 6 1 y Te ( h o f n o ma i i c ,Gu n d n o c S o l fr t nS e e oI o c n a g o g C mme c o l e Gu n z o 1 3 0 re l g , a gh u50 2 ) C e
t n演绎策略的 多种 类谓词 演算的Poe e i 采用 i) o O rvr b rvre c v e r r rc v S ve
简单对象访 问协议 S AP SmpeObet cs rtc1作 为服务 器与 we 户问的网络通 信协议 , we 务描 O ( i l jc Aces ooo) P b客 用 b服 述语 言 WS L We evc ecit nL n u g ) D ( bS ri D sr i g a e对其提供的服务进行 了描述 。最后 , 用 RL e po a 运 D演 绎成功 求解 了著 名的人 工智能问题- Semrl r问题 , - t ol a e 并以它为例 , 描述 了该 问题及 R D反驳 的 MS ML表 示 以及 自动推理 we 服 L K b
摘 要 Itme 环境下的知识表示与 自动推理是 广大人 工智能及相 关领 域研 究者 面临的新课 题 。为 了给 自动 推理 ne t
领域提供 一个统一的 问题 ( 知识 ) 表示格式及为 we b用户提供 自动推 理 we b服务 , 出了一 个基 于 多种 类逻辑 的知 提
识 标记 语 言 MS KML( n otdKn wl g ru a g a e 简 写 ) 实现 了使 用 RL Ri t s Ln a e u— Ma yS r o e eM k pL n ug 的 e d a , D( g mo t ier d c h D