Semantical considerations on nonmonotonic logic
Artificial Intelligence
Applications of circumscription to formalizing common-sense knowledge
Artificial Intelligence
Artificial Intelligence
Readings in nonmonotonic reasoning
Readings in nonmonotonic reasoning
Bilattices and the semantics of logic programming
Journal of Logic Programming
A multi-valued epistemic logic
A multi-valued epistemic logic
Reasoning with Incomplete Information
Reasoning with Incomplete Information
Logic for Artificial Intelligence
Logic for Artificial Intelligence
ISMIS '94 Proceedings of the 8th International Symposium on Methodologies for Intelligent Systems
Many-valued logic in an intelligent tutoring system
MATH'07 Proceedings of the 11th WSEAS International Conference on Applied Mathematics
Visualization of Cooperative Options for Small Maritime Companies
CDVE '08 Proceedings of the 5th international conference on Cooperative Design, Visualization, and Engineering
Automated decision support system based on ordered sources
WSEAS Transactions on Information Science and Applications
Intelligent decision support system for evaluation of ship designers
KES'07/WIRN'07 Proceedings of the 11th international conference, KES 2007 and XVII Italian workshop on neural networks conference on Knowledge-based intelligent information and engineering systems: Part I
Application of default logic in an intelligent tutoring system
NBiS'07 Proceedings of the 1st international conference on Network-based information systems
Application of paraconsistent logic in an intelligent tutoring system
CDVE'07 Proceedings of the 4th international conference on Cooperative design, visualization, and engineering
Decision support system for assessing participants reliabilities in shipbuilding
ACMOS'07 Proceedings of the 9th WSEAS international conference on Automatic control, modelling and simulation
Intelligent system facilitating service selection
CIMMACS'07 Proceedings of the 6th WSEAS international conference on Computational intelligence, man-machine systems and cybernetics
Extracting knowledge from incomplete data
ACELAE'11 Proceedings of the 10th WSEAS international conference on communications, electrical & computer engineering, and 9th WSEAS international conference on Applied electromagnetics, wireless and optical communications
Decision making with incomplete information
ACELAE'11 Proceedings of the 10th WSEAS international conference on communications, electrical & computer engineering, and 9th WSEAS international conference on Applied electromagnetics, wireless and optical communications
Many valued context for knowledge evaluation
BICA'12 Proceedings of the 5th WSEAS congress on Applied Computing conference, and Proceedings of the 1st international conference on Biologically Inspired Computation
Ordering of potential collaboration options
ICCCI'12 Proceedings of the 4th international conference on Computational Collective Intelligence: technologies and applications - Volume Part II
Belief functions on distributive lattices
Artificial Intelligence
Hi-index | 0.00 |
The past few decades have seen a resurgence ofreasoning techniques in artificial intelligenceinvolving both classical and non-classical logics. Inhis paper, ``Multi-valued Logics: A Uniform Approach toReasoning in Artificial Intelligence'', Ginsberg hasshown that through the use of bilattices,several reasoning techniques can be unified under asingle framework. A bilattice is a structure that canbe viewed as a class of truth values that canaccommodate incomplete and inconsistent informationand in certain cases default information. Inbilattice theory, knowledge is ordered along twodimensions: truth/falsity and certainty/uncertainty. By defining the corresponding bilattices as truthspaces, Ginsberg has shown that the same theoremprover can be used to simulate reasoning in firstorder logic, default logic, prioritized default logicand assumption truth maintenance system. Although thisis a significant contribution, Ginsberg's paper waslengthy and involved. This paper summarizes some ofthe essential concepts and foundations of bilatticetheory. Furthermore, it discusses the connections ofbilattice theory and several other existingmulti-valued logics such as the various three-valuedlogics and Belnap's four-valued logic. It is notedthat the set of four truth values in Belnap's logicform a lattice structure that is isomorphic to thesimplest bilattice. Subsequently, Fitting proposed aconflation operation that can be used to selectsub-sets of truth values from this and otherbilattices. This method of selecting sub-sets oftruth values provides a means for identifyingsub-logic in a bilattice.