@EkremSaban: "Hi everybody!
I am currently a research associate at the Vienna University of Technology &
responsible for the creation of new projects. Currently, I have a new
subject that involves fuzzy control and fuzzy logic operating systems.
What I want to discuss here is the reasons for using a fuzzy logic operating
system that makes some decisions using the theory of fuzzy logics.
=================
To incorporate the fuzzy idea into the operating system is not a devious
idea to me, as complex systems do not have necessarily crisp arbitration.
With *complex systems*, I do not only mean expert systems or other types of
AI, but relatively "simple" systems like OS. Most often, (OS) designs do not
incorporate uncertainties at all, and the computer languages used to
implement OSs are using crisp logic. For instance, a C expression will
either be matched (true) or not (false). If this is the way OS have been
designed, the question is if this the (best) right way to do so.
The idea is to use fuzzy logic in OS design is not new. On the one hand,
some FLOS products were already on the market (FuzzySoft AG), but the
products were not accepted by customers (see
<url> ). On the
other hand, some of these OS's could even make it and were used in fuzzy
control systems (Bosch WET2820GB (BCH-WET2820GB) Built-In Washer Dryer,
WFE2021GB, etc.). And there exists research to use FLOS even in hard
real-time systems [1]!
The reason fuzzy logic is used are:
1. Complex systems cannot be pinned down to a set of formulas easily.
2. It is very difficult to write down the knowledge of an expert in crisp,
Boolean logic. The propositional logic cannot handle more complicated cases
like believe revision, which may be necessary if several experts are asked.
3. Last but not least, humans think fuzzy. We express ourselves using fuzzy
terms, called words. :) The effort to simplify the reality by mapping it to
Boolean logic results sometimes in problems that are later found and their
correction is expensive. And crisp complex systems do not behave optimal
when confronted with the reality.
OS are responsible to provide the limited resources of the system to the
processes. For real-time OS's, they have not only to assign the resources
but they have to guarantee a response time for each request as well. To
avoid problems like deadlocks, limits must be defined that determine when a
response time was too late, or whether there were other occurances that are
not allowed. These criteria can be defined with crisp logic, "But most
real-world application's knowledge is not so hard. The boundaries are more
of a softer kind. An insignificant violation of a constraint may cause a
crisp constraint satisfaction system to reject a schedule that could have
been the best )beside the insignificant violation) to find. And that is the
point where fuzzy theory is involved. Soft constraints are modelled by
flexible fuzzy constraints" [1].
Another point is the constraint satisfaction. There are cases where not all
constraints have to be satisfied. "Release dates and due dates of jobs and
operations are obvious candidates for fuzzification. An operation may start
a little earlier or later and a small due date violation may be acceptable
either."
Also, at a higher level, a fuzzyfication may make sense. For instance, if I
make a search for all files containing the word "radnom" in the file name,
the file system could ask whether this should be "random". As a person who
can understand five languages, it is also something I would appreciate alot
if a word or subject searched is also searched in other languages the user
knows. Also, a verb may have different declinations that are also
interesting in a search. Another point is when searching all files having
... that are greater than 10 MB, say. Are here files are only slightly
smaller than this minimum (256 bytes less than 10 MB) really uninteresting
to the user?
We all know some helps used in sophisticated tools, like MS Office, that
help alot when typing text. One of these features is the auto correction of
words. This could be a service supplied by the OS so that all the software
may make use of it. The price of making it available for the OS designer
would increase the costs of the OS, but encapsulate this feature to it and
will make all software better usable & with less code lines. So, the
software for this OS will become more stable. Oh sorry that I forgot to say
the link to fuzzyness concerning auto correction this time! But to decide
which language is to be corrected is a fuzzy concern. If there is a citation
of another language, the system may find out - as the reader also can find
out the original and the cited text from a different language - using fuzzy
logic.
I wrote these patches down only to start a discussion on this subject. The
questions that may be discussed are:
(1) Is it reasonable to fuzzify operating systems?
(2) Where can such fuzzification procedures give improvements? What are the
problems in crisp OS'es that would not be a problem for FLOS?
(3) What FLOS have been used designed since now? What are their outstanding
properties? What was the benefit of using fuzzy logic in design,
development, testing? How did these systems react when confronted with real
problems?
(4) What about using FLOS in (hard/soft) real-time systems? What are the
benefits? Where can fuzzy definitely not be used?
(5) What about the impact on cost of OS development/implementation/testing?
(6) ...
=============================================================
[1] � Fuzzy and Possibilistic Approaches towards Scheduling Applications�,
Vienna University of Technology, diploma thesis of Thomas L�nger,
1994-04-26.
Kind regards/Mit freundlichen Gr��en,
D.I. Ekrem SABAN
Vienna University of Technology/TU Wien
Institute for Computer-Aided Automation/Institut f�r Rechnergest�tzte
Automation
Department for Automation Systems/Abteilung f�r Automatisierungssysteme
+1-772-952-3052
<url> "
    @marksouth: "<quote>
                                 ^^^^^^^^^^^^^^^^^^^
