Toward a Synergy of a Lattice Implication Algebra with Fuzzy Lattice Reasoning - A Lattice Computing Approach

Automated reasoning can be instrumental in real-world applications involving “intelligent” machines such as (semi-)autonomous vehicles as well as robots. From an analytical point of view, reasoning consists of a series of inferences or, equivalently, implications. In turn, an implication is a function which obtains values in a welldefined set. For instance, in classical Boolean logic an implication obtains values in the set {0, 1}, i.e. it is either true (1) or false (0); whereas, in narrow fuzzy logic an implication obtains values in the specific complete mathematical lattice unit-interval, symbolically [0, 1], i.e. it is partially true/false. A lattice implication algebra (LIA)

[1]  Brian A. Davey,et al.  An Introduction to Lattices and Order , 1989 .

[2]  George A. Papakostas,et al.  Learning Distributions of Image Features by Interactive Fuzzy Lattice Reasoning in Pattern Recognition Applications , 2015, IEEE Computational Intelligence Magazine.

[3]  Jiabin Xu.  (¯ α, ¯ β)-fuzzy Congruence Relation on Lattice Implication Algebras , 2012 .

[4]  Krassimir T. Atanassov,et al.  Intuitionistic fuzzy sets , 1986 .

[5]  Jun Liu,et al.  L-Valued Propositional Logic Lvpl , 1999, Inf. Sci..

[6]  Jun Ma,et al.  Redefined fuzzy implicative filters , 2007, Inf. Sci..

[7]  Jun Liu,et al.  Determination of α-resolution in lattice-valued first-order logic LF(X) , 2011, Inf. Sci..

[8]  Athena Vakali,et al.  Fuzzy lattice reasoning (FLR) type neural computation for weighted graph partitioning , 2009, Neurocomputing.

[9]  Jun Ma,et al.  Linguistic Truth-Valued Lattice Implication Algebra and Its Properties , 2006, The Proceedings of the Multiconference on "Computational Engineering in Systems Applications".

[10]  Jun Liu,et al.  An axiomatizable logical foundation for lattice-ordered qualitative linguistic approach for reasoning with words , 2014, Inf. Sci..

[11]  Raymond Reiter.  Two Results on Ordering for Resolution with Merging and Linear Format , 1971, JACM.

[12]  Kaitai Li,et al.  Fuzzy Boolean and positive implicative filters of BL-algebras , 2005, Fuzzy Sets Syst..

[13]  Maria Luisa Bonet,et al.  On the automatizability of resolution and related propositional proof systems , 2002, Inf. Comput..

[14]  Christian G. Fermüller,et al.  Labeled Calculi and Finite-Valued Logics , 1998, Stud Logica.

[15]  Robert LIN,et al.  NOTE ON FUZZY SETS , 2014 .

[16]  Youjun Xu,et al.  An algorithm based on resolution for the satisfiability problem , 2010, 2010 2nd International Conference on Advanced Computer Control.

[17]  Olivier Hermant,et al.  Resolution is Cut-Free , 2010, Journal of Automated Reasoning.

[18]  Yi Liu,et al.  New Types of Fuzzy Filter on Lattice Implication Algebras , 2011 .

[19]  Stanley Burris,et al.  A course in universal algebra , 1981, Graduate texts in mathematics.

[20]  Etienne E. Kerre,et al.  alpha-Resolution principle based on lattice-valued propositional logic LP(X) , 2000, Inf. Sci..

[21]  Richard C. T. Lee,et al.  Symbolic logic and mechanical theorem proving , 1973, Computer science classics.

[22]  Jun Liu,et al.  Weak Completeness of Resolution in a Linguistic Truth-Valued Propositional Logic , 2007, IFSA.

[23]  Y. Jun.  Implicative filters of lattice implication algebras , 1997 .

[24]  Pericles A. Mitkas,et al.  Fuzzy lattice reasoning (FLR) classifier and its application for ambient ozone estimation , 2007, Int. J. Approx. Reason..

[25]  D. Loveland.  A Linear Format for Resolution , 1970 .

[26]  Lawrence C. Paulson,et al.  Lightweight relevance filtering for machine-generated resolution problems , 2009, J. Appl. Log..

[27]  Dusan Guller.  Binary resolution over complete residuated Stone lattices , 2008, Fuzzy Sets Syst..

[28]  Thomas Weigert,et al.  Reasoning under uncertainty in fuzzy operator logic , 1991, IEEE Trans. Syst. Man Cybern..

[29]  Jianming Zhan,et al.  Notes on redefined fuzzy implicative filters of lattice implication algebras , 2009, Inf. Sci..

