Inference in a multivalued logic system
International Journal of Man-Machine Studies
Special relations in automated deduction
Journal of the ACM (JACM) - The MIT Press scientific computation series
Computational aspects of three-valued logic
Proc. of the 8th international conference on Automated deduction
Automated reasoning: 33 BASIC research problems
Automated reasoning: 33 BASIC research problems
Hedge algebras: an algebraic approach to structure of sets of linguistic truth values
Fuzzy Sets and Systems
Resolution principles in possibilistic logic
International Journal of Approximate Reasoning
Theory of generalized annotated logic programming and its applications
Journal of Logic Programming
Algebraic structures in fuzzy logic
Fuzzy Sets and Systems
Automated deduction in multiple-valued logics
Automated deduction in multiple-valued logics
Resolution proof systems: an algebraic theory
Resolution proof systems: an algebraic theory
Resolution and model building in the infinite-valued calculus of Łukasiewicz
Theoretical Computer Science
A Machine-Oriented Logic Based on the Resolution Principle
Journal of the ACM (JACM)
Fuzzy Logic and the Resolution Principle
Journal of the ACM (JACM)
A new fuzzy resolution principle based on the antonym
Fuzzy Sets and Systems
&agr;-resolution principle based on lattice-valued propositional logic LP(X)
Information Sciences: an International Journal
&agr;-resolution principle based on first-order lattice-valued logic LF (X)
Information Sciences: an International Journal
Symbolic Logic and Mechanical Theorem Proving
Symbolic Logic and Mechanical Theorem Proving
Approximate reasoning by similarity-based SLD resolution
Theoretical Computer Science
A Framework for Automated Reasoning in Multiple-Valued Logics
Journal of Automated Reasoning
An algebraic approach to linguistic hedges in Zadeh's fuzzy logic
Fuzzy Sets and Systems - Data bases and approximate reasoning
Resolution and Path Dissolution in Multi-Valued Logics
ISMIS '91 Proceedings of the 6th International Symposium on Methodologies for Intelligent Systems
Automated deduction for many-valued logics
Handbook of automated reasoning
Chaining Techniques for Automated Theorem Proving in Many-Valued Logics
ISMVL '00 Proceedings of the 30th IEEE International Symposium on Multiple-Valued Logic
A framework for linguistic modelling
Artificial Intelligence
CAMA: A Multi-Valued Satisfiability Solver
Proceedings of the 2003 IEEE/ACM international conference on Computer-aided design
On the consistency of rule bases based on lattice-valued first-order logic LF(X): Research Articles
International Journal of Intelligent Systems
Filter-based resolution principle for lattice-valued propositional logic LP(X)
Information Sciences: an International Journal
Automated theorem proving by resolution in non-classical logics
Annals of Mathematics and Artificial Intelligence
Determinization of fuzzy automata with membership values in complete residuated lattices
Information Sciences: an International Journal
Lattice implication ordered semigroups
Information Sciences: an International Journal
Binary resolution over complete residuated Stone lattices
Fuzzy Sets and Systems
Automated Reasoning in Kleene Algebra
CADE-21 Proceedings of the 21st international conference on Automated Deduction: Automated Deduction
Information Sciences: an International Journal
Linguistic Values-based Intelligent Information Processing: Theory, Methods, and Applications
Linguistic Values-based Intelligent Information Processing: Theory, Methods, and Applications
Representing lattices using many-valued relations
Information Sciences: an International Journal
Multi-adjoint t-concept lattices
Information Sciences: an International Journal
Are fuzzy sets a reasonable tool for modeling vague phenomena?
Fuzzy Sets and Systems
L-valued propositional logic Lvpl
Information Sciences: an International Journal
Fuzzy logic = computing with words
IEEE Transactions on Fuzzy Systems
A 2-tuple fuzzy linguistic representation model for computing with words
IEEE Transactions on Fuzzy Systems
A resolution-like strategy based on a lattice-valued logic
IEEE Transactions on Fuzzy Systems
Parameterized uncertain reasoning approach based on a lattice-valued logic
ECSQARU'11 Proceedings of the 11th European conference on Symbolic and quantitative approaches to reasoning with uncertainty
α-Lock resolution method for a lattice-valued first-order logic
Engineering Applications of Artificial Intelligence
Rough set theory applied to lattice theory
Information Sciences: an International Journal
A linguistic multi-criteria decision making approach based on logical reasoning
Information Sciences: an International Journal
Journal of Intelligent & Fuzzy Systems: Applications in Engineering and Technology
Hi-index | 0.07 |
Key issues for resolution-based automated reasoning in lattice-valued first-order logic LF(X) are investigated with truth-values in a lattice-valued logical algebraic structure-lattice implication algebra (LIA). The determination of resolution at a certain truth-value level (called @a-resolution) in LF(X) is proved to be equivalently transformed into the determination of @a-resolution in lattice-valued propositional logic LP(X) based on LIA. The determination of @a-resolution of any quasi-regular generalized literals and constants under various cases in LP(X) is further analyzed, specified, and subsequently verified. Hence the determination of @a-resolution in LF(X) can be accordingly solved to a very broad extent, which not only lays a foundation for the practical implementation of automated reasoning algorithms in LF(X), but also provides a key support for @a-resolution-based automated reasoning approaches and algorithms in LIA based linguistic truth-valued logics.