1. bookVolume 20 (2018): Issue 1 (June 2018)
Journal Details
License
Format
Journal
eISSN
1647-659X
First Published
01 Mar 2016
Publication timeframe
3 times per year
Languages
English
access type Open Access

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

Published Online: 20 Aug 2018
Volume & Issue: Volume 20 (2018) - Issue 1 (June 2018)
Page range: 181 - 201
Journal Details
License
Format
Journal
eISSN
1647-659X
First Published
01 Mar 2016
Publication timeframe
3 times per year
Languages
English
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.

[1] Granik, A. and Caulfield, H.J. (2001), Fuzziness in Quantum Mechanics, arXiv:quant-ph/0107054v1.Search in Google Scholar

[2] Alvarez, D.S. and Skarmeta, A:F.G. (2004), A fuzzy language, Fuzzy Sets and Systems, 141, 335–390.Search in Google Scholar

[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/BFb0095071Search in Google Scholar

[4] Max Black (1937). Vagueness. An Exercise in Logical Analysis. Philosophy of Science, 4(4): 427–455.Search in Google Scholar

[5] Mark A. Changizi (2003). The Brain from 25,000 Feet, volume 317 of Synthese Library. Springer Netherlands.Search in Google Scholar

[6] David F. Clark (1991). HALO–a fuzzy programming language. Fuzzy Sets and Systems, 44:199–208.Search in Google Scholar

[7] Richard Dietz and Sebastiano Moruzzi, editors (2010). Cuts and Clouds: Vaguenesss, its Nature and its Logic. Oxford University Press, Oxford, UK.Search in Google Scholar

[8] Dragan D. Djakovic (1988). RASP–A Language with Operations on Fuzzy Set. Computer Languages, 13(3–4): 143–147.Search in Google Scholar

[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_10Search in Google Scholar

[10] Mika Hirvensalo (2004). Quantum Computing. Springer-Verlag, Berlin, 2nd edition.10.1007/978-3-662-09636-9Search in Google Scholar

[11] Dominic Hyde and Mark Colyvan (2008). Paraconsistent Vagueness: Why Not? The Australasian Journal of Logic, 6:107–121.10.26686/ajl.v6i0.1798Search in Google Scholar

[12] Rosanna Keefe and Peter Smith (editors) (1999). Vagueness: A Reader. The MIT Press.Search in Google Scholar

[13] George J. Klir and Bo Yuan (1995). Fuzzy Sets and Fuzzy Logic: Theory and Applications. Prentice Hall (Sd).Search in Google Scholar

[14] Edward Jonathan Lowe (1994). Vague Identity and Quantum Indeterminacy. Analysis, 54(2): 110–114.Search in Google Scholar

[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.Search in Google Scholar

[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.Search in Google Scholar

[17] Gheorghe Păun (2002). Membrane Computing: An Introduction. Springer-Verlag, Berlin, Germany, EU.10.1007/978-3-642-56196-2_1Search in Google Scholar

[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.Search in Google Scholar

[19] Jarosław Pykacz (2011). Towards many-valued/fuzzy interpretation of quantum mechanics. International Journal of General Systems, 40(1): 11–21.Search in Google Scholar

[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.Search in Google Scholar

[21] Bertrand Russell (1923). Vagueness. Australasian Journal of Philosophy, 1(2): 84–92.Search in Google Scholar

[22] Eugene S. Santos (1969). Probabilistic Turing Machines and Computability. Proceedings of the American Mathematical Society, 22(3): 704–710.Search in Google Scholar

[23] Stewart Shapiro (1983). Mathematics and reality. Philosophy of Science, 50(4): 523–548.Search in Google Scholar

[24] Nicholas J.J. Smith (2008). Vagueness and Degrees of Truth. Oxford University Press.Search in Google Scholar

[25] Roy Sorensen. Vagueness. In Edward N. Zalta, editor, The Stanford Encyclopedia of Philosophy. Fall 2008 edition, 2008.Search in Google Scholar

[26] Zenon A. Sosnowski (1990). FLISP–A language for processing fuzzy data. Fuzzy Sets and Systems, 37(1): 23–32.Search in Google Scholar

[27] Apostolos Syropoulos (2008). Hypercomputation: Computing Beyond the Church-Turing Barrier. Springer New York, Inc., Secaucus, NJ, USA.Search in Google Scholar

[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_5Search in Google Scholar

[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_17Search in Google Scholar

[30] Alan M. Turing (1936). On Computable Numbers, with an application to the Entscheidungsproblem. Proceedings of the London Mathematical Society, 42: 230–265.Search in Google Scholar

[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

[32] Jean Paul Van Bendegem (1970). Why the largest number imaginable is still a finite number. Logique et Analyse.Search in Google Scholar

[33] Kees van Deemter (2010). Not Exactly: In Praise of Vagueness. Oxford University Press.Search in Google Scholar

[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.Search in Google Scholar

[35] Jiří Wiedermann (2004). Characterizing the super-Turing computing power and efficiency of classical fuzzy Turing machines. Theoretical Computer Science, 317: 61–69.Search in Google Scholar

[36] Lotfi Askar Zadeh (1968). Fuzzy Algorithms. Information and Control, 12: 94–102.Search in Google Scholar

[37] Lotfi Askar Zadeh (1995). Discussion: Probability Theory and Fuzzy Logic Are Complementary Rather Than Competitive. Technometrics, 37(3): 271–276.Search in Google Scholar

[38] Steven French and Décio Krause (2003). Quantum Vagueness. Erkenntnis, 59: 97–124.Search in Google Scholar

Recommended articles from Trend MD

Plan your remote conference with Sciendo