This paper is concerned with a preliminary consideration to provide the formal specification of language of knowledge processing system SKAUS (Super Knowledge Acquisition and Utilization System) which incorporates uncertain knowledge processing and non-symbolic information processing units in the system. SKAUS is planned as a super set of KAUS developed by the authors. KAUS implement multi-layer logic (MLL for short) based on classical set theory. SKAUS is intended to have additional capabilities of KAUS, such as representing uncertain knowledge in the forms of language used in fuzzy set theory and probability theory. In addition to this extension, we try to incorporate matrix logic into our extension so as to process non-symbolic information in corporation with neural networks.
CITATION STYLE
Yamauchi, H., & Ohsuga, S. (1999). Incorporating fuzzy set theory and matrix logic in multi-layer logic – a preliminary consideration. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 1711, pp. 304–314). Springer Verlag. https://doi.org/10.1007/978-3-540-48061-7_37
Mendeley helps you to discover research relevant for your work.