DocumentCode
2038178
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
fYear
2009
fDate
23-24 May 2009
Firstpage
1
Lastpage
4
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;
fLanguage
English
Publisher
ieee
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
Type
conf
DOI
10.1109/IWISA.2009.5072890
Filename
5072890
Link To Document