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 条

[21] Reasoning in collaboration diagrams by description logics
Nakanishi, H
Miura, T
Shioya, I
COMPUTERS AND THEIR APPLICATIONS, 2004, : 127 - 130
[22] Tractable Reasoning with Bayesian Description Logics
d'Amato, Claudia
Fanizzi, Nicola
Lukasiewicz, Thomas
SCALABLE UNCERTAINTY MANAGEMENT, SUM 2008, 2008, 5291 : 146 - +
[23] Description logics: Foundations for class-based knowledge representation
Calvanese, D
De Giacomo, G
Lenzerini, M
17TH ANNUAL IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE, PROCEEDINGS, 2002, : 359 - 370
[24] Consequence-based reasoning for description logics with disjunctions and number restrictions
1600, AI Access Foundation (63):
[25] Using description logics for knowledge intensive case-based reasoning
Kamp, G
ADVANCES IN CASE-BASED REASONING, 1996, 1168 : 204 - 218
[26] Decomposition-based reasoning for large knowledge bases in description logics
Le Pham, Anh
Le-Thanh, Nhan
Sander, Peter
INTEGRATED COMPUTER-AIDED ENGINEERING, 2008, 15 (01) : 53 - 70
[27] A Tableau-Based Reasoning Algorithm for Distributed Dynamic Description Logics
Wang, Zhuxiao
Guan, Zhitao
Li, Wei
Wu, Kehe
Guo, Jing
Tian, Guanhua
INFORMATION COMPUTING AND APPLICATIONS, PT 1, 2012, 307 : 192 - +
[28] Using description logics for case-based reasoning in hybrid diagnosis
Zeghib, Y
De Beuvron, F
Kullmann, M
INTELLIGENT PROBLEM SOLVING: METHODOLOGIES AND APPROACHES, PRODEEDINGS, 2000, 1821 : 357 - 366
[29] Consequence-Based Reasoning for Description Logics with Disjunctions and Number Restrictions
Bate, Andrew
Motik, Boris
Grau, Bernardo Cuenca
Cucala, David Tena
Simancik, Frantisek
Horrocks, Ian
JOURNAL OF ARTIFICIAL INTELLIGENCE RESEARCH, 2018, 63 : 625 - 690
[30] Research on Ontology Matching Method Based on Description Logics Reasoning Mechanism
Yang, Qing
Zhu, Li
Chen, Wei
WISM: 2009 INTERNATIONAL CONFERENCE ON WEB INFORMATION SYSTEMS AND MINING, PROCEEDINGS, 2009, : 209 - 212

← 1 2 3 4 5 →