In order for unmanned aircraft systems (UAS) to fly safely into civil airspace, the development o... more In order for unmanned aircraft systems (UAS) to fly safely into civil airspace, the development of vigorous unmanned aircraft’s Accident Avoidance System (UAS-AAS) is rather crucial. However, accurate localization is a key prerequisite for a UAS-AAS to be successful. This paper investigate the application of two filtering and smoothing techniques to a UAS given the aircraft dynamics, sensor performance, and the environment in which the aircraft operate. The navigational system provides data of position, velocity and noise. Navigational data is randomly generated. The estimated position of the UAS is then determined by applying the Kalman filtering, Kalman smoothing, Particle filtering and Particle smoothing. The experimental result shows that irrespective of the errors in the measurements, both techniques perform well in estimating the true position of the system. However, the smoothing techniques show the higher accuracy of the results due to the use of more future data than filter...
Relational representation of knowledge makes it possible to perform all the computations and deci... more Relational representation of knowledge makes it possible to perform all the computations and decision making in a uniform relational way (46), by means of special relational compositions called triangle and square products. These were first introduced by Bandler and Kohout in 1977 (11),(5),(2) and are referred to as the BK-products in the literature (22),(17),(18). Their theory and applications have made
In this paper, a fuzzy web information retrieval system is developed. The system uses many of the... more In this paper, a fuzzy web information retrieval system is developed. The system uses many of the tools and methods involved in fuzzy logic and fuzzy set theory, along with standard algorithms involving information retrieval on the web. The results of the ranking algorithm use the fuzzy relational BK-products, fuzzy thesauri, and fuzzy closure properties for purposes of retrieving relevant documents to a user query. Along with the fuzzy inference engine, the other subsystems of a search engine are also developed. A crawler is developed that adheres to standard internet etiquette rules. An inverted index database is used to store the internet document information retrieved by the crawler and an interface is also provided to allow users to search for gathered information located within the database. The results of the developed system are compared with existing search engines. The benefits of using a fuzzy information retrieval system are discussed, along with the issues that arise fr...
Relational computing structures make it possible to perform knowledge representation as well as ... more Relational computing structures make it possible to perform knowledge representation as well as all the computations in intelligent systems in a unified way. When crisp computations are replaced by fuzzy relational computations, it is possible to improve significantly handling of indeterminacy and incompleteness of information. Fuzzy computational structures in which cuts commute with closures over relational properties, provide in addition the means for significant data compression, resulting in significant speedup of computations. BK-relational products provide axiomatics necessary for constructive computational procedures that rigorously satisfy the above formulated requirements. Furthermore, relational specifications of soft computing architectures have great unifying power.
Fuzzy relations offer the means for discovering and analyzing structures hidden in business, medi... more Fuzzy relations offer the means for discovering and analyzing structures hidden in business, medical scientific and technological data. A large variety of competing systems of many-valued logic connectives may be used in defining relational computations, each system of connectives extracting a different fuzzy relational structure from the analyzed data. Hence, new methods for comparing the inner structure of relations obtained
This paper demonstrates the importance of generalized morphisms of relations in computational sem... more This paper demonstrates the importance of generalized morphisms of relations in computational semiotics. The paper starts by presenting an overview of the basic theoretical notions concerned with semiotic descriptors and relational morphisms. This is followed by a case study utilizing real life engineering data in which we show how these basic notions can be used computationally in investigation of context dependency of some linguistic engineering constructs
Complex manufacturing environments of the 21st century require a new level of analysis to be glob... more Complex manufacturing environments of the 21st century require a new level of analysis to be globally competitive. The large number of highly complex variables (often compounded by significant levels of uncertainty) encountered in decision making activities related to such environments, demand the advanced methodology represented by our application of fuzzy relational methods. We present a methodology that utilizes current high-level Web enabling programming languages to implement software tools in a manner that lends itself to the easy distribution and sharing of knowledge via the Internet. Extended OpenMath communication have a key role to play in the advancement of this approach
... Piaget group of transformation is satisfied by some many-valued logics (Dubois and Prade 1980... more ... Piaget group of transformation is satisfied by some many-valued logics (Dubois and Prade 1980).For all these logics described in the quoted reference, the connectives characterized by the Piaget group are ... See the list of references in (Kohout and Kim 2004) for further details. ...
... e-mail: kohout@cs.fsu.edu Eunjin Kim Dept. of ... connectives. Such a global characterization... more ... e-mail: kohout@cs.fsu.edu Eunjin Kim Dept. of ... connectives. Such a global characterization of two-valued connectives of logic was first given by a Swiss psychologist Jean Piaget in the context of studies of human cognitive development. ...
This paper continues investigation of systems of fuzzy interval logics based on the Checklist Par... more This paper continues investigation of systems of fuzzy interval logics based on the Checklist Paradigm semantics of Bandler and Kohout. The paper looks at the alternative negations that may appear in the interval system rti. In the previous papers dealing with checklist paradigm based interval systems the 2ary connectives were the interval connectives but the negation was just a point, 1 - a, not an interval. In this paper we look at genuine interval pairs of negations in system m1. We compare negations generated by the Sheffer (NAND), the Nicod (NOR) and the implication connectives. We can see that each of these connectives defines a different negation, unlike in the case of 2-valued logic.
This paper continues investigation of systems of fuzzy interval logics based on the Checklist Par... more This paper continues investigation of systems of fuzzy interval logics based on the Checklist Paradigm semantics of Bandler and Kohout [1] [2]. While the early papers dealt with checklist paradigm based interval systems containing commutative AND and OR, this paper is the fifth in the series of papers in which we have been describing the systems in which these connective types are non-commutative. In the present paper we investigate non-commutative interval system generated from implication operators based on the Checklist Paradigm measure m 3 of Bandler and Kohout. This system includes the well-known Early Zadeh implication operator (PLY) which is not contrapositive. While the commutative systems can be sufficiently characterized by an 8-element group of transformations, the non-commutative systems require the 16 element group ${\mathcal S}_{2 \times 2 \times 2 \times 2}$ .
This paper describes the method we have developed for cost/performance comparison of technologica... more This paper describes the method we have developed for cost/performance comparison of technological objects using fuzzy interval ranking computation method. First, fuzzy logics, RE-fuzzy relational products and fast fuzzy relational algorithms implemented in the TRISYS software are used to compute the fuzzy pre-ordering of technological objects. Next, fuzzy interval ranking computation method, called FIRE, is applied to thus obtained fuzzy
The global structure of various systems of logic connectives is investigated by looking at abstra... more The global structure of various systems of logic connectives is investigated by looking at abstract group properties of the group of transformations of these. Such characterizations of fuzzy interval logics are examined in Sections 4–9. The paper starts by introducing readers to the Checklist Paradigm semantics of fuzzy interval logics (Sections 2 and 3). In the Appendix we present some basic notions of fuzzy logics, sets and many-valued logics in order to make the paper accessible to readers not familiar with fuzzy sets.
The global structure of systems of various logic connectives can be investigated by looking at ab... more The global structure of systems of various logic connectives can be investigated by looking at abstract group properties of the group of their transformations. The paper examines such characterisations in some detail. It also look at such characterisation of some systems for interval fuzzy inference
In order for unmanned aircraft systems (UAS) to fly safely into civil airspace, the development o... more In order for unmanned aircraft systems (UAS) to fly safely into civil airspace, the development of vigorous unmanned aircraft’s Accident Avoidance System (UAS-AAS) is rather crucial. However, accurate localization is a key prerequisite for a UAS-AAS to be successful. This paper investigate the application of two filtering and smoothing techniques to a UAS given the aircraft dynamics, sensor performance, and the environment in which the aircraft operate. The navigational system provides data of position, velocity and noise. Navigational data is randomly generated. The estimated position of the UAS is then determined by applying the Kalman filtering, Kalman smoothing, Particle filtering and Particle smoothing. The experimental result shows that irrespective of the errors in the measurements, both techniques perform well in estimating the true position of the system. However, the smoothing techniques show the higher accuracy of the results due to the use of more future data than filter...
Relational representation of knowledge makes it possible to perform all the computations and deci... more Relational representation of knowledge makes it possible to perform all the computations and decision making in a uniform relational way (46), by means of special relational compositions called triangle and square products. These were first introduced by Bandler and Kohout in 1977 (11),(5),(2) and are referred to as the BK-products in the literature (22),(17),(18). Their theory and applications have made
In this paper, a fuzzy web information retrieval system is developed. The system uses many of the... more In this paper, a fuzzy web information retrieval system is developed. The system uses many of the tools and methods involved in fuzzy logic and fuzzy set theory, along with standard algorithms involving information retrieval on the web. The results of the ranking algorithm use the fuzzy relational BK-products, fuzzy thesauri, and fuzzy closure properties for purposes of retrieving relevant documents to a user query. Along with the fuzzy inference engine, the other subsystems of a search engine are also developed. A crawler is developed that adheres to standard internet etiquette rules. An inverted index database is used to store the internet document information retrieved by the crawler and an interface is also provided to allow users to search for gathered information located within the database. The results of the developed system are compared with existing search engines. The benefits of using a fuzzy information retrieval system are discussed, along with the issues that arise fr...
Relational computing structures make it possible to perform knowledge representation as well as ... more Relational computing structures make it possible to perform knowledge representation as well as all the computations in intelligent systems in a unified way. When crisp computations are replaced by fuzzy relational computations, it is possible to improve significantly handling of indeterminacy and incompleteness of information. Fuzzy computational structures in which cuts commute with closures over relational properties, provide in addition the means for significant data compression, resulting in significant speedup of computations. BK-relational products provide axiomatics necessary for constructive computational procedures that rigorously satisfy the above formulated requirements. Furthermore, relational specifications of soft computing architectures have great unifying power.
Fuzzy relations offer the means for discovering and analyzing structures hidden in business, medi... more Fuzzy relations offer the means for discovering and analyzing structures hidden in business, medical scientific and technological data. A large variety of competing systems of many-valued logic connectives may be used in defining relational computations, each system of connectives extracting a different fuzzy relational structure from the analyzed data. Hence, new methods for comparing the inner structure of relations obtained
This paper demonstrates the importance of generalized morphisms of relations in computational sem... more This paper demonstrates the importance of generalized morphisms of relations in computational semiotics. The paper starts by presenting an overview of the basic theoretical notions concerned with semiotic descriptors and relational morphisms. This is followed by a case study utilizing real life engineering data in which we show how these basic notions can be used computationally in investigation of context dependency of some linguistic engineering constructs
Complex manufacturing environments of the 21st century require a new level of analysis to be glob... more Complex manufacturing environments of the 21st century require a new level of analysis to be globally competitive. The large number of highly complex variables (often compounded by significant levels of uncertainty) encountered in decision making activities related to such environments, demand the advanced methodology represented by our application of fuzzy relational methods. We present a methodology that utilizes current high-level Web enabling programming languages to implement software tools in a manner that lends itself to the easy distribution and sharing of knowledge via the Internet. Extended OpenMath communication have a key role to play in the advancement of this approach
... Piaget group of transformation is satisfied by some many-valued logics (Dubois and Prade 1980... more ... Piaget group of transformation is satisfied by some many-valued logics (Dubois and Prade 1980).For all these logics described in the quoted reference, the connectives characterized by the Piaget group are ... See the list of references in (Kohout and Kim 2004) for further details. ...
... e-mail: kohout@cs.fsu.edu Eunjin Kim Dept. of ... connectives. Such a global characterization... more ... e-mail: kohout@cs.fsu.edu Eunjin Kim Dept. of ... connectives. Such a global characterization of two-valued connectives of logic was first given by a Swiss psychologist Jean Piaget in the context of studies of human cognitive development. ...
This paper continues investigation of systems of fuzzy interval logics based on the Checklist Par... more This paper continues investigation of systems of fuzzy interval logics based on the Checklist Paradigm semantics of Bandler and Kohout. The paper looks at the alternative negations that may appear in the interval system rti. In the previous papers dealing with checklist paradigm based interval systems the 2ary connectives were the interval connectives but the negation was just a point, 1 - a, not an interval. In this paper we look at genuine interval pairs of negations in system m1. We compare negations generated by the Sheffer (NAND), the Nicod (NOR) and the implication connectives. We can see that each of these connectives defines a different negation, unlike in the case of 2-valued logic.
This paper continues investigation of systems of fuzzy interval logics based on the Checklist Par... more This paper continues investigation of systems of fuzzy interval logics based on the Checklist Paradigm semantics of Bandler and Kohout [1] [2]. While the early papers dealt with checklist paradigm based interval systems containing commutative AND and OR, this paper is the fifth in the series of papers in which we have been describing the systems in which these connective types are non-commutative. In the present paper we investigate non-commutative interval system generated from implication operators based on the Checklist Paradigm measure m 3 of Bandler and Kohout. This system includes the well-known Early Zadeh implication operator (PLY) which is not contrapositive. While the commutative systems can be sufficiently characterized by an 8-element group of transformations, the non-commutative systems require the 16 element group ${\mathcal S}_{2 \times 2 \times 2 \times 2}$ .
This paper describes the method we have developed for cost/performance comparison of technologica... more This paper describes the method we have developed for cost/performance comparison of technological objects using fuzzy interval ranking computation method. First, fuzzy logics, RE-fuzzy relational products and fast fuzzy relational algorithms implemented in the TRISYS software are used to compute the fuzzy pre-ordering of technological objects. Next, fuzzy interval ranking computation method, called FIRE, is applied to thus obtained fuzzy
The global structure of various systems of logic connectives is investigated by looking at abstra... more The global structure of various systems of logic connectives is investigated by looking at abstract group properties of the group of transformations of these. Such characterizations of fuzzy interval logics are examined in Sections 4–9. The paper starts by introducing readers to the Checklist Paradigm semantics of fuzzy interval logics (Sections 2 and 3). In the Appendix we present some basic notions of fuzzy logics, sets and many-valued logics in order to make the paper accessible to readers not familiar with fuzzy sets.
The global structure of systems of various logic connectives can be investigated by looking at ab... more The global structure of systems of various logic connectives can be investigated by looking at abstract group properties of the group of their transformations. The paper examines such characterisations in some detail. It also look at such characterisation of some systems for interval fuzzy inference
Uploads