Logo PTI
Polish Information Processing Society
Logo FedCSIS

Annals of Computer Science and Information Systems, Volume 9

Position Papers of the 2016 Federated Conference on Computer Science and Information Systems

Many-valued logic in manufacturing

,

DOI: http://dx.doi.org/10.15439/2016F73

Citation: Position Papers of the 2016 Federated Conference on Computer Science and Information Systems, M. Ganzha, L. Maciaszek, M. Paprzycki (eds). ACSIS, Vol. 9, pages 11–17 ()

Full text

Abstract. This paper shows how to enrich the language used in the manufacturing industry regarding information structure and its representation for products and production processes. This is enabled because of our use of many-valued logic, and in order to complement the numerical approach commonly appearing in such representations. We underline the importance of utilizing mathematical disciplines like algebra and logic side-by-side with the utility of analysis and stochastics.

References

  1. S. D. Eppinger, T. R. Browning, Engineering Systems: Design Matrix Methods and Applications, MIT Press, 2012.
  2. N. P. Suh, Axiomatic Design: Advances and Applications, Oxford University Press, 2001.
  3. M. Löfstrand, M. Karlberg, J. Andrews, L. Karlsson, Functional product system availability: simulation driven design and operation through coupled multi-objective optimization, International Journal of Product Development 13 (2011), 119-131.
  4. S. Reed, J. Andrews, S. Dunnett, P. Kyösti, B. Backe, M. Löfstrand, L. Karlsson, A modelling language for maintenance task scheduling, In: 11th International PSAMS and ESREL 2012 Conference. vol. 1, 201- 211.
  5. H. Etzkowitz, L. Leydesdorff, The Triple Helix—University-Industry- Government Relations: A Laboratory for Knowledge-Based Economic Development, EASST Review 14 (1995), 14-19.
  6. P. Eklund, M.A. Galán, R. Helgesson, J. Kortelainen, Fuzzy terms, Fuzzy Sets and Systems 256 (2014), 211-235.
  7. P. Eklund, J. Kortelainen, L. N. Stout, Adding fuzziness using a monadic approach to terms and powerobjects, Fuzzy Sets and Systems 192 (2012), 104-122.
  8. M. Jamshidi, System-of-Systems Engineering - A Definition, IEEE SMC 2005, 10-12 Oct. 2005.
  9. S. Popper, S. Bankes, R. Callaway, D. DeLaurentis, System-of-Systems Symposium: Report on a Summer Conversation, July 21–22, 2004, Potomac Institute for Policy Studies, Arlington, VA.
  10. H. Blain, F. Abecassis, P. Adnet, B. AlomÃĺne, M. Amouyal, B. Bardy, et al., Living Lab Falls-MACVIA-LR: The falls prevention initiative of the European Innovation Partnership on Active and Healthy Ageing (EIP on AHA) in Languedoc Roussillon, Eur Geriatr Med. 5 (2014), 416-425.
  11. L. Zadeh, Outline of a new approach to the analysis of complex systems and decision processes, IEEE Trans. Systems, Man and Cybernetics 3 (1973), 28–44.
  12. M. Schönfinkel, Über die Bausteine der mathematischen Logik, Mathe- matische Annalen 92 (1924), 305-316.
  13. H. B. Curry, Functionality in combinatory logic, Proc Natl Acad Sci USA 20 (1934), 584-590.
  14. A. Church, A formulation of the simple theory of types, The journal of symbolic logic 5 (1940), 56-68.
  15. A. N. Kolmogorov, Zur Deutung der intuitionistischen Logik, Mathe- matische Zeitschrift 35 (1932), 58-65.
  16. A. M. Turing, On Computable Numbers, with an Application to the Entscheidungsproblem, Proceedings of the London Mathematical Soci- ety. Ser. 2, Vol. 42 (1937), 230–65.
  17. Homotopy Type Theory: Univalent Foundations of Mathematics, The Univalent Foundations Program, Institute for Advanced Study, 2013.
  18. MIL-P-1629 - Procedures for performing a failure mode effect and critical analysis, United States Department of Defense (9 November 1949).
  19. P. Eklund, U. Höhle, J. Kortelainen, A Survey on the categorical term construction with applications, Fuzzy Sets and Systems, Available online 13 July 2015.
  20. P. Eklund, U. Höhle, J. Kortelainen, Non-commutative quantales for many-valuedness in applications, Proc. IPMU 2016, to appear.
  21. D. A. Bocvar, Ob odnom trechznacnom iscislenii i ego primenenii k analizu paradoksov klassiceskogo funkcional’nogo iscislenija, Mat. Sbornik 4 (1938), 287-308.
  22. S. C. Kleene, On notation for ordinal numbers, J. Symbolic Logic 3 (1938), 150-155.
  23. D. Tang, R. Zhu, S. Dai, G. Zhang, Enhancing axiomatic design with design structure matrix, Concurrent Engineering: Research and Applications 17 (2009), 129-137.
  24. G. S. Altshuller, Creativity as an Exact Science, Gordon & Breach, 1984.
  25. G. S Altshuller, The Innovation Algorithm: TRIZ, systematic innovation and technical creativity, Technical Innovation Center, Worcester, MA., 1999.
  26. P. Eklund, The syntax of relations, Proc. IPMU 2016, to appear.
  27. S. Mac Lane, Categories for the Working Mathematician, Graduate Texts in Mathematics 5 (second ed.), Springer, 1998.
  28. P. Eklund, M. Johansson, J. Karlsson, R. Åström, BPMN and its Semantics for Information Management in Emergency Care, Fourth 2009 International Conference on Convergence and Hybrid Information Technology (ICCIT 2009), IEEE Computer Society, 273-278.