In order to deal with some vague assertions more efficiently, fuzzy modal logics have been discussed by many researchers. This paper introduces the notation of fuzzy assertion based on propositional modal logic. As an...
详细信息
In order to deal with some vague assertions more efficiently, fuzzy modal logics have been discussed by many researchers. This paper introduces the notation of fuzzy assertion based on propositional modal logic. As an extension of the traditional semantics about the modal logics, the fuzzy Kripke semantics are considered and the formal system of the fuzzy reasoning based on propositional modal logic is established and the properties about the satisfiability of the reasoning system are discussed.
An algebraic multi-class classification method AHSC, i.e. Algebraic Hyper Surface Classification, is proposed. The separating algebraic hyper surface of two-class data may be directly constructed by a single polynomia...
详细信息
ISBN:
(纸本)0780384032
An algebraic multi-class classification method AHSC, i.e. Algebraic Hyper Surface Classification, is proposed. The separating algebraic hyper surface of two-class data may be directly constructed by a single polynomial in theory, but it is too difficult to separate multi-class data by a single polynomial even though the polynomial is multivalued. AHSC can be used for classifying multi-class data by integrating a series of polynomial networks based on binary numbers which are used for lab.ling the classes of samples. The problem that multi-class data can not always be separated by a single polynomial is solved by AHSC. Moreover, the order of polynomial can be chosen by using an adaptive method. The experiment results show that the new method can efficiently and accurately classify multi-class and high dimension data.
Extracting and using goal orderings is a way to improve efficiencies of planning algorithms. During extracting goal orderings, some of existing methods can only deal with atomic goals of a specific problem that will i...
详细信息
ISBN:
(纸本)0780382730
Extracting and using goal orderings is a way to improve efficiencies of planning algorithms. During extracting goal orderings, some of existing methods can only deal with atomic goals of a specific problem that will introduce too much redundant work, and the others deal with predicates of a planning domain that can not extract enough goal orderings. The paper addressed an abstract method to extract goal orderings. The method used unification to identify different instantiations of a predicate when dealing with predicates. It can not only reduce redundant work during extracting, but also get enough goal orderings.
It is crucial to use contextual information to improve the recognition accuracy of Chinese script in an offline, handwritten Chinese character-recognition system. However, with the increase in the number of candidates...
详细信息
暂无评论