Goal representation and reasoning based on Description Logics(DLs)

被引：0
|
作者：
Wu, Xiuguo [1 ]
Zeng, Guangzhou [1 ]
Han, Fangxi [1 ]
Wang, Rui [1 ]
机构：
[1] Shandong Univ, Sch Comp Sci & Technol, Jinan 250014, Peoples R China
来源：
PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON INTELLIGENT SYSTEMS AND KNOWLEDGE ENGINEERING (ISKE 2007) | 2007年
关键词：
goal representation; goal reasoning; Description Logics DL(s); agent;
D O I：
10.2991/iske.2007.73
中图分类号：
TP18 [人工智能理论];
学科分类号：
081104 ; 0812 ; 0835 ; 1405 ;
摘要：
Over the past decades, goal models have been used in Computer Science in order to represent business objective, design qualities and desirable states. The main merit of goal-driven systems is that they bridge the human and the machine level problem solving. This paper presents first steps towards the definition of goals based on Description Logics(DLs), which are able to represent structural knowledge in a formal and well-understood way. In particular, the paper proposes a goal planning algorithm to achieve an agent's goal, and the preliminary results demonstrate that our implementation provides a practical solution.
引用
收藏
页数：1
相关论文
共 50 条
  • [31] Decomposition-based Reasoning for Large Knowledge Bases in Description Logics
    Le Pham, Thi Anh
    Le-Thanh, Nhan
    LEADING THE WEB IN CONCURRENT ENGINEERING: NEXT GENERATION CONCURRENT ENGINEERING, 2006, 143 : 288 - +
  • [32] Reasoning in expressive description logics with fixpoints based on automata on infinite trees
    Calvanese, D
    De Giacomo, G
    Lenzerini, M
    IJCAI-99: PROCEEDINGS OF THE SIXTEENTH INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE, VOLS 1 & 2, 1999, : 84 - 89
  • [33] Description logics for the representation of aggregated objects
    Sattler, U
    ECAI 2000: 14TH EUROPEAN CONFERENCE ON ARTIFICIAL INTELLIGENCE, PROCEEDINGS, 2000, 54 : 239 - 243
  • [34] Order-Oriented Reasoning in Description Logics
    Vanekova, Veronika
    Vojtas, Peter
    ADVANCES IN INTELLIGENT WEB MASTERING-2, PROCEEDINGS, 2010, 67 : 219 - +
  • [35] The complexity of finite model reasoning in description logics
    Lutz, C
    Sattler, U
    Tendera, L
    INFORMATION AND COMPUTATION, 2005, 199 (1-2) : 132 - 171
  • [36] Reasoning about Typicality in Preferential Description Logics
    Giordano, Laura
    Gliozzi, Valentina
    Olivetti, Nicola
    Pozzato, Gian Luca
    LOGICS IN ARTIFICIAL INTELLIGENCE, PROCEEDINGS, 2008, 5293 : 192 - +
  • [37] Reasoning on expressive description logics with arithmetic constraints
    Barcenas, Everardo
    Molero, Guillermo
    Sanchez, Gabriela
    Benitez-Guerrero, Edgard
    Mezura-Godoy, Carmen
    2016 INTERNATIONAL CONFERENCE ON ELECTRONICS, COMMUNICATIONS AND COMPUTERS (CONIELECOMP), 2016, : 180 - 185
  • [38] A framework for part-of reasoning in description logics
    不详
    PART-WHOLE REASONING IN AN OBJECT-CENTERED FRAMWORK, 2000, 1771 : 41 - 53
  • [39] Finite Model Reasoning in Horn Description Logics
    Ibanez-Garcia, Yazmin
    Lutz, Carsten
    Schneider, Thomas
    FOURTEENTH INTERNATIONAL CONFERENCE ON THE PRINCIPLES OF KNOWLEDGE REPRESENTATION AND REASONING, 2014, : 288 - 297
  • [40] Reasoning in Description Logics with Typicalities and Probabilities of Exceptions
    Pozzato, Gian Luca
    SYMBOLIC AND QUANTITATIVE APPROACHES TO REASONING WITH UNCERTAINTY, ECSQARU 2017, 2017, 10369 : 409 - 420
12345