This paper establishes a fundamental framework of automata theory based on complete residuated lattice-valued logic. First it deals with how to extend the transition relation of states and par-ticularly presents a cha...This paper establishes a fundamental framework of automata theory based on complete residuated lattice-valued logic. First it deals with how to extend the transition relation of states and par-ticularly presents a characterization of residuated lattice by fuzzy automata (called (?) valued automata). After that fuzzy subautomata (called (?) valued subautomata), successor and source operators are pro-posed and their basic properties as well as the equivalent relation among them are discussed, from which it follows that the two fuzzy operators are exactly fuzzy closure operators. Finally an L bifuzzy topological characterization of Q valued automata is presented, so a more generalized fuzzy automata theory is built.展开更多
Aims Predicting suitable habitat distribution is an effective way to protect rare or endangered medicinal plants.Cornus officinalis is a perennial tree growing in forest edge and its air-dried pericarp is one of the t...Aims Predicting suitable habitat distribution is an effective way to protect rare or endangered medicinal plants.Cornus officinalis is a perennial tree growing in forest edge and its air-dried pericarp is one of the traditional Chinese medicines(TCM)with significant medicinal values.In recent years,C.officinalis has undergone severe degeneration of its natural habitat owing to growing market demands and unprecedented damage to the forests.Moreover,the degeneration of suitable habitat has threatened the supply of medicinal materials,and even led to the extinction of some engendered medicinal plant species.In this case,there is a great risk to introduce and cultivate medicinal plants if planners determine the suitable cultivation regions based on personal subjective experience alone.Therefore,predicting suitable potential habitat distribution of medicinal plants(e.g.C.officinalis)and revealing the environmental factors determining such distribution patterns are important to habitat conservation and environmental restoration.Methods In this article,we report the results of a study on the habitat distribution of C.officinalis using maximum entropy(Maxent)modeling and fuzzy logics together with loganin content and environmental variables.The localities of 106 C.officinalis in China were collected by our group and other researchers and used as occurrence data.The loganin content of 234 C.officinalis germplasm resources were tested by high-performance liquid chromatography(HPLC)and used as content data.79 environmental variables were selected and processed with multicollinearity test by using Pearson Correlation Coefficient(r)to determine a set of independent variables.The chosen variables were then processed in the fuzzy linear model according to the cell values(maximum,minimum)of localities with estimated loganin content.The SDMtoolbox was used to spatially rarefy occurrence data and prepare bias files.Furthermore,combined Maxent modeling and fuzzy logics were used to predict the suitable habitat of C.officinalis.The 展开更多
It reveals some equivalences between automata based on complete residuated lattice-valued logic (called (?) valued automata) and the truth-value lattice of the underlying logic (i.e. residuated lattice). In particular...It reveals some equivalences between automata based on complete residuated lattice-valued logic (called (?) valued automata) and the truth-value lattice of the underlying logic (i.e. residuated lattice). In particular, it demonstrates several basic equivalent characterizations on the retriev-ability of (?) valued automata. Finally, the connections of the homomorphisms between two eeeeeeeeee valued automata to continuous mappings and open mappings are clarified. So this paper establishes further the more profound fuzzy automata theory.展开更多
Over the last two decades, there has been an extensive study of logical formalisms on specifying and verifying real-time systems. Temporal logics have been an important research subject within this direction. Although...Over the last two decades, there has been an extensive study of logical formalisms on specifying and verifying real-time systems. Temporal logics have been an important research subject within this direction. Although numerous logics have been introduced for formal specification of real-time and complex systems, an up to date survey of these logics does not exist in the literature. In this paper we analyse various temporal formalisms introduced for specification, including propositional/first-order linear temporal logics, branching temporal logics, interval temporal logics, real-time temporal logics and probabilistic temporal logics. We give decidability, axiomatizability, expressiveness, model checking results for each logic analysed. We also provide a comparison of features of the temporal logics discussed.展开更多
To enable representation and reasoning for fuzzy ontologies with expressive fuzzy knowledge on the semantic web, a new fuzzy extension of description logics called the fuzzy description logics with comparison expressi...To enable representation and reasoning for fuzzy ontologies with expressive fuzzy knowledge on the semantic web, a new fuzzy extension of description logics called the fuzzy description logics with comparison expressions （FCDLs） is presented. The syntax and semantics of FCDLs are formally defined, and the forms of axioms and assertions in FCDLs knowledge bases are specified. FCDLs combine both fuzzy concepts from the fuzzy description logics （FDLs） and cut concepts from the extended fuzzy description logics （EFDLs） in the same theory. Furthermore, cut concepts are extended into comparison cut concepts in FCDLs to represent comparison expressions between fuzzy membership degrees, which are often used in practice but not supported by the other fuzzy extensions of description logics. FCDLs have more expressive power than FDLs and EFDLs, and are able to represent expressive fuzzy knowledge and to perform reasoning tasks based on them. Therefore, FCDLs can enable representation and reasoning for fuzzy ontologies with expressive fuzzy knowledge on the semantic web.展开更多
Ontology is defined as an explicit specification of a conceptualization. In this paper, an extended ontology model was constructed using description logics, which is a 5-tuples including term set, individual set, term...Ontology is defined as an explicit specification of a conceptualization. In this paper, an extended ontology model was constructed using description logics, which is a 5-tuples including term set, individual set, term definition set, instantiation assertion set and term restriction set. Based on the extended model, the issue on ontology checking was studied with the conclusion that the four kinds of term checking, including term satisfiability checking, term subsumption checking, term equivalence checking and term disjointness checking, can be reduced to the satisfiability checking, and satisfiability checking can be transformed into instantiation consistence checking.展开更多
基金This work was supported by the National Foundation for Distinguished Young Scholars (Grant No. 69725004) the National Key Project for Basic Research (Grant No.1998030509) the National Natural Science Foundation of China (Grant No. 69823001).
文摘This paper establishes a fundamental framework of automata theory based on complete residuated lattice-valued logic. First it deals with how to extend the transition relation of states and par-ticularly presents a characterization of residuated lattice by fuzzy automata (called (?) valued automata). After that fuzzy subautomata (called (?) valued subautomata), successor and source operators are pro-posed and their basic properties as well as the equivalent relation among them are discussed, from which it follows that the two fuzzy operators are exactly fuzzy closure operators. Finally an L bifuzzy topological characterization of Q valued automata is presented, so a more generalized fuzzy automata theory is built.
基金National Natural Science Foundation of China(31100241 to C.K.B.)the Fundamental Research Funds for the Central Universities(GK201402025 to C.K.B.)+3 种基金Shaanxi Science and Technology Plan Project(2011K16-02-05 to C.K.B.)Xi’an Technology Plan Project(NC1116(1)to C.K.B.)Project of Co-Innovation Center for Qinba regions’sustainable development(CIC-QBRSD to C.K.B.)Innovation Funds of Graduate Programs of Shaanxi Normal University(2013CXS017 to B.C.).
文摘Aims Predicting suitable habitat distribution is an effective way to protect rare or endangered medicinal plants.Cornus officinalis is a perennial tree growing in forest edge and its air-dried pericarp is one of the traditional Chinese medicines(TCM)with significant medicinal values.In recent years,C.officinalis has undergone severe degeneration of its natural habitat owing to growing market demands and unprecedented damage to the forests.Moreover,the degeneration of suitable habitat has threatened the supply of medicinal materials,and even led to the extinction of some engendered medicinal plant species.In this case,there is a great risk to introduce and cultivate medicinal plants if planners determine the suitable cultivation regions based on personal subjective experience alone.Therefore,predicting suitable potential habitat distribution of medicinal plants(e.g.C.officinalis)and revealing the environmental factors determining such distribution patterns are important to habitat conservation and environmental restoration.Methods In this article,we report the results of a study on the habitat distribution of C.officinalis using maximum entropy(Maxent)modeling and fuzzy logics together with loganin content and environmental variables.The localities of 106 C.officinalis in China were collected by our group and other researchers and used as occurrence data.The loganin content of 234 C.officinalis germplasm resources were tested by high-performance liquid chromatography(HPLC)and used as content data.79 environmental variables were selected and processed with multicollinearity test by using Pearson Correlation Coefficient(r)to determine a set of independent variables.The chosen variables were then processed in the fuzzy linear model according to the cell values(maximum,minimum)of localities with estimated loganin content.The SDMtoolbox was used to spatially rarefy occurrence data and prepare bias files.Furthermore,combined Maxent modeling and fuzzy logics were used to predict the suitable habitat of C.officinalis.The
基金This work was supported by the National Foundation for Distinguished Young Scholars (Grant No. 69725004)the National Key Project for Basic Research (Grant No. 1998030509).
文摘It reveals some equivalences between automata based on complete residuated lattice-valued logic (called (?) valued automata) and the truth-value lattice of the underlying logic (i.e. residuated lattice). In particular, it demonstrates several basic equivalent characterizations on the retriev-ability of (?) valued automata. Finally, the connections of the homomorphisms between two eeeeeeeeee valued automata to continuous mappings and open mappings are clarified. So this paper establishes further the more profound fuzzy automata theory.
文摘Over the last two decades, there has been an extensive study of logical formalisms on specifying and verifying real-time systems. Temporal logics have been an important research subject within this direction. Although numerous logics have been introduced for formal specification of real-time and complex systems, an up to date survey of these logics does not exist in the literature. In this paper we analyse various temporal formalisms introduced for specification, including propositional/first-order linear temporal logics, branching temporal logics, interval temporal logics, real-time temporal logics and probabilistic temporal logics. We give decidability, axiomatizability, expressiveness, model checking results for each logic analysed. We also provide a comparison of features of the temporal logics discussed.
基金The National Natural Science Foundation of China(No.60373066,60425206,90412003),the National Basic Research Pro-gram of China (973Program)(No.2002CB312000),the Innovation Plan for Jiangsu High School Graduate Student, the High TechnologyResearch Project of Jiangsu Province (No.BG2005032), and the Weap-onry Equipment Foundation of PLA Equipment Ministry ( No.51406020105JB8103).
文摘To enable representation and reasoning for fuzzy ontologies with expressive fuzzy knowledge on the semantic web, a new fuzzy extension of description logics called the fuzzy description logics with comparison expressions （FCDLs） is presented. The syntax and semantics of FCDLs are formally defined, and the forms of axioms and assertions in FCDLs knowledge bases are specified. FCDLs combine both fuzzy concepts from the fuzzy description logics （FDLs） and cut concepts from the extended fuzzy description logics （EFDLs） in the same theory. Furthermore, cut concepts are extended into comparison cut concepts in FCDLs to represent comparison expressions between fuzzy membership degrees, which are often used in practice but not supported by the other fuzzy extensions of description logics. FCDLs have more expressive power than FDLs and EFDLs, and are able to represent expressive fuzzy knowledge and to perform reasoning tasks based on them. Therefore, FCDLs can enable representation and reasoning for fuzzy ontologies with expressive fuzzy knowledge on the semantic web.
基金National Natural Science Foundation ofChina(No.70 2 710 3 8)
文摘Ontology is defined as an explicit specification of a conceptualization. In this paper, an extended ontology model was constructed using description logics, which is a 5-tuples including term set, individual set, term definition set, instantiation assertion set and term restriction set. Based on the extended model, the issue on ontology checking was studied with the conclusion that the four kinds of term checking, including term satisfiability checking, term subsumption checking, term equivalence checking and term disjointness checking, can be reduced to the satisfiability checking, and satisfiability checking can be transformed into instantiation consistence checking.