Damn.  I was with you up to this point, but here I think you misplat
"bloated PoS".
mark south: world citizen, net denizen
echo <email_address>|tr a-z n-za-m
"Take it?  I can't even parse it!" - Kibo, in ARK"
    @cfajohnson: "<quote>
    Fuzzy logic is a misnomer, so don't extrapolate based on that
    name. It should really be called "the logic of fuzzy sets".
   Chris F.A. Johnson, author   |    <<url>
   Shell Scripting Recipes:     |  My code in this post, if any,
   A Problem-Solution Approach  |          is released under the
   2005, Apress                 |     GNU General Public Licence"
    @john: "Jean-David Beyer writes:
<quote>
There is nothing indeterminate or random about fuzzy logic.
Fuzzy logic is routinely used in control systems.  Ask Google about it.
John Hasler 
<email_address>
Dancing Horse Hill
Elmwood, WI USA"
    @grante: "<quote>
requirement.
Again, I don't see why that wouldn't be the case with fuzzy
logic.
Fair enough.
Fuzzy logic isn't non-deterministic. At least not the way I
remember it.
Grant Edwards                   grante             Yow!  Being a BALD HERO
                                  at               is almost as FESTIVE as a
                               visi.com            TATTOOED KNOCKWURST."
    @john: "Jean-David Beyer writes:
<quote>
Likewise with fuzzy logic (not that I am advocating a "fuzzy logic OS".)
John Hasler 
<email_address>
Dancing Horse Hill
Elmwood, WI USA"
    @EkremSaban: "You are very right, John! It is one of the topics that are taught at our 
institute department! Fuzzy control is no more a subject that is known in 
the Far East. Europe and the States have also caught up in the recent years.
"John Hasler" <email_address> schrieb im Newsbeitrag 
news:<email_address>
<quote>"
    @danlee: "<quote>
    Jean-David> You are missing the point. What you get when doing
    Jean-David> floating point arithmetic on any given machine, with a
    Jean-David> given compilation system _is_ deterministically
    Jean-David> defined. So if floating point 5 divided by floating
    Jean-David> point 5 does not give exactly floating point zero
    Jean-David> (although in every case I know of, it does),=20
In very case I know of, it doesn't.  5/5 !=3D 0 That's simple arithmetic
that one learns in primary school.
    Jean-David> and floating point 2 minus floating point 1 does not
    Jean-David> give exactly floating point 1 (and it does in every
    Jean-David> case I know of), the floating point difference between
    Jean-David> the ratio and the difference, above, is _always the
    Jean-David> same_ or the machine is broken.
=20
Lee Sau Dan                     =A7=F5=A6u=B4=B0                          ~=
{@nJX6X~}
E-mail: <email_address>
Home page: <url>"
    @danlee: "<quote>
    Ekrem> and the computer languages used to implement OSs are using
    Ekrem> crisp logic.
Because  that's sufficient  for  building systems  that support  fuzzy
logic.
Are you aware of CPUs that  do complex numbers *natively*?  And do you
think that prevents computers from handling complex numbers?
    Ekrem> For instance, a C expression will either be matched (true)
    Ekrem> or not (false).
That's not true.  a C expression can be int, char, char*, ...
Perhaps,  you mean  _regular  expressions_?  No,  neither.  A  regular
expression cannot  be matched  or unmatched, until  you APPLY it  on a
particular  TARGET  string.   The  expression itself,  standalone,  is
neither matched or unmatched.
    Ekrem> If this  is the way OS have been  designed, the question is
    Ekrem> if this the (best) right way to do so.
=20
Lee Sau Dan                     =A7=F5=A6u=B4=B0                          ~=
{@nJX6X~}
E-mail: <email_address>
Home page: <url>"
    @cbfalconer: "<quote>
Please do not use html or mime attachments in usenet.  This is a
pure text medium.
"If you want to post a followup via groups.google.com, don't use
 the broken "Reply" link at the bottom of the article.  Click on 
 "show options" at the top of the article, then click on the 
 "Reply" at the bottom of the article headers." - Keith Thompson
More details at: <<url>
Also see <<url>"
{'source': 'USENET', 'other_information': '{"reply_count": 9, "forum_name": "comp.os.linux.misc.20140616.mbox"}', 'file': 'data/output/usenet-comp.os.parquet'}