Abstract
Halpern and Moses' theory on epistemic states and minimizing knowledge is a formalism with which one can infer what is known and, more importantly, what is unknown by an agent. This formalism has been used up to now in a classical two-valued framework. In this paper we formulate an extension of it when the underlying logic is many-valued, in order to deal with knowledge possibly pervaded with fuzziness. Then we apply this extension to the meta-level architecture MILORD II. The object level is an approximate reasoning component based on many-valued logics. The meta-level component makes use of some special meta-predicates to reason about the different states of knowledge of the object level. Our generalization of Halpern and Moses' theory allows us to interpret meta-level reasoning in terms of many-valued epistemic states, providing in turn a modal interpretation of MILORD II meta-predicates.
Research supported by the ESPRIT III Basic Research Action n∘ 6156 DRUMS II
Research also supported by the Spanish CICYT project ARREL TIC92-0579-c02-01
This is a preview of subscription content, log in via an institution to check access.
Preview
Unable to display preview. Download preview PDF.
References
Halpern J.Y., Moses Y.O.(1984): Towards a Theory of Knowledge and Ignorance, Proc. Workshop on Non-Monotonic Reasoning, AAAI, 1984
Meyer J.-J. Ch., van der Hoek W. (1993a): A Default Logic based on Epistemic States, in Proc. ECSQUARU '93, LNCS (Clark, Kruse and Moral eds.), pp. 265–273, Springer Verlag. Also to appear in Fundamenta Informaticae.
Meyer J.-J. Ch., van der Hoek W. (1993b): An Epistemic Logic for Defeasible Reasoning Using a Meta-Level Architecture Metaphor, Technical Report IR-329, Free University Amsterdam.
Meyer J.-J. Ch., van der Hoek W. (1995): Epistemic Logic for AI and Computer Science, forthcoming.
Puyol-Gruart J., Godo Ll., Sierra C. (1992): A Specialization Calculus to improve Expert Systems Communication, IIIA Research Report 92-08, May. Short version in Proc. of ECAI'92, (Bernd Neumann Editor), Vienna, pp. 144–148.
Sierra C., Godo L. (1992): Modularity, Uncertainty and Reflection in MILORD II”, Proc of the 1992 IEEE International Conference on Systems, Man and Cybernetics. Chicago, October, Vol. 1, pp. 144–148.
Sierra C., Godo L. (1993): Specifying Simple Schedulling Tasks in a Reflective and Modular Architecture, in: Treur J. and Th. Wetter (eds.) Specification of Complex Reasoning Systems, Ellis Horwood pp. 199–232.
Tan Y.H. (1992): BMS — A Meta-level Approach to Non-Monotonic Reasoning, in van der Hoek et al. (eds.) Non-Monotonic Reasoning and Partial Semantics, Ellis Horwood.
Tan Y. H., Treur J. (1991): A Bi-modular Approach to Non-Monotonic Reasoning, in Proc. First World Congress on the fundamentals of AI, (M. De Glas & D. Gabbay, eds.), WOCFAI-91, pp. 461–475, Paris.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1995 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Godo, L., van der Hoek, W., Meyer, J.J.C., Sierra, C. (1995). Many-valued epistemic states. An application to a reflective architecture: Milord-II. In: Bouchon-Meunier, B., Yager, R.R., Zadeh, L.A. (eds) Advances in Intelligent Computing — IPMU '94. IPMU 1994. Lecture Notes in Computer Science, vol 945. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0035977
Download citation
DOI: https://doi.org/10.1007/BFb0035977
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-60116-6
Online ISBN: 978-3-540-49443-0
eBook Packages: Springer Book Archive