[30]  Jun Liu,et al.  Multiary α-Resolution Principle for a Lattice-Valued Logic , 2013, IEEE Transactions on Fuzzy Systems.

[31]  Dusan Guller.  On the refutational completeness of signed binary resolution and hyperresolution , 2009, Fuzzy Sets Syst..

[32]  Jun Liu,et al.  A lattice-valued modal propositional logic system LMP(X) , 2002, IEEE International Conference on Systems, Man and Cybernetics.

[33]  Vassilis G. Kaburlasos,et al.  Special issue: Information engineering applications based on lattices , 2011, Inf. Sci..

[34]  Vassilis G. Kaburlasos,et al.  A Lattice-Computing ensemble for reasoning based on formal fusion of disparate data types, and an industrial dispensing application , 2014, Inf. Fusion.

[35]  Xiaomei Zhong,et al.  α–GENERALIZED RESOLUTION PRINCIPLE BASED ON LATTICE-VALUED PROPOSITIONAL LOGIC LP(X) , 2010 .

[36]  Glad Deschrijver,et al.  A representation of t-norms in interval-valued L-fuzzy set theory , 2008, Fuzzy Sets Syst..

[37]  Young Bae Jun,et al.  Fuzzy positive implicative and fuzzy associative filters of lattice implication algebras , 2001, Fuzzy Sets Syst..

[38]  Rajab Ali Borzooei,et al.  Lattice structure on fuzzy congruence relations of a hypergroupoid , 2007, Inf. Sci..

[39]  Y. Jun.  TOPOLOGICAL ASPECTS OF FILTERS IN LATTICE IMPLICATION ALGEBRAS , 2006 .

[40]  Manuel Graña.  Lattice computing and natural computing , 2009, Neurocomputing.

[41]  Clare Dixon,et al.  Using temporal logics of knowledge for specification and verification - a case study , 2006, J. Appl. Log..

[42]  Vassilios Petridis,et al.  Fuzzy Lattice Neurocomputing (FLN) models , 2000, Neural Networks.

[43]  Boris Motik,et al.  Deciding expressive description logics in the framework of resolution , 2008, Inf. Comput..

[44]  Da Ruan,et al.  Lattice-Valued Propositional Logics , 2003 .

[45]  Etienne E. Kerre,et al.  alpha-Resolution principle based on first-order lattice-valued logic LF(X) , 2001, Inf. Sci..

[46]  Liu Jun,et al.  ON SEMANTICS OF L-VALUED FIRST-ORDER LOGIC Lvft , 2000 .

[47]  L. Fuchs.  Partially Ordered Algebraic Systems , 2011 .

[48]  Jun Liu,et al.  Lattice-Valued Logic - An Alternative Approach to Treat Fuzziness and Incomparability , 2003, Studies in Fuzziness and Soft Computing.

[49]  Yiquan Zhu,et al.  ON FUZZY IMPLICATIVE FILTERS OF LATTICE IMPLICATION ALGEBRAS , 2003 .

[50]  Y. Jun.  On n-fold implicative filters of lattice implication algebras , 2001 .

[51]  Vassilis G. Kaburlasos.  Adaptive resonance theory with supervised learning and large database applications , 1992 .

[52]  Y Xu,et al.  On syntax of L-valued first-order logic Lvfl , 2001 .

[53]  Renate A. Schmidt,et al.  Simulation and Synthesis of Deduction Calculi , 2010, M4M.

[54]  Athanasios Kehagias,et al.  Fuzzy Inference System (FIS) Extensions Based on the Lattice Theory , 2014, IEEE Transactions on Fuzzy Systems.

[55]  Vincenzo Loia,et al.  Similarity-based SLD resolution and its role for web knowledge discovery , 2004, Fuzzy Sets Syst..

[56]  Y. Jun.  FANTASTIC FILTERS OF LATTICE IMPLICATION ALGEBRAS , 2000 .

[57]  Jun Liu,et al.  On the consistency of rule bases based on lattice‐valued first‐order logic LF(X) , 2006, Int. J. Intell. Syst..

[58]  Vassilis G. Kaburlasos,et al.  Fuzzy Lattice Reasoning (FLR) Extensions to Lattice-Valued Logic , 2012, 2012 16th Panhellenic Conference on Informatics.

[59]  Vassilis G. Kaburlasos.  Towards a Unified Modeling and Knowledge-Representation based on Lattice Theory: Computational Intelligence and Soft Computing Applications (Studies in Computational Intelligence) , 2006 .