Abstract
Involvement of decision support systems in the process of selecting optimal decisions in transport logistics requires preliminary estimation of cargo delivery quality. The number of delivery criteria, their ranking according to degree of importance, and correlations among these criteria play an important role in the process of decision making. For the elaboration of effective approaches to the above mentioned tasks in the transport logistics we propose use of an intelligent system that applies methods from formal concept analysis and paraconsistent annotated logic.
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.: Some Aspects of Paraconsistent Systems and Applications. Logique et Analyse 157, 83–96 (1997)
Abe, J.M., Prado, J.C.A., Nakamatsu, K.: Paraconsistent Artificial Neural Network: Applicability in Computer Analysis of Speech Productions. In: Gabrys, B., Howlett, R.J., Jain, L.C. (eds.) KES 2006. LNCS (LNAI), vol. 4252, pp. 844–850. Springer, Heidelberg (2006)
Abe, J.M., Torres, L.G., Nakamatsu, K., Kondo, M.: Intelligent Paraconsistent Logic Controller and Autonomous Mobile Robot Emmy II. In: Cointe, P. (ed.) ECOOP 1996. LNCS, vol. 4252, pp. 851–857. Springer, Heidelberg (1996)
Agrawal, R., Mannila, H., Srikant, R., Toivonen, H., Verkamo, A.I.: Fast discovery of association rules. In: Uthurusamy, F., Piatetsky-Shapiro, G., Smyth, P. (eds.) Advances in Knowledge discovery of association rules, pp. 307–328. MIT Press, Cambridge (1996)
Agrawal, R., Srikant, R.: Fast algorithm for mining association rules. In: Proceedings of the 20th very large data base conference, Santiago, Chile, pp. 487–489 (1994)
Arnott, D., Pervan, G.G.: A critical analysis of decision support systems research. Journal of Information Technology 20(2), 67–87 (2005)
Baskerville, R., Myers, M.: Information Systems as a Reference Discipline. MIS Quarterly 26(1), 1–14 (2002)
Belnap, N.J.: How a computer should think. In: Contemporary Aspects of Philosophy. Proceedings of the Oxford International Symposia, pp. 30–56. Oxford, GB (1975)
de Carvalho, F.R., Brunstein, I., Abe, J.M.: Decision Making based on Paraconsistent Annotated Logic. In: Nakamatsu, K., Abe, J.M. (eds.) Frontiers in Artificial Intelligence and Applications, vol. 132, pp. 55–62 (2005)
Davey, B.A., Priestley, H.A.: Introduction to lattices and order. Cambridge University Press, Cambridge (2005)
Ganter, B., Stumme, G., Wille, R.: Formal Concept Analysis. LNCS (LNAI), vol. 3626. Springer, Heidelberg (2005)
Johnstone, A.: Effective Practice in Objective Assessment, www.physsci.heacademy.ac.uk/Publications/PracticeGuide/
Nakamatsu, K., Ishikawa, R., Suzuki, A.: A Paraconsistent Logic Program Based Control for a Discrete Event Cat and Mouse. In: Negoita, M.G., Howlett, R.J., Jain, L.C. (eds.) KES 2004. LNCS (LNAI), vol. 3214, pp. 954–960. Springer, Heidelberg (2004)
Nakamatsu, K., Akama, S., JAbe, J.M.: An Intelligent Safety Verification Based on a Paraconsistent Logic Program. In: Khosla, R., Howlett, R.J., Jain, L.C. (eds.) KES 2005. LNCS (LNAI), vol. 3682, pp. 708–715. Springer, Heidelberg (2005)
Pasquier, N., Bastide, T., Taouil, R., Lakhal, L.: Efficient mining of association rules using closed itemset lattices. Journal of Information Systems 24(1), 25–46 (1999)
Priest, G.: An Introduction to Non-Classical Logic. Cambridge (2001)
Prior, A.N.: A Statement of Temporal Realism. In: Copeland, B.J. (ed.) Logic and Reality: Essays on the Legacy of Arthur Prior, Clarendon Press, Oxford (1996)
Santos, C.T., Osòrio, F.S.: Integrating intelligent agents, user models, and automatic content categorization in virtual environment. In: Lester, J.C., Vicari, R.M., Paraguaçu, F. (eds.) ITS 2004. LNCS, vol. 3220, pp. 128–139. Springer, Heidelberg (2004)
Wagner, G.: Vivid Logic: Knowledge Based reasoning with two kinds of negation. In: Wagner, G. (ed.) Vivid Logic. LNCS, vol. 764, Springer, Heidelberg (1994)
Wille, R.: Concept lattices and conceptual knowledge systems. Computers Math. Applic. 23(6-9), 493–515 (1992)
Zaki, M.J., Hsiao, C.-J.: CHARM: An efficient algorithm for closed itemset mining. In: Proceedings of the 2nd SIAM international conference on data mining, Arlington, VA, USA, pp. 34–43 (2002)
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 2007 Springer Berlin Heidelberg
About this paper
Cite this paper
Encheva, S., Tumin, S., Kondratenko, Y. (2007). Application of Paraconsistent Annotated Logic in Intelligent Systems. In: Huang, DS., Heutte, L., Loog, M. (eds) Advanced Intelligent Computing Theories and Applications. With Aspects of Theoretical and Methodological Issues. ICIC 2007. Lecture Notes in Computer Science, vol 4681. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-74171-8_69
Download citation
DOI: https://doi.org/10.1007/978-3-540-74171-8_69
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-74170-1
Online ISBN: 978-3-540-74171-8
eBook Packages: Computer ScienceComputer Science (R0)