Title :
Exploiting polarity in multiple-valued inference systems
Author :
Stachniak, Zbigniew
Author_Institution :
Dept. of Comput. Sci., York Univ., Toronto, Ont., Canada
Abstract :
This paper surveys some polarity-based knowledge representational and automated reasoning techniques in the domain of many-valued logics
Keywords :
inference mechanisms; knowledge representation; multivalued logic; theorem proving; automated reasoning; many-valued logics; multiple-valued inference systems; polarity; polarity-based knowledge representational technique; Boolean functions; Computational efficiency; Computer science; Constraint theory; Councils; Inference algorithms; Knowledge representation; Logic programming; Multivalued logic; Polarization;
Conference_Titel :
Multiple-Valued Logic, 2001. Proceedings. 31st IEEE International Symposium on
Conference_Location :
Warsaw
Print_ISBN :
0-7695-1083-3
DOI :
10.1109/ISMVL.2001.924566
