Title :
Goal Theory Based on Defeasible Logic
Author :
Peng, Yanbin ; Ye, Lv ; Zheng, ZhiJun ; Xiang, Jian ; Gao, Ji ; Ai, Jieqing ; Lu, Zhenyu ; Yu Jin ; Jiang, Xueqin
Author_Institution :
Sch. of Inf. & Electron. Eng., Zhejiang Univ. of Sci. & Technol., Hangzhou
Abstract :
Traditional goal theory adopts Kripkean possible world semantics based normal modal logic to describe goal operator, which has monotonic trait. This paper argues that goal has non-monotonic nature; therefore, defeasible logic is imported to build goal theory. Case study shows that the novel goal theory can solve logic omniscience ideally.
Keywords :
nonmonotonic reasoning; Kripkean possible world semantics; defeasible logic; goal theory; monotonic trait; normal logic; Animals; Artificial intelligence; Computer science; Educational institutions; Engineering management; Lifting equipment; Logic; Technology management;
Conference_Titel :
Intelligent Systems and Applications, 2009. ISA 2009. International Workshop on
Conference_Location :
Wuhan
Print_ISBN :
978-1-4244-3893-8
Electronic_ISBN :
978-1-4244-3894-5
DOI :
10.1109/IWISA.2009.5072890
