基于扩展描述逻辑和逻辑程序的事件动作形式化表示与推理

  • 格式:pdf
  • 大小:966.41 KB
  • 文档页数:11
炜 徐文杰 唐英英 付剑 锋。 张旭 洁 刘 宗 田 上海 立信会 计 学院数 学 与信 息 学院 上海 2 0 1 6 2 0 ) ( 上海大学计算机工程与科学学院 上海 2 0 0 0 7 2 ) (
摘 要 “ 事件 ” 是 比“ 概念” 粒度更大的人类知识表示单元 , 更接近 于人 类的认知 过程 。动作作 As a n i mp o r t a n t e l e me n t o f t h e e v e n t , a c t i o n d e s c r i b e s t h e p r o c e s s o f s t a t u s c h a n g e o f t h e o b j e c t s i n t h e e v e n t .
( S c h o o l o f Ma t h e ma t i c s a n d I n f o r ma t i o n , S h a n g h a i L i x i n Un i v e r s i t y o f o mme C r c e , S h a n g ai h 2 0 1 6 2 0 , Ch i n a ) 。
第4 1 卷 第1 期 2 0 1 4年 1月


机 科

Vo 1 . 4 1 No . 1
Co mp u t e r S c i e n c e
J a n 2 0 1 4
基 于扩 展 描 述 逻 辑 和 逻 辑 程 序 的事 件 动 作 形 式 化 表 示 与 推 理
和逻辑程序设计进行整合 , 增强 了动作 的表 达能 力; 在动 作的推理 中, 将 确定性 动作转化 为逻辑 程序 Da t a l o g规 则实
现动 态推理 , 将不确定性动作转化为 D a t a l o g 一规 则实现 不确定推理 。最后通过银行服务 系统实例对动作 的形式化表
示 和推 理 进 行 了验 证 。
Ad d i n g t i me t o t h e p r o c e s s o f s t a t u s c h a n g e , a n d d e s c r i b i n g a c t i o n a s t h e p r o c e s s o f o h j e c f s s t a t u s c h a n g e wi t h t i me , l e a d

素, 表示事件 中对象的状态的变化过 程。在状 态的变化 过程 中加入 时间信 息, 将动作表示为对 象的状 态随 时间变化 而
变化 的过程 , 使得 动作描 述得更加 具体。运 用事件 中的动作 、 对 象和时 间要素构 建 了一个 动作形式化体 系, 研 究 了事 件知识 中确 定性动作和 不确 定性动作 的语 法表 示和语 义解释 。该 形式化体 系将扩展 的 带时间维 的描 述逻辑 T - A L C
针对这些问题本文以事件作为动态知识表示的单元先以扩展描述逻辑talc为基础构建基于描述逻辑的知识库据动作理论封装描述逻辑知识库和规则知识库形成确定性动作和不确定性动作的表示并在推理时根据确定性动作语义将确定性动作根据不确定性动作语义整合描述逻辑开放世界假说的义与非单调规则封闭世界假说的语义将不确定性动作转化为将本体与规则嵌入特定的逻辑语言使用统一的知识表示与推理语法共享语义兼容descriptionlogicprogramdlp15和语义网规则semanticwebrulelanguageswrl16roleconjunctionform扩allog17相连
( S c h o o l o f Co mp ut e r En g i n e e r i n g a n d S c i e n c e , S h a n g h a i Un i v e r s i t y, S h a n g h a i 2 0 0 0 7 2, Chi n a )
t o a mo r e s p e c i i f c d e s c r i p t i o n o f a c t i o n . T h i s p a p e r c o n s t r u c t e d a n a c t i o n f o r ma l i s m t h r o u g h a c i t o n s , o b j e c t s a n d t i me i n
关键 词
r r _ A L C, 逻辑程序 , 事件动作 , 动作推理 , 不确定性推 理
T P 3 9 1 文献标识 码 A
中图法分 类号
F o r ma l i z e d Re p r e s e n t a t i o n a n d Re a s o n i n g o f E v e n t Ac t i o n B a s d e o n Ex t e n d e d
Ab s t r a c t Ev e n t i s a h u ma n k n o wl e d g e u n i t wi t h l a r g e r - g r a i n e d t h a n c o n c e p t .I t i s e l o s e t t o t h e h m a u n c o g n i iv t e
t h e e v e n t , a n d s t u d i e d s t h e s y n t a x a n d s e ma n t i c s o f c e r t a i n t y a c t i o n a n d u n c e r t a i n a c t i o . Th n i s a c t i o n or f ma l i s m c o m—
De s c r i pt i o n Lo g i c nd a Lo g i e Pr o g r a m
L I U We i X U We n - j i e TA NG Y i n g - y i n g F U J i a n - f e n g 2 Z HANG X u - j i e L I U Z o n g - t i a n