A (Basis for a) Philosophy of a Theory of Fuzzy Computation

Apostolos Syropoulos

doi:10.2478/kjps-2018-0009

Abstract

Vagueness is a linguistic phenomenon as well as a property of physical objects. Fuzzy set theory is a mathematical model of vagueness that has been used to define vague models of computation. The prominent model of vague computation is the fuzzy Turing machine. This conceptual computing device gives an idea of what computing under vagueness means, nevertheless, it is not the most natural model. Based on the properties of this and other models of vague computing, an attempt is made to formulate a basis for a philosophy of a theory of fuzzy computation.

References

[1] Granik, A. and Caulfield, H.J. (2001), Fuzziness in Quantum Mechanics, arXiv:quant-ph/0107054v1.
Search in Google Scholar Back to article
[2] Alvarez, D.S. and Skarmeta, A:F.G. (2004), A fuzzy language, Fuzzy Sets and Systems, 141, 335–390.10.1016/S0165-0114(02)00547-X
Search in Google Scholar Back to article
[3] James F. Baldwin, Trevor P. Martin, and Maria Vargas-Vera (1999). Fril++ a Language for Object-Oriented Programming with Uncertainty. In Anca L. Ralescu and James G. Shanahan (editors), Fuzzy Logic in Artificial Intelligence, volume 1566 of Lecture Notes in Computer Science, Springer Berlin Heidelberg, 62–78.10.1007/BFb0095071
Search in Google Scholar Back to article
[4] Max Black (1937). Vagueness. An Exercise in Logical Analysis. Philosophy of Science, 4(4): 427–455.10.1086/286476
Search in Google Scholar Back to article
[5] Mark A. Changizi (2003). The Brain from 25,000 Feet, volume 317 of Synthese Library. Springer Netherlands.
Search in Google Scholar Back to article
[6] David F. Clark (1991). HALO–a fuzzy programming language. Fuzzy Sets and Systems, 44:199–208.10.1016/0165-0114(91)90003-9
Search in Google Scholar Back to article
[7] Richard Dietz and Sebastiano Moruzzi, editors (2010). Cuts and Clouds: Vaguenesss, its Nature and its Logic. Oxford University Press, Oxford, UK.10.1093/acprof:oso/9780199570386.001.0001
Search in Google Scholar Back to article
[8] Dragan D. Djakovic (1988). RASP–A Language with Operations on Fuzzy Set. Computer Languages, 13(3–4): 143–147.10.1016/0096-0551(88)90021-5
Search in Google Scholar Back to article
[9] Alexander S. Green, Peter LeFanu Lumsdaine, Neil J. Ross, Peter Selinger, and Benoît Valiron (2013). An introduction to quantum programming in quipper. In Gerhard W. Dueck and D. Michael Miller, editors, Reversible Computation, volume 7948 of Lecture Notes in Computer Science, Springer Berlin Heidelberg, 110–124.10.1007/978-3-642-38986-3_10
Search in Google Scholar Back to article
[10] Mika Hirvensalo (2004). Quantum Computing. Springer-Verlag, Berlin, 2nd edition.10.1007/978-3-662-09636-9
Search in Google Scholar Back to article
[11] Dominic Hyde and Mark Colyvan (2008). Paraconsistent Vagueness: Why Not? The Australasian Journal of Logic, 6:107–121.10.26686/ajl.v6i0.1798
Search in Google Scholar Back to article
[12] Rosanna Keefe and Peter Smith (editors) (1999). Vagueness: A Reader. The MIT Press.
Search in Google Scholar Back to article
[13] George J. Klir and Bo Yuan (1995). Fuzzy Sets and Fuzzy Logic: Theory and Applications. Prentice Hall (Sd).
Search in Google Scholar Back to article
[14] Edward Jonathan Lowe (1994). Vague Identity and Quantum Indeterminacy. Analysis, 54(2): 110–114.10.1093/analys/54.2.110
Search in Google Scholar Back to article
[15] Rafael Morales-Bueno, José-Luis Pérez-de-la-Cruz, Ricardo Conejo, and Buenaventura Clares (1997). A family of fuzzy programming languages. Fuzzy Sets and Systems, 87: 167–179.10.1016/S0165-0114(96)00028-0
Search in Google Scholar Back to article
[16] Toby Ord and Tien D. Kieu (2005). The Diagonal Method and Hypercomputation. The British Journal for the Philosophy of Science, 56(1): 147–156.10.1093/phisci/axi108
Search in Google Scholar Back to article
[17] Gheorghe Păun (2002). Membrane Computing: An Introduction. Springer-Verlag, Berlin, Germany, EU.10.1007/978-3-642-56196-2_1
Search in Google Scholar Back to article
[18] Pironio, S. and Acín, A. and Massar, S. and de la Giroday, A. Boyer and Matsukevich, D.N. and Maunz, P. and Olmschenk, S. and Hayes, D. and Luo, L. and Manning, T.A. and Monroe, C. (2010). Random numbers certified by Bell’s theorem. Nature, 464: 1021–1024.10.1038/nature09008
Search in Google Scholar Back to article
[19] Jarosław Pykacz (2011). Towards many-valued/fuzzy interpretation of quantum mechanics. International Journal of General Systems, 40(1): 11–21.10.1080/03081079.2010.507331
Search in Google Scholar Back to article
[20] Jarosław Pykacz, Bart D’Hooghe, and Roman R. Zapatrin. Quantum Computers as Fuzzy Computers (2001). In: B. Reusch, editor, Fuzzy Days 2001, volume 2206 of Lecture Notes in Computer Science, Springer, Berlin, Germany, EU, 526–535.10.1007/3-540-45493-4_53
Search in Google Scholar Back to article
[21] Bertrand Russell (1923). Vagueness. Australasian Journal of Philosophy, 1(2): 84–92.10.1080/00048402308540623
Search in Google Scholar Back to article
[22] Eugene S. Santos (1969). Probabilistic Turing Machines and Computability. Proceedings of the American Mathematical Society, 22(3): 704–710.10.1090/S0002-9939-1969-0249221-4
Search in Google Scholar Back to article
[23] Stewart Shapiro (1983). Mathematics and reality. Philosophy of Science, 50(4): 523–548.10.1086/289138
Search in Google Scholar Back to article
[24] Nicholas J.J. Smith (2008). Vagueness and Degrees of Truth. Oxford University Press.
Search in Google Scholar Back to article
[25] Roy Sorensen. Vagueness. In Edward N. Zalta, editor, The Stanford Encyclopedia of Philosophy. Fall 2008 edition, 2008.
Search in Google Scholar Back to article
[26] Zenon A. Sosnowski (1990). FLISP–A language for processing fuzzy data. Fuzzy Sets and Systems, 37(1): 23–32.10.1016/0165-0114(90)90060-J
Search in Google Scholar Back to article
[27] Apostolos Syropoulos (2008). Hypercomputation: Computing Beyond the Church-Turing Barrier. Springer New York, Inc., Secaucus, NJ, USA.10.1007/978-0-387-49970-3
Search in Google Scholar Back to article
[28] Apostolos Syropoulos (2014). Theory of Fuzzy Computation. IFSR International Series on Systems Science and Engineering. Springer, New York.10.1007/978-1-4614-8379-3_5
Search in Google Scholar Back to article
[29] Apostolos Syropoulos (2017). On vague computers. In Andrew Adamatzky, editor, Emergent Computation: A Festschrift for Selim G. Akl, Springer International Publishing, Cham, Switzerland, 393–402.10.1007/978-3-319-46376-6_17
Search in Google Scholar Back to article
[30] Alan M. Turing (1936). On Computable Numbers, with an application to the Entscheidungsproblem. Proceedings of the London Mathematical Society, 42: 230–265.10.1112/plms/s2-42.1.230
Search in Google Scholar Back to article
[31] Raymond Turner. The philosophy of computer science. In Edward N. Zalta, editor, The Stanford Encyclopedia of Philosophy. Fall 2013 edition, 2013. http://plato.stanford.edu/archives/fall2013/entries/computer-science/.
Search in Google Scholar Back to article
[32] Jean Paul Van Bendegem (1970). Why the largest number imaginable is still a finite number. Logique et Analyse.
Search in Google Scholar Back to article
[33] Kees van Deemter (2010). Not Exactly: In Praise of Vagueness. Oxford University Press.
Search in Google Scholar Back to article
[34] Thomas Vetterlein, Harald Mandl, and Klaus-Peter Adlassnig (2010). Fuzzy Arden Syntax: A fuzzy programming language for medicine. Artificial Intelligence in Medicine, 49: 1–10.10.1016/j.artmed.2010.01.003
Search in Google Scholar Back to article
[35] Jiří Wiedermann (2004). Characterizing the super-Turing computing power and efficiency of classical fuzzy Turing machines. Theoretical Computer Science, 317: 61–69.10.1016/j.tcs.2003.12.004
Search in Google Scholar Back to article
[36] Lotfi Askar Zadeh (1968). Fuzzy Algorithms. Information and Control, 12: 94–102.10.1016/S0019-9958(68)90211-8
Search in Google Scholar Back to article
[37] Lotfi Askar Zadeh (1995). Discussion: Probability Theory and Fuzzy Logic Are Complementary Rather Than Competitive. Technometrics, 37(3): 271–276.10.1080/00401706.1995.10484330
Search in Google Scholar Back to article
[38] Steven French and Décio Krause (2003). Quantum Vagueness. Erkenntnis, 59: 97–124.10.1023/A:1023921928559
Search in Google Scholar Back to article

A (Basis for a) Philosophy of a Theory of Fuzzy Computation

Abstract

Paradigm

My account