In recent years, semantic search has become one hot motivation of the semantic web. In this paper, we propose a semantic-based resource management and search architecture and its implementation in research community, ...
In recent years, semantic search has become one hot motivation of the semantic web. In this paper, we propose a semantic-based resource management and search architecture and its implementation in research community, ...
A great variety of languages can be designed by different people for different purposes to operate resource spaces. Two fundamental issues are: can we design more operations in addition to existing operations? and, ho...
详细信息
In the human, society, interconnection environment and systems methodology perspectives, this paper answers the following questions: What are the Knowledge Grid and its distinguished features? What are its methodology...
详细信息
Bilevel decision addresses the problem in which two levels of decision makers, each tries to optimize their individual objectives under constraints, act and react in an uncooperative, sequential manner. Such a bilevel...
详细信息
This paper proposes a multi-feature constrained method (MFC) to acquire co-referent relations from large-scale Chinese corpora. The MFC has two phases: candidate relations extraction and verification. The extraction p...
详细信息
intelligent tutoring systems have being extensively researched, and are viewed as cost-effective alternatives to traditional education. However, it has been long recognized that development of such systems is labor-in...
详细信息
This paper proposed a practical approach to personalized tutoring planning by exploiting existing tutoring resources (e.g., a book, a courseware). More exactly, it does not build an instructional course from scratch -...
详细信息
In this paper, a novel supervised information feature compression algorithm based on divergence is set up. Firstly, according to the information theory, the concept and its properties of the divergence, i.e. average s...
详细信息
Default description logics are extensions of description logics by Reiter's default logic in order to represent and reason about non-monotonic knowledge. A default says that if its prerequisite is provable, and th...
详细信息
ISBN:
(纸本)9781424404759
Default description logics are extensions of description logics by Reiter's default logic in order to represent and reason about non-monotonic knowledge. A default says that if its prerequisite is provable, and the negation of its justification is not provable, then its consequence is provable. As a method of using defaults in a reverse way, reversing inference rules are introduced to default description logics. For a default, its reversing inference rule says if the negation of the consequence of the default is provable, then the negation of the prerequisite or the negation of the justification of the default is provable. Then a default description theory is extended to an extended default description theory with reversing inference rules and the definition of extensions of the extended default description theory is given. A default description theory can infer statements by using its defaults. However, an extended default description theory can infer statements not only by using its defaults, but by using its reversing inference rules. The relations between default description theories and their extended default description theories are discussed. For a default description theory without extensions, its extended default description theory may have extensions.
暂无评论