Abstract
Adequate treatment of incomplete and ambiguous information encourage research in theories about reasoning and action (e. g. [7]). In [10] is proposed to deal with this topic using Belnap's four-valued logic. In this paper, Driankov's semantic is used in a formalisation that captures the dynamic character of knowledge and belief. Ambiguous knowledge is present in several kind of situations that formally corresponds with knowing that a disjunction is true, but it is not known which element of the disjunction makes it true. We define an a posteriori knowledge operator that allows to extend knowledge from ambiguous knowledge or undefined information, being in the meanwhile, potential knowledge. In addition, belief is consider local knowledge.KeywordsEpistemic StateEpistemic LogicModel FrameDefault TheoryNonmonotonic ReasoningThese keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
Sign-in/Register to access full text options 
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a callDisclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.
