Approximate reasoning using terminological models

Term Subsumption Systems (TSS) form a knowledge-representation scheme in AI that can express the defining characteristics of concepts through a formal language that has a well-defined semantics and incorporates a reasoning mechanism that can deduce whether one concept subsumes another. However, TSS's have very limited ability to deal with the issue of uncertainty in knowledge bases. The objective of this research is to address issues in combining approximate reasoning with term subsumption systems. To do this, we have extended an existing AI architecture (CLASP) that is built on the top of a term subsumption system (LOOM). First, the assertional component of LOOM has been extended for asserting and representing uncertain propositions. Second, we have extended the pattern matcher of CLASP for plausible rule-based inferences. Third, an approximate reasoning model has been added to facilitate various kinds of approximate reasoning. And finally, the issue of inconsistency in truth values due to inheritance is addressed using justification of those values. This architecture enhances the reasoning capabilities of expert systems by providing support for reasoning under uncertainty using knowledge captured in TSS. Also, as definitional knowledge is explicit and separate from heuristic knowledge for plausible inferences, the maintainability of expert systems could be improved

A neuro-fuzzy classifier and its applications

[[abstract]]The authors propose a general fuzzy classification scheme with learning ability using an adaptive network. System parameters, such as the membership functions defined for each feature and the parameterized t-norms used to combine conjunctive conditions, are calibrated with backpropagation. To explain this approach, the concept of adaptive networks is introduced and a supervised learning procedure based on a gradient descent algorithm is derived to update the parameters in an adaptive network. The proposed architecture is applied to two problems: two-spiral classification and Iris categorization. From the experimental results, it is concluded that the adaptively adjusted classifier performs well on an Iris classification problem. The results are discussed from the viewpoint of feature selection[[fileno]]2030226030016[[department]]資訊工程學

Uncertainty in Economic Growth and Inequality

A step to consilience, starting with a deconstruction of the causality of uncertainty that is embedded in the fundamentals of growth and inequality, following a construction of aggregation laws that disclose the invariance principle across heterogeneous individuals, ending with a reconstruction of metric models that yields deeper structural connections via U.S. GDP and income data

Interval-based uncertain reasoning

This thesis examines three interval based uncertain reasoning approaches: reasoning under interval constraints, reasoning using necessity and possibility functions, and reasoning with rough set theory. In all these approaches, intervals are used to characterize the uncertainty involved in a reasoning process when the available information is insufficient for single-valued truth evaluation functions. Approaches using interval constraints can be applied to both interval fuzzy sets and interval probabilities. The notion of interval triangular norms, or interval t-norms for short, is introduced and studied in both numeric and non-numeric settings. Algorithms for computing interval t-norms are proposed. Basic issues on the use of t-norms for approximate reasoning with interval fuzzy sets are studied. Inference rules for reasoning under interval constraints are investigated. In the second approach, a pair of necessity and possibility functions is used to bound the fuzzy truth values of propositions. Inference in this case is to narrow the gap between the pair of the functions. Inference rules are derived from the properties of necessity and possibility functions. The theory of rough sets is used to approximate truth values of propositions and to explore modal structures in many-valued logic. It offers an uncertain reasoning method complementary to the other two