Abstract
In this work we present some of our investigations concerning paraconsistent, paracomplete and non-alethic systems for knowledge representation in AI. Inconsistency and paracompleteness are natural phenomena in describing parts of our reality. Thus, we need more generical tools, i.e., formal systems for modeling contradictory and paracomplete knowledge, and in this paper we focus non-alethic knowledge in distributed systems.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Abe, J.M.: Fundamentos da lógica anotada, (Foundations of annotated logics), in Portuguese, Ph.D. thesis, University of São Paulo, São Paulo, p. 135 (1992)
Abe, J.M.: Some Aspects of Paraconsistent Systems and Applications. Logique et Analyse 15, 83–96 (1997)
Cresswell, M.J.: Intensional logics and logical truth. Journal of Philosophical Logic 1, 2–15 (1972)
Cresswell, M.J.: Logics and Languages. Methuen and Co., London (1973)
Da Costa, N.C.A.: On the theory of inconsistent formal systems. Notre Dame J. of Formal Logic 15, 497–510 (1974)
Da Costa, N.C.A., Abe, J.M., Subrahmanian, V.S.: Remarks on annotated logic. Zeitschr. f. Math. Logik und Grundlagen d. Math. 37, 561–570 (1991)
Fagin, R., Halpern, J.Y., Moses, Y., Vardi, M.Y.: Reasoning about knowledge. The MIT Press, London (1995)
Fischer, M.J., Immerman, N.: Foundation of knowledge for distributed systems. In: Halpern, J.Y. (ed.) Theoretical Aspects of Reasoning about Knowledge: Proc. Fifth Conference, pp. 171–186. Morgan Kaufmann, San Francisco (1986)
Halpern, J.Y., Fagin, R.: Modeling knowledge and action in distributed systems. Distributed Computing 3(4), 159–179 (1989)
Halpern, J.Y., Moses, Y.: Knowledge and common knowledge in a distributed environment. Journal of the ACM 37(3), 549–587 (1990)
Lipman, B.L.: Decision theory with impossible possible worlds. Technical report Working paper, Queen’s University (1992)
Lipman, B.L.: Logics for nonomnisiscient agents: An axiomatic approach. Technical report Working paper 874, Queen’s University (1992)
Lipman, B.L.: An axiomatic approach to the logical omniscience problem. In: Fagin, R. (ed.) Theoretical Aspects of Reasoning about Knowledge: Proc. Fifth Conference, pp. 182–196. Morgan Kaufmann, San Francisco (1994)
McCarthy, J.: Ascribing mental qualities to machines. Technical report CRL 90/10, DEC-CRL (1979)
Parikh, R., Ramamujan, R.: Distributed processing and the logic of knowledge. In: Parikh, R. (ed.) Proc. Workshop on Logics of Programs, pp. 256–268 (1985)
Rosenschein, S.J.: Formal theories of AI in knowledge and robotics. New Generation Computing 3, 345–357 (1985)
Rosenschein, S.J., Kaelbling, L.P.: The synthesis of digital machines with provable epistemic properties. In: Halpern, J.Y. (ed.) Theoretical Aspects of Reasoning about Knowledge: Proc. Fifth Conference, pp. 83–97. Morgan Kaufmann, San Francisco (1986)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2005 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Abe, J.M., Nakamatsu, K., Akama, S. (2005). Non-alethic Reasoning in Distributed Systems. In: Khosla, R., Howlett, R.J., Jain, L.C. (eds) Knowledge-Based Intelligent Information and Engineering Systems. KES 2005. Lecture Notes in Computer Science(), vol 3682. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11552451_99
Download citation
DOI: https://doi.org/10.1007/11552451_99
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-28895-4
Online ISBN: 978-3-540-31986-3
eBook Packages: Computer ScienceComputer Science (R0)