From Ambiguous Knowledge and Undefined Information to Knowledge: a Three-Valued Logic Application

Proceedings of the Fourth Bar-Ilan Symposium on Foundations of Artificial Intelligence

Volume

Proceedings of the Fourth Bar-Ilan Symposium on Foundations of Artificial Intelligence

Contents

Ambiguous knowledge is present in several klnd of situations that formally corre-spond with knowing that a disjunction is true, but it is not known which dement of the disjunction makes it true. We define an a poster/or/knowledge operator that allows to extend knowledge from ambiguous knowledge and undefined information, being in the meanwhile, potential knowledge and/or belief.