计算机科学
計算機科學
계산궤과학
COMPUTER SCIENCE
2014年
9期
210-214,238
,共6页
动态时序描述逻辑%动作推理%动态域%动作理论
動態時序描述邏輯%動作推理%動態域%動作理論
동태시서묘술라집%동작추리%동태역%동작이론
Dynamic linear temporal description logic%Reasoning about action%Dynamic domain%Action theory
动态时序描述逻辑(DLTLDL)是一类描述逻辑的动态时序扩展.提出一种基于DL TLALCIO的动态域建模方法,利用该方法可构造出刻画动态域知识的DL TLALCIO理论,并解决动作推理中的框架问题和分支问题.动作推理问题,如动作可执行性和投影问题等,可归结为关于DL TLALCIO理论的推理问题,并最终归结为DL TLALCIO的公式可满足性问题.DL TLALCIO公式可表达动作和时间约束,相对于其他基于描述逻辑的动作形式,基于DL TLALCIO的动作形式在需要执行复杂查询,尤其是含时间或动作的查询的应用场合具有更好的适用性.
動態時序描述邏輯(DLTLDL)是一類描述邏輯的動態時序擴展.提齣一種基于DL TLALCIO的動態域建模方法,利用該方法可構造齣刻畫動態域知識的DL TLALCIO理論,併解決動作推理中的框架問題和分支問題.動作推理問題,如動作可執行性和投影問題等,可歸結為關于DL TLALCIO理論的推理問題,併最終歸結為DL TLALCIO的公式可滿足性問題.DL TLALCIO公式可錶達動作和時間約束,相對于其他基于描述邏輯的動作形式,基于DL TLALCIO的動作形式在需要執行複雜查詢,尤其是含時間或動作的查詢的應用場閤具有更好的適用性.
동태시서묘술라집(DLTLDL)시일류묘술라집적동태시서확전.제출일충기우DL TLALCIO적동태역건모방법,이용해방법가구조출각화동태역지식적DL TLALCIO이론,병해결동작추리중적광가문제화분지문제.동작추리문제,여동작가집행성화투영문제등,가귀결위관우DL TLALCIO이론적추리문제,병최종귀결위DL TLALCIO적공식가만족성문제.DL TLALCIO공식가표체동작화시간약속,상대우기타기우묘술라집적동작형식,기우DL TLALCIO적동작형식재수요집행복잡사순,우기시함시간혹동작적사순적응용장합구유경호적괄용성.
