Abstract
In this paper we introduce first order Paraconsistent Annotated Multimodal systems Mτ which may constitute a framework for multi-agent system reasoning. Such systems are capable of handling imprecise, inconsistent and paracomplete knowledge in a non-trivial manner in their structures.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
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 (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)
Akama, S., Abe, J.M.: Many-valued and annotated modal logics. In: Proceedings of IEEE 1998 International Symposium on Multiple-Valued Logic (ISMVL’98), Fukuoka, Japan, pp. 114–119 (1998)
Cresswell, M.J.: Logics and Languages. Methuen and Co, London (1973)
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.) Proc. Fifth Conference on Theoretical Aspects of Reasoning about Knowledge, pp. 171–186. Morgan Kaufmann, San Francisco (1986)
Lipman, B.L.: Decision theory with impossible possible worlds. Technical report Working paper, Queen’s University (1992)
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.) Logic of Programs 1985. LNCS, vol. 193, pp. 256–268. Springer, Heidelberg (1985)
Rosenschein, S.J.: Formal theories of AI in knowledge and robotics. New Generation Computing 3, 345–357 (1985)
Sylvan, R., Abe, J.M.: On general annotated logics, with an introduction to full accounting logics. Bulletin of Symbolic Logic 2, 118–119 (1996)
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 2007 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Abe, J.M., Nakamatsu, K. (2007). Manipulating Paraconsistent Knowledge in Multi-agent Systems. In: Nguyen, N.T., Grzech, A., Howlett, R.J., Jain, L.C. (eds) Agent and Multi-Agent Systems: Technologies and Applications. KES-AMSTA 2007. Lecture Notes in Computer Science(), vol 4496. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-72830-6_17
Download citation
DOI: https://doi.org/10.1007/978-3-540-72830-6_17
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-72829-0
Online ISBN: 978-3-540-72830-6
eBook Packages: Computer ScienceComputer Science (R0)