Semantic Web Services Composition Using AI Planning of Description Logics
Web services composition techniques are gaining momentum as the opportunity to establish reusable... more Web services composition techniques are gaining momentum as the opportunity to establish reusable and versatile inter-operability applications. The purpose of semantic Web services is to use semantic specification to automate the discovery, invocation, and composition Web services. Description logics is the formalized foundation of semantic Web services and provides well-defined semantics. And many researchers propose their composition approach based on planning techniques. We propose our service composition methods based on description logics and AI planning technologies. Our algorithm for services composition uses backward-chaining search method to find potential candidate services. And we propose a DAG-based method to generate the planning process and filtering the inappropriate services during the DAG generation process. We test our approach on a simple, yet realistic example, and the preliminary results demonstrate that our implementation provides a practical solution
Abstract Agent-oriented programming is an important technology for autonomic computing and grid c... more Abstract Agent-oriented programming is an important technology for autonomic computing and grid computing. Advances in agent technology depend on improving frameworks for building and supporting agent societies. Experience suggests that first generation multi-...
Meta-learning system for KDD is an open and evolving platform for efficient testing and intellige... more Meta-learning system for KDD is an open and evolving platform for efficient testing and intelligent recommendation of data mining process. Meta-learning is adopted to automate the selection and arrangement of algorithms in the mining process of a given application. Execution engine is the kernel of the system to provide mining strategies and services. An extensible architecture is presented for this engine based on mature multi-agent environment, which connects different computing hosts to support intensive computing and complex process control distributedly. Reuse of existing KDD algorithms is achieved by encapsulating them into agents. We also define a data mining workflow as the input of our engine and detail the coordination process of various agents to process it. To take full advantage of the distributed computing resources, an execution tree and a load balance model are designed too.
Dynamic Interaction Protocol Load in Multi-Agent System Collaboration
Multi-agent system(MAS) has more advantages because the agents can collaborate to complete comple... more Multi-agent system(MAS) has more advantages because the agents can collaborate to complete complex tasks. However, the multi-agent interactions are more complex and even uncontrolled and it is difficult to resolve the multi-agent collaborations. This paper focuses on the interaction protocol in MAS. Firstly the interaction ontology library including role ontology, action ontology and message ontology is introduced into the semantic interactions. Then the representation of interaction protocol is presented, which describes an interaction protocol as process description and decision-making rules. Then we propose a three-layer agent architecture that contains knowledge layer, collaboration control layer and communication layer. We embed a protocol interpreter and loader into the collaboration control layer to deal with the interactions between agents. Finally dynamic interaction protocol load in MAS are discussed, which load the interaction protocol from protocol library conveniently and the code will be generated automatically. To the end we give an experiment to verify our resolution.
The computing-intensive data mining for inherently Internet-wide distributed data, referred to as... more The computing-intensive data mining for inherently Internet-wide distributed data, referred to as Distributed Data Mining (DDM), calls for the support of a powerful Grid with an effective scheduling framework. DDM often shares the computing paradigm of local processing and global synthesizing. It involves every phase of Data Mining (DM) processes, which makes the workflow of DDM very complex and can be modelled only by a Directed Acyclic Graph (DAG) with multiple data entries. Motivated by the need for a practical solution of the Grid scheduling problem for the DDM workflow, this paper proposes a novel two-phase scheduling framework, including External Scheduling and Internal Scheduling, on a twolevel Grid architecture (InterGrid, IntraGrid). Currently a DM IntraGrid, named DMGCE (Data Mining Grid Computing Environment), has been developed with a dynamic scheduling framework for competitive DAGs in a heterogeneous computing environment. This system is implemented in an established Multi-Agent System (MAS) environment, in which the reuse of existing DM algorithms is achieved by encapsulating them into agents. Practical classification problems from oil well logging analysis are used to measure the system performance. The detailed experiment procedure and result analysis are also discussed in this paper.
... integrated platform suite for constructing distributed intelligent systems. MAGE ... platform... more ... integrated platform suite for constructing distributed intelligent systems. MAGE ... platform. It provides a new computing and problem-solving paradigm on the Internet in terms ofagent technology. MAGE is fully implemented in Java language. ...
In order to solve the increasing software and network management complexity, the idea of autonomi... more In order to solve the increasing software and network management complexity, the idea of autonomic computing is brought forward by IBM. The aim is to increase the efficiency and decrease the management complexity, which achieves the goals of self-optimizing, self-healing, self-configuring and selfprotecting. One of the critical questions is how to design an efficient and intelligent autonomic element for the autonomic computing system. Due to the intelligent agent characteristics, it is very suitable for agent to build autonomic element. Based on the agent research we build a mind agent model for the autonomic element, which has the autonomous and intelligent characteristics. Then we give a self-optimizing definition for the real application in AGrIP platform.
We present a dynamic description logic D-ALCO@ for representing knowledge about dynamic applicati... more We present a dynamic description logic D-ALCO@ for representing knowledge about dynamic application domains. D-ALCO@ is a combination of a typical action theory and the description logic ALCO@, in such a way that actions are treated as citizens of the logic. Actions of D-ALCO@ are explicitly specified with the help of formulas, and are then used in the construction of concepts and formulas. Based on a regression operator introduced to deal with actions, we provide a tableau-based decision algorithm for this logic.
Science in China Series F: Information Sciences, 2005
The current research progresses and problems of the semantic Web are analyzed in this paper, and ... more The current research progresses and problems of the semantic Web are analyzed in this paper, and the insufficiency of using description logic to act as logical foundation for the semantic Web is analyzed too. According to the characteristics and requirement of the semantic Web, a kind of new dynamic description logic (DDL) framework is presented. The representation and reasoning of static knowledge and dynamic knowledge are integrated in this framework. Especially, a kind of action description method is proposed, and according to description logic theory, the action semantics is described, so DDL is a kind of formal logical framework which can process static knowledge and dynamic knowledge. The DDL has clear and formally defined semantics. It provides decidable reasoning services, and it can support effective representation and reasoning of the static knowledge, dynamic process and running mechanism (realization and subsumption relation of action). Therefore, the DDL provides reasonable logic foundation for the semantic Web, and overcomes the insufficiency of using description logic to act as logical foundation for the semantic Web.
Web services composition techniques are gaining momentum as the opportunity to establish reusable... more Web services composition techniques are gaining momentum as the opportunity to establish reusable and versatile inter-operability applications. Many researchers propose their composition approach based on planning techniques. We propose our context aware planning method which comprises global planning and local optimization based on context information. The major technical contributions of this paper are: (1) We propose an ontology-based framework for the context-aware composition of Web services. Context model, which are structured based on OWL-S, captures the Service-related, Environment-related, and User-related context and can be used in an unambiguous, machine interpretable form. (2) We propose context-aware plan architecture and thus is more scalability and flexibility for the planning process, and thereby improving the efficiency and precision. (3) We propose a hybrid approach to build a plan corresponding to a context-aware service composition, based on global planning and local optimization, considering both the usability and adoption. We test our approach on a simple, yet realistic example, and the preliminary results demonstrate that our implementation provides a practical solution.
The grid concept has recently emerged as a vision of future network based computing, by enabling ... more The grid concept has recently emerged as a vision of future network based computing, by enabling seamless integration of computing systems and clusters, data storage, specialized networks and sophisticated analysis and visualization software. Intelligent agents can play an important role in helping achieve the grid vision. In this paper we propose a model for agent-based grid computing from the implementation point of view. Based on MAGE, a multi-agent framework, we present a reference implementation of this agent-based grid computing model called AGEGC. We believe that AGEGC will be a useful platform for research on agent-based grid computing.
A Dynamic Description Logic for Representation and Reasoning About Actions
We present a dynamic description logic for representation and reasoning about actions, with an ap... more We present a dynamic description logic for representation and reasoning about actions, with an approach that embrace actions into the description logic \(\mathcal {ALCO@}\) . With this logic, description logic concepts can be used for describing the state of the world, and the preconditions and effects of atomic actions; Complex actions can be modeled with the help of standard action operators, such as the test, sequence, choice, and iteration operators; And both atomic actions and complex actions can be used as modal operators to construct formulas. We develop a terminable and correct algorithm for checking the satisfiability of formulas. Based on the algorithm, many reasoning tasks on actions are effectively carried out, including the realizability, executability, projection and planning problems.
Uploads
Papers by Zhongzhi Shi