A Many-Valued Logic for Approximate Reasoning

A new system of many-valued logic, the Extended Post system of order p, p ≥ 2, is proposed as a system of logic supporting reasoning with facts and rules which are reliable to a specified extent. In an Extended Post system there are as many operations of logical disjunction and logical conjunction as there are truth values. The truth value associated with a particular operation of disjunction (conjunction) acts as a threshold value controlling the behavior of the operation. The availability of an extended set of logical operations provides improved flexibility in the symbolic translation of sentences from the ordinary word-language. Extended Post systems are equipped with a semantics in which graded rather than crisp sets correspond to predicates. The system exhibits a "rich" algebraic structure. The p operations of disjunction form a distributivity cycle. To each disjunction there corresponds a dual operation of conjunction, the two operations being distributive to one another. The p conjunctions form a dual distributivity cycle. Both propositional calculus and first-order predicate calculus of EP systems are developed. The application to approximate reasoning is described. It is shown that there exist distinct isomorphic copies of fuzzy logic, each corresponding to a distinct level of approximation and being complete to resolution.

[1]  J. A. Robinson,et al.  A Machine-Oriented Logic Based on the Resolution Principle , 1965, JACM.

[2]  Stanley L. Hurst,et al.  Multiple-Valued Logic—its Status and its Future , 1984, IEEE Transactions on Computers.

[3]  P. Dwinger.  A Survey of the Theory of Post Algebras and Their Generalizations , 1977 .

[4]  Paul C. Rosenbloom,et al.  Post algebras I. Postulates and general theory , 1942 .

[5]  Glenn Shafer,et al.  A Mathematical Theory of Evidence , 2020, A Mathematical Theory of Evidence.

[6]  Silvano Di Zenzo,et al.  Multiple boolean algebras and their application to fuzzy sets , 1985, Inf. Sci..

[7]  Bede Rundle,et al.  AN INTRODUCTION TO MANY‐VALUED LOGICS , 1968 .

[8]  Atwell R. Turquette,et al.  On the Many-Valued Logics , 1941 .

[9]  Nils J. Nilsson,et al.  Probabilistic Logic * , 2022 .

[10]  N. Rescher.  Many Valued Logic , 1969 .

[11]  G. Epstein.  The lattice theory of Post algebras , 1960 .

[12]  Lotfi A. Zadeh,et al.  A Theory of Approximate Reasoning , 1979 .

[13]  Richard C. T. Lee,et al.  Some Properties of Fuzzy Logic , 1971, Inf. Control..

[14]  Helena Rasiowa.  Many-Valued Algorithmic Logic as a Tool to Investigate Programs , 1977 .

[15]  Richard Bellman,et al.  Local and fuzzy logics , 1996 .

[16]  Richard C. T. Lee.  Fuzzy Logic and the Resolution Principle , 1971, JACM.

[17]  H. Rasiowa.  An Algebraic Approach To Non Classical Logics , 1974 .

[18]  S. Guccione,et al.  In the Labyrinth of Many Valued Logics , 1983 .

[19]  Emil L. Post.  Introduction to a General Theory of Elementary Propositions , 1921 .

[20]  Alan R. Aronson,et al.  A Note on Fuzzy Deduction , 1980, JACM.

[21]  Henri Prade,et al.  A Computational Approach to Approximate and Plausible Reasoning with Applications to Expert Systems , 1985, IEEE Transactions on Pattern Analysis and Machine Intelligence.

[22]  William F. Eddy,et al.  Structures of Rule-Based Belief Functions , 1986, IBM J. Res. Dev..

[23]  Robert G. Wolf.  A Survey of Many-Valued Logic (1966–1974) , 1977 .

[24]  Silvano Di Zenzo.  A New Many-Valued Logic and its Application to Approximate Reasoning , 1986, IFIP Congress.

[25]  Peter N. Marinos.  Fuzzy Logic and its Application to Switching Systems , 1969, IEEE Transactions on Computers.