It is well known that there exists a tight connection between nonmonotonic reasoning and conditional implication. Many researchers have investigated it from various angles. Among th em, C.Boutilier and P.Lamarre hav...It is well known that there exists a tight connection between nonmonotonic reasoning and conditional implication. Many researchers have investigated it from various angles. Among th em, C.Boutilier and P.Lamarre have shown that some conditional implication may b e regarded as the homology of different nonmonotonic consequence relations. In t his paper, based on the plausibility space introduced by Friedman and Halpern, w e characterize the condition logic in which conditional implication is nonmonoto nic, and this result characterizes the conditional implication which may be rega rded as the corresponding object in Meta language for nonmonotonic inference rel ations.展开更多
This paper presents the differences and relations between background knowledge and domain theories in learning systems. The roles they play during learning procedures are discussed. It is emphasized that background k...This paper presents the differences and relations between background knowledge and domain theories in learning systems. The roles they play during learning procedures are discussed. It is emphasized that background knowledge plays an important role in enhancing the ability of a learning system. An explanation based learning system with domain theory in primary knowledge base and background knowledge in secondary knowledge base is introduced as an example. It shows how background knowledge can be used to solve some of the problems caused by incomplete domain theory in an explanation based learning system. The system can accomplish knowledge level learning through purely deductive approach. At last the acquisition of background knowledge is briefly discussed.展开更多
Based on the achievements of domestic and foreign scholars,the concept of the creativity support system(CSS)is introduced and two basic characteristics of the CSS are concluded:one is based on information technology,t...Based on the achievements of domestic and foreign scholars,the concept of the creativity support system(CSS)is introduced and two basic characteristics of the CSS are concluded:one is based on information technology,the other is assisting users in creatively solving problems.Then,the rationale as well as the correlative knowledge of the creativity support system is analyzed.Finally,according to the software that has been developed,the creativity support system's characteristics of the function is discussed.展开更多
A heuristic theoretical optimal routing algorithm (TORA) is presented to achieve the data-gathering structure of location-aided quality of service (QoS) in wireless sensor networks (WSNs). The construction of TO...A heuristic theoretical optimal routing algorithm (TORA) is presented to achieve the data-gathering structure of location-aided quality of service (QoS) in wireless sensor networks (WSNs). The construction of TORA is based on a kind of swarm intelligence (SI) mechanism, i. e. , ant colony optimization. Firstly, the ener- gy-efficient weight is designed based on flow distribution to divide WSNs into different functional regions, so the routing selection can self-adapt asymmetric power configurations with lower latency. Then, the designs of the novel heuristic factor and the pheromone updating rule can endow ant-like agents with the ability of detecting the local networks energy status and approaching the theoretical optimal tree, thus improving the adaptability and en- ergy-efficiency in route building. Simulation results show that compared with some classic routing algorithms, TORA can further minimize the total communication energy cost and enhance the QoS performance with low-de- lay effect under the data-gathering condition.展开更多
In order to find the completeness threshold which offers a practical method of making bounded model checking complete, the over-approximation for the complete threshold is presented. First, a linear logic of knowledge...In order to find the completeness threshold which offers a practical method of making bounded model checking complete, the over-approximation for the complete threshold is presented. First, a linear logic of knowledge is introduced into the past tense operator, and then a new temporal epistemic logic LTLKP is obtained, so that LTLKP can naturally and precisely describe the system's reliability. Secondly, a set of prior algorithms are designed to calculate the maximal reachable depth and the length of the longest of loop free paths in the structure based on the graph structure theory. Finally, some theorems are proposed to show how to approximate the complete threshold with the diameter and recurrence diameter. The proposed work resolves the completeness threshold problem so that the completeness of bounded model checking can be guaranteed.展开更多
In order to better achieve knowledge sharing based on distributed ontologies, an approach based on ontology context immigration (OCI)is proposed. Compared with traditional approaches such as ontology integration and...In order to better achieve knowledge sharing based on distributed ontologies, an approach based on ontology context immigration (OCI)is proposed. Compared with traditional approaches such as ontology integration and mapping, the proposed approach can reduce the implementation complexity. This approach can be mainly divided into three phases: ontology context determination for a given term, ontology semantic similarity computation between ontology terms, and ontology context immigration. As for a local semantic term based on distributed ontologies, an appropriate ontology context of the term is determined and extracted from a local ontology most associated with the term by using semantic similarity computation. Then, the ontology context is dynamically immigrated to the source ontology for enriching semantic information related to the term. A system called distributed knowledge sharing system(DKSS) is developed to illustrate this approach. The system adopts multi-agent technology for better communication and coordination between different ontology information sources. The experimental results show that it is efficient for distributed ontology knowledge sharing. The proposed approach does not require the support of a global ontology or the maintenance of complex ontology mapping relations, and thus it has better maintainability and scalability.展开更多
To semantically integrate heterogeneous resources and provide a unified intelligent access interface, semantic web technology is exploited to publish and interlink machineunderstandable resources so that intelligent s...To semantically integrate heterogeneous resources and provide a unified intelligent access interface, semantic web technology is exploited to publish and interlink machineunderstandable resources so that intelligent search can be supported. TCMSearch, a deployed intelligent search engine for traditional Chinese medicine (TCM), is presented. The core of the system is an integrated knowledge base that uses a TCM domain ontology to represent the instances and relationships in TCM. Machine-learning techniques are used to generate semantic annotations for texts and semantic mappings for relational databases, and then a semantic index is constructed for these resources. The major benefit of representing the semantic index in RDF/OWL is to support some powerful reasoning functions, such as class hierarchies and relation inferences. By combining resource integration with reasoning, the knowledge base can support some intelligent search paradigms besides keyword search, such as correlated search, semantic graph navigation and concept recommendation.展开更多
The knowledge representation mode and inference control strategy were analyzed according to the specialties of air-conditioning cooling/heating sources selection. The constructing idea and working procedure for knowle...The knowledge representation mode and inference control strategy were analyzed according to the specialties of air-conditioning cooling/heating sources selection. The constructing idea and working procedure for knowledge base and inference engine were proposed while the realization technique of the C language was discussed. An intelligent decision support system (IDSS) model based on such knowledge representation and inference mechanism was developed by domain engineers. The model was verified to have a small kernel and powerful capability in list processing and data driving, which was successfully used in the design of a cooling/heating sources system for a large-sized office building.展开更多
Social computing, as the technical foundation of future computational smart societies, has the potential to improve the effectiveness of opensource big data usage, systematically integrate a variety of elements includ...Social computing, as the technical foundation of future computational smart societies, has the potential to improve the effectiveness of opensource big data usage, systematically integrate a variety of elements including time, human, resources, scenarios, and organizations in the current cyber-physical-social world, and establish a novel social structure with fair information, equal rights, and a flat configuration. Meanwhile, considering the big modeling gap between the model world and the physical world, the concept of parallel intelligence is introduced. With the help of software-defined everything, parallel intelligence bridges the big modeling gap by means of constructing artificial systems where computational experiments can be implemented to verify social policies, economic strategies, and even military operations. Artificial systems play the role of "social laboratories" in which decisions are computed before they are executed in our physical society. Afterwards, decisions with the expected outputs are executed in parallel in both the artificial and physical systems to interactively sense, compute, evaluate and adjust system behaviors in real-time, leading system behaviors in the physical system converging to those proven to be optimal in the artificial ones. Thus, the smart guidance and management for our society can be achieved.展开更多
Immune evolutionary algorithms with domain knowledge were presented to solve the problem of simultaneous localization and mapping for a mobile robot in unknown environments. Two operators with domain knowledge were de...Immune evolutionary algorithms with domain knowledge were presented to solve the problem of simultaneous localization and mapping for a mobile robot in unknown environments. Two operators with domain knowledge were designed in algorithms, where the feature of parallel line segments without the problem of data association was used to construct a vaccination operator, and the characters of convex vertices in polygonal obstacle were extended to develop a pulling operator of key point grid. The experimental results of a real mobile robot show that the computational expensiveness of algorithms designed is less than other evolutionary algorithms for simultaneous localization and mapping and the maps obtained are very accurate. Because immune evolutionary algorithms with domain knowledge have some advantages, the convergence rate of designed algorithms is about 44% higher than those of other algorithms.展开更多
Cognitive radio sensor network is applied to facilitate network monitoring and management, and achieves high spectrum efficiencies in smart grid. However, the conventional traffic scheduling mechanisms are hard to pro...Cognitive radio sensor network is applied to facilitate network monitoring and management, and achieves high spectrum efficiencies in smart grid. However, the conventional traffic scheduling mechanisms are hard to provide guaranteed quality of service for the secondary users. It is because that they ignore the influence of diverse transition requirements in heterogeneous traffi c. Therefore, a novel Qo S-aware packet scheduling mechanism is proposed to improve transmission quality for secondary users. In this mechanism, a Qo S-based prioritization model is established to address data classification firstly. And then, channel quality and the effect of channel switch are integrated into priority-based packet scheduling mechanism. At last, the simulation is implemented with MATLAB and OPNET. The results show that the proposed scheduling mechanism improves the transmission quality of high-priority secondary users and increase the whole system utilization by 10%.展开更多
The formation problem of multi-agent systems via coordinated control is investigated,where the multiple agents can achieve the common velocity with leader and avoid collision during the evolution.In the real-world sit...The formation problem of multi-agent systems via coordinated control is investigated,where the multiple agents can achieve the common velocity with leader and avoid collision during the evolution.In the real-world situation,the communication is often disturbed and inaccurate.Hence,the unknown disturbances are considered in the velocity measurements,which is assumed to be bounded and does not need to be modelled.Moreover,a complicated nonlinear interaction among agents is presented in the design of control.Based on the existing work of multi-agent systems,a flocking control protocol is proposed to address the formation problem in the dynamic topology.The stability analysis is given to prove that the velocities of all agents can converge to the velocity of leader and the stable motion with collision avoidance can be achieved eventually.Finally,some simulations are presented to verify the effectiveness of the proposed algorithm.展开更多
The expert system MUST (Mining Under Structures) shown in this paper and established by the authors is a preliminary expert system to solve the policy-making problems for mining under structures by means of computers ...The expert system MUST (Mining Under Structures) shown in this paper and established by the authors is a preliminary expert system to solve the policy-making problems for mining under structures by means of computers instead of humanbeing. Based on the experience of relative experts,the authors established a knowledge base about the minings under structures,researched into reasonable method to simulate thinking processes of human experts when they are solving the problems, established the network of an expert system and named it ' MUST system' . MUST system uses the method of the structural system analysis approach. A kind of methods of Turbo Prolog and Fortran 77 language alternations is designed to meet the needs of exchange information within the MUST system. Based on this kind of methods MUST system has been constructed and realised on IBM-PC computer. For verifying the correctness, suitability and reliablity of MUST system,some practical examples of minings under structures were tentatively solved using MUST system,whose results are satisfactory.展开更多
Proverbs which are short witty traditional oral expressions handed down from generation to generation as a common heritage is also believed to be true expressions of the Hausa people's philosophy. This philosophy is ...Proverbs which are short witty traditional oral expressions handed down from generation to generation as a common heritage is also believed to be true expressions of the Hausa people's philosophy. This philosophy is clad in different ways by the people as they are continuously at work to give meanings to their creative activities. Proverbs are one of the most relevant expressions of human wisdom and knowledge of nature, psychology, and reality for the Hausa people of Northern Nigeria; however, the images that are presented in the proverbs are culturally defined and they may differ from place to place, as well as from generation to generation. Proverbs are capable of a variety of meanings, according to how and when they are used. These findings have revealed that many popular and interesting Hausa proverbs tell a condensed story; these stories give vivid illustrations which help the hearer understand the proverbs. In this paper, the author attempts a deep intellectual analysis into the story-lines behind the emergence of some selected Hausa proverbs, with a view to comprehending and propagating embedded ideas and cultural principles or philosophies that may be relevant for contemporary social usage.展开更多
Based on the sticking point of the low intelligence of the existing management decision system,this paper puts forward the idea of enriching and refining the knowledge of the system and endowing it with the ability to...Based on the sticking point of the low intelligence of the existing management decision system,this paper puts forward the idea of enriching and refining the knowledge of the system and endowing it with the ability to learn by means of adopting three types of heterogeneous knowledge representation and knowledge management measures.At length,this paper outlines the basic framework of an intelligence system for the sake of management decision problem.展开更多
The performance of a sonar system is closely related to the marine environment and the target characteristics. When dealing with the echoes of a traditional active sonar system, the sonar designers often do not take i...The performance of a sonar system is closely related to the marine environment and the target characteristics. When dealing with the echoes of a traditional active sonar system, the sonar designers often do not take into account the influence of the environmental information and prior knowledge perceived by sonar receivers, making it difficult to obtain desired processing results. Based on the basic principle and key technology of sonar, this paper proposed a cognition-based intelligent sonar system in theory--cognitive sonar. Cognitive sonar is capable of jointly optimizing the transmission waveform and receiver according to the changes of environment so that its detection and identification performance can be significantly improved.展开更多
文摘It is well known that there exists a tight connection between nonmonotonic reasoning and conditional implication. Many researchers have investigated it from various angles. Among th em, C.Boutilier and P.Lamarre have shown that some conditional implication may b e regarded as the homology of different nonmonotonic consequence relations. In t his paper, based on the plausibility space introduced by Friedman and Halpern, w e characterize the condition logic in which conditional implication is nonmonoto nic, and this result characterizes the conditional implication which may be rega rded as the corresponding object in Meta language for nonmonotonic inference rel ations.
文摘This paper presents the differences and relations between background knowledge and domain theories in learning systems. The roles they play during learning procedures are discussed. It is emphasized that background knowledge plays an important role in enhancing the ability of a learning system. An explanation based learning system with domain theory in primary knowledge base and background knowledge in secondary knowledge base is introduced as an example. It shows how background knowledge can be used to solve some of the problems caused by incomplete domain theory in an explanation based learning system. The system can accomplish knowledge level learning through purely deductive approach. At last the acquisition of background knowledge is briefly discussed.
基金The National Key Technology R&D Program of China during the 11th Five-Year Plan Period(No.2006BAH02A06)
文摘Based on the achievements of domestic and foreign scholars,the concept of the creativity support system(CSS)is introduced and two basic characteristics of the CSS are concluded:one is based on information technology,the other is assisting users in creatively solving problems.Then,the rationale as well as the correlative knowledge of the creativity support system is analyzed.Finally,according to the software that has been developed,the creativity support system's characteristics of the function is discussed.
基金Supported by the Foundation of National Natural Science of China(60802005,50803016)the Science Foundation for the Excellent Youth Scholars in East China University of Science and Technology(YH0157127)the Undergraduate Innovational Experimentation Program in East China University of Science andTechnology(X1033)~~
文摘A heuristic theoretical optimal routing algorithm (TORA) is presented to achieve the data-gathering structure of location-aided quality of service (QoS) in wireless sensor networks (WSNs). The construction of TORA is based on a kind of swarm intelligence (SI) mechanism, i. e. , ant colony optimization. Firstly, the ener- gy-efficient weight is designed based on flow distribution to divide WSNs into different functional regions, so the routing selection can self-adapt asymmetric power configurations with lower latency. Then, the designs of the novel heuristic factor and the pheromone updating rule can endow ant-like agents with the ability of detecting the local networks energy status and approaching the theoretical optimal tree, thus improving the adaptability and en- ergy-efficiency in route building. Simulation results show that compared with some classic routing algorithms, TORA can further minimize the total communication energy cost and enhance the QoS performance with low-de- lay effect under the data-gathering condition.
基金The National Natural Science Foundation of China (No.10974093)the Scientific Research Foundation for Senior Personnel of Jiangsu University (No.07JDG014)the Natural Science Foundation of Higher Education Institutions of Jiangsu Province (No.08KJD520015)
文摘In order to find the completeness threshold which offers a practical method of making bounded model checking complete, the over-approximation for the complete threshold is presented. First, a linear logic of knowledge is introduced into the past tense operator, and then a new temporal epistemic logic LTLKP is obtained, so that LTLKP can naturally and precisely describe the system's reliability. Secondly, a set of prior algorithms are designed to calculate the maximal reachable depth and the length of the longest of loop free paths in the structure based on the graph structure theory. Finally, some theorems are proposed to show how to approximate the complete threshold with the diameter and recurrence diameter. The proposed work resolves the completeness threshold problem so that the completeness of bounded model checking can be guaranteed.
基金The National Natural Science Foundation of China(No60703036)
文摘In order to better achieve knowledge sharing based on distributed ontologies, an approach based on ontology context immigration (OCI)is proposed. Compared with traditional approaches such as ontology integration and mapping, the proposed approach can reduce the implementation complexity. This approach can be mainly divided into three phases: ontology context determination for a given term, ontology semantic similarity computation between ontology terms, and ontology context immigration. As for a local semantic term based on distributed ontologies, an appropriate ontology context of the term is determined and extracted from a local ontology most associated with the term by using semantic similarity computation. Then, the ontology context is dynamically immigrated to the source ontology for enriching semantic information related to the term. A system called distributed knowledge sharing system(DKSS) is developed to illustrate this approach. The system adopts multi-agent technology for better communication and coordination between different ontology information sources. The experimental results show that it is efficient for distributed ontology knowledge sharing. The proposed approach does not require the support of a global ontology or the maintenance of complex ontology mapping relations, and thus it has better maintainability and scalability.
基金Program for Changjiang Scholars and Innovative Research Team in University (NoIRT0652)the National High Technology Research and Development Program of China (863 Program) ( No2006AA01A123)
文摘To semantically integrate heterogeneous resources and provide a unified intelligent access interface, semantic web technology is exploited to publish and interlink machineunderstandable resources so that intelligent search can be supported. TCMSearch, a deployed intelligent search engine for traditional Chinese medicine (TCM), is presented. The core of the system is an integrated knowledge base that uses a TCM domain ontology to represent the instances and relationships in TCM. Machine-learning techniques are used to generate semantic annotations for texts and semantic mappings for relational databases, and then a semantic index is constructed for these resources. The major benefit of representing the semantic index in RDF/OWL is to support some powerful reasoning functions, such as class hierarchies and relation inferences. By combining resource integration with reasoning, the knowledge base can support some intelligent search paradigms besides keyword search, such as correlated search, semantic graph navigation and concept recommendation.
文摘The knowledge representation mode and inference control strategy were analyzed according to the specialties of air-conditioning cooling/heating sources selection. The constructing idea and working procedure for knowledge base and inference engine were proposed while the realization technique of the C language was discussed. An intelligent decision support system (IDSS) model based on such knowledge representation and inference mechanism was developed by domain engineers. The model was verified to have a small kernel and powerful capability in list processing and data driving, which was successfully used in the design of a cooling/heating sources system for a large-sized office building.
文摘Social computing, as the technical foundation of future computational smart societies, has the potential to improve the effectiveness of opensource big data usage, systematically integrate a variety of elements including time, human, resources, scenarios, and organizations in the current cyber-physical-social world, and establish a novel social structure with fair information, equal rights, and a flat configuration. Meanwhile, considering the big modeling gap between the model world and the physical world, the concept of parallel intelligence is introduced. With the help of software-defined everything, parallel intelligence bridges the big modeling gap by means of constructing artificial systems where computational experiments can be implemented to verify social policies, economic strategies, and even military operations. Artificial systems play the role of "social laboratories" in which decisions are computed before they are executed in our physical society. Afterwards, decisions with the expected outputs are executed in parallel in both the artificial and physical systems to interactively sense, compute, evaluate and adjust system behaviors in real-time, leading system behaviors in the physical system converging to those proven to be optimal in the artificial ones. Thus, the smart guidance and management for our society can be achieved.
基金Projects(60234030 60404021) supported by the National Natural Science Foundation of China
文摘Immune evolutionary algorithms with domain knowledge were presented to solve the problem of simultaneous localization and mapping for a mobile robot in unknown environments. Two operators with domain knowledge were designed in algorithms, where the feature of parallel line segments without the problem of data association was used to construct a vaccination operator, and the characters of convex vertices in polygonal obstacle were extended to develop a pulling operator of key point grid. The experimental results of a real mobile robot show that the computational expensiveness of algorithms designed is less than other evolutionary algorithms for simultaneous localization and mapping and the maps obtained are very accurate. Because immune evolutionary algorithms with domain knowledge have some advantages, the convergence rate of designed algorithms is about 44% higher than those of other algorithms.
基金supported by the State Grid Technology Project of China(SGIT0000 KJJS1500008)
文摘Cognitive radio sensor network is applied to facilitate network monitoring and management, and achieves high spectrum efficiencies in smart grid. However, the conventional traffic scheduling mechanisms are hard to provide guaranteed quality of service for the secondary users. It is because that they ignore the influence of diverse transition requirements in heterogeneous traffi c. Therefore, a novel Qo S-aware packet scheduling mechanism is proposed to improve transmission quality for secondary users. In this mechanism, a Qo S-based prioritization model is established to address data classification firstly. And then, channel quality and the effect of channel switch are integrated into priority-based packet scheduling mechanism. At last, the simulation is implemented with MATLAB and OPNET. The results show that the proposed scheduling mechanism improves the transmission quality of high-priority secondary users and increase the whole system utilization by 10%.
基金the National Key Research and Development Program of China(No.2021ZD0112500)the National Natural Scientific Foundation of China(No.12072128)。
文摘The formation problem of multi-agent systems via coordinated control is investigated,where the multiple agents can achieve the common velocity with leader and avoid collision during the evolution.In the real-world situation,the communication is often disturbed and inaccurate.Hence,the unknown disturbances are considered in the velocity measurements,which is assumed to be bounded and does not need to be modelled.Moreover,a complicated nonlinear interaction among agents is presented in the design of control.Based on the existing work of multi-agent systems,a flocking control protocol is proposed to address the formation problem in the dynamic topology.The stability analysis is given to prove that the velocities of all agents can converge to the velocity of leader and the stable motion with collision avoidance can be achieved eventually.Finally,some simulations are presented to verify the effectiveness of the proposed algorithm.
文摘The expert system MUST (Mining Under Structures) shown in this paper and established by the authors is a preliminary expert system to solve the policy-making problems for mining under structures by means of computers instead of humanbeing. Based on the experience of relative experts,the authors established a knowledge base about the minings under structures,researched into reasonable method to simulate thinking processes of human experts when they are solving the problems, established the network of an expert system and named it ' MUST system' . MUST system uses the method of the structural system analysis approach. A kind of methods of Turbo Prolog and Fortran 77 language alternations is designed to meet the needs of exchange information within the MUST system. Based on this kind of methods MUST system has been constructed and realised on IBM-PC computer. For verifying the correctness, suitability and reliablity of MUST system,some practical examples of minings under structures were tentatively solved using MUST system,whose results are satisfactory.
文摘Proverbs which are short witty traditional oral expressions handed down from generation to generation as a common heritage is also believed to be true expressions of the Hausa people's philosophy. This philosophy is clad in different ways by the people as they are continuously at work to give meanings to their creative activities. Proverbs are one of the most relevant expressions of human wisdom and knowledge of nature, psychology, and reality for the Hausa people of Northern Nigeria; however, the images that are presented in the proverbs are culturally defined and they may differ from place to place, as well as from generation to generation. Proverbs are capable of a variety of meanings, according to how and when they are used. These findings have revealed that many popular and interesting Hausa proverbs tell a condensed story; these stories give vivid illustrations which help the hearer understand the proverbs. In this paper, the author attempts a deep intellectual analysis into the story-lines behind the emergence of some selected Hausa proverbs, with a view to comprehending and propagating embedded ideas and cultural principles or philosophies that may be relevant for contemporary social usage.
基金The paper is supported by National Natural Science Foundation of China (No 70271002)
文摘Based on the sticking point of the low intelligence of the existing management decision system,this paper puts forward the idea of enriching and refining the knowledge of the system and endowing it with the ability to learn by means of adopting three types of heterogeneous knowledge representation and knowledge management measures.At length,this paper outlines the basic framework of an intelligence system for the sake of management decision problem.
基金Supported by Research Foundation of Shaanxi Province Returned Overseas Students No.SLZ2008006
文摘The performance of a sonar system is closely related to the marine environment and the target characteristics. When dealing with the echoes of a traditional active sonar system, the sonar designers often do not take into account the influence of the environmental information and prior knowledge perceived by sonar receivers, making it difficult to obtain desired processing results. Based on the basic principle and key technology of sonar, this paper proposed a cognition-based intelligent sonar system in theory--cognitive sonar. Cognitive sonar is capable of jointly optimizing the transmission waveform and receiver according to the changes of environment so that its detection and identification performance can be significantly improved.