Qual è lo stato della logica fuzzy per TCS nel 2011?


18

Sto rivedendo il Manuale di elaborazione ispirata alla natura e di elaborazione innovativa per SIGACT News. È una lettura molto interessante. Ogni capitolo, tuttavia, ha il sapore, "Questa è la mia area di ricerca, e dannatamente è fantastico!" Quindi parte di ciò che sto cercando di fare è separare l'hype e fare una valutazione sobria dei contenuti del libro.

Un capitolo riguarda la logica fuzzy e i sistemi fuzzy, e quanto frikkin siano fantastici. E forse lo sono, francamente non lo so. Il senso intuitivo che ho avuto dagli scienziati informatici è che la logica fuzzy e la modellazione fuzzy dei sistemi di controllo, ecc., Sono "morte". Non so se sia vero, però, e, anche se è vero, non so se sia vero per una "buona ragione".

Qualcuno vorrebbe pesare qui? Qual è lo stato attuale della ricerca sui sistemi fuzzy? La fuzzificazione vede le applicazioni del mondo reale? Si era abituato e le persone si sono trasferite a causa di problemi? O le persone "nelle trincee" lo usano sempre, ed è solo che i teorici si sono allontanati da esso? O qualcos'altro? (Non ho idea di cosa sia vero.)

Probabilmente citerò le risposte a questa domanda nella recensione del libro, a meno che un risponditore non mi chieda espressamente di non farlo.

Grazie.


16
Viring al confine tra soggettivo e polemico con una sfocatura di 0,326.
Dave Clarke,

@Dave Clarke:: -) !!! Lo so. Ma c'era anche una domanda su questo sito, una delle domande "in quale area di ricerca dovrei andare", in cui qualcuno che ha risposto ha detto che la logica fuzzy non era un'area di ricerca attiva. Se vuoi chiudere questa domanda, non mi offenderò. Tuttavia, trovo la situazione curiosa, e se c'è un modo diplomatico per scoprirla, mi piacerebbe.
Aaron Sterling,

1
Grazie Aaron per aver sollevato questa domanda. Non ho molta familiarità con la logica fuzzy, ma sapere se un campo è morto o vivo è interessante. Puoi anche chiedere "tendenze attuali nella logica fuzzy" per renderlo ancora più interessante (se presente!). Penso che la "Federated Logic Conference (FLoC)" sia un buon posto per cercare tali tendenze (non sono sicuro).
MS Dousti,

2
Grazie per aver cambiato il titolo. Lo stato della logica fuzzy può essere un po 'ampio, ma non credo che l'attuale domanda (revisione 3) sia soggettiva.
Tsuyoshi Ito,

5
Zadeh aveva un articolo nel 2008: c'è bisogno di una logica fuzzy?
Kaveh,

Risposte:


11

Non considererei la logica fuzzy morta. Per i sistemi di controllo, non lo so. Tuttavia, negli ultimi anni c'è stata molta attività nelle logiche fuzzy per i teorici delle prove: cerca i documenti di Ciabattoni, Olivetti, Fermüller, Metcalfe e Baaz per cominciare.

Modifica: alcuni riferimenti specifici dal mio file BibTeX:

  • D. Galmiche e Y. Sahli, Calcoli etichettati per Łukasiewicz Logics, Int. Workshop su logica, lingua, informazione e calcolo, WoLLIC'08, Edimburgo, LNAI 5110, 2008.
  • M. Baaz e G. Metcalfe, teoria della prova per la logica Łukasiewicz del primo ordine. TABLEAUX 2007.
  • D. Galmiche e D. Larchey-Wendling e Y. Salhi, Providence e Countermodels in Gödel-Dummett Logics, DISPROVING'07: Workshop sulla confutazione dei non teoremi, della non validità e della non disponibilità, 2007.
  • S. Bova e F. Montagna, ricerca di prove nella logica di base di Häjek, ACM Trans. Comput. Log., 2007.
  • DM Gabbay e G. Metcalfe, logiche Fuzzy basate su uninormi continui [0,1), AML 46 (5), 2007.
  • G. Metcalfe e F. Montagna, Logiche fuzzy substrutturali. JSL 72 (3), 2007.
  • R. Dyckhoff e S. Negri, Metodi di decisione per algebre di eyting {H} linearmente ordinate. AML 45, 2006.
  • G. Metcalfe e N. Olivetti e D. Gabbay, calcoli sequenziali e ipersequenti per le logiche abeliana e Łukasiewicz. ACM Trans. Comput. Log. 6 (3), 2005.
  • M. Baaz e A. Ciabattoni e F. Montagna, Calcoli analitici per la logica monoideale basata su t-norm, Fondo. Inf. 59 (4), 2004.
  • S. Negri e J. van Plato, Sistemi di prova per la teoria dei reticoli, Matematica. Struct. in Comp. Science 14 (4), 2004.
  • A. Ciabattoni e CG Fermüller e G. Metcalfe, Uniform Rules e Dialogue Games for Fuzzy Logics. LPAR 2004.
  • A. Ciabattoni, generazione automatizzata di calcoli analitici per la logica con linearità. CSL 2004.
  • F. Montagna e L. Saccetti, semantica in stile Kripke per logiche dai molti valori, matematica. Log. Q. 49 (6), 2003. Correzione in MLQ 50 (1), 2004.
  • D. Larchey-Wendling, ricerca contromodella nelle logiche Gödel-Dummett, IJCAR 2004, LNAI 3097, Springer, 2004.
  • G. Metcalfe, Proof Theory for Proposition Fuzzy Logics, Tesi di dottorato, Dipartimento di Informatica, King's College, 2004.
  • D. Gabbay e G. Metcalfe e N. Olivetti, Hypersequents e Fuzzy Logic, Revista de la Real Academia de Ciencias 98 (1), 2004.
  • A. Ciabattoni e G. Metcalfe, Bounded Łukasiewicz Logics. TABLEAUX 2003.
  • M. Baaz e A. Ciabattoni e CG Fermüller, ypersequent Calculi for Gödel Logics --- a Survey. JLC 13 (6), 2003.
  • M. Baaz e A. Ciabattoni e CG Fermüller, Sequent of Relations Calculi: un framework per la deduzione analitica nella logica a molti valori. Beyond Two: Theory and Applications of Multiple-Valued Logic, M. Fitting ed E. Orlowska, eds., Physica-Verlag, 2003.
  • N. Olivetti, Tableaux per Łukasiwicz Infinite Valued Logic. Studia Logica 73 (1), 2003.
  • G. Metcalfe e N. Olivetti e D. Gabbay, Calcoli sequenziali analitici per la logica abeliana e Łukasiewicz. TABLEAUX 2002.
  • A. Ciabattoni e CG Fermüller, Hypersequents come framework uniforme per C, MTL e logiche correlate di Urquhart. Atti del 31 ° Simposio internazionale IEEE sulla logica a valore multiplo (ISMVL 2001), 2001.
  • F. Esteva e L. Godo, logica basata su t-norm monoideale: verso una logica per t-norm continue a sinistra, Fuzzy Sets and Systems 124 (3), 2001.
  • M. Baaz e R. Zach, Hypersequent e la teoria della dimostrazione della logica fuzzy intuitiva. CSL 2000.
  • A. Avron, un sistema di tableau per la logica di Gödel-Dummett basato su un calcolo ipersequente. TABLEAUX 2000, LNAI 1847, 2000.
  • A. Ciabattoni e M. Ferrari, Hypertableau e Path-Hypertableau Calculi per alcune famiglie di logiche intermedie. TABLEAUX 2000, LNAI 1847, 2000.
  • RLO Cignoli e IML D'Ottaviano e D. Mundici, Fondamenti algebrici del ragionamento a molti valori, Kluwer, Londra, 2000.
  • S. Aguzzoli e A. Ciabattoni, finitezza nella logica Łukasiewicz a valore infinito. J. Logic, Language and Information 9, 2000.
  • R. Dyckhoff, un calcolo sequenziale conclusivo deterministico per la logica di Gödel-Dummett, IGPL 7 (3), 1999.
  • M. Baaz e A. Ciabattoni e CG Ferm {\ "u} ller e H. Veith, Proof Theory of Fuzzy Logics: Urquhart's C and Related Logics. Fondamenti matematici dell'informatica 1998, 23th International Symposium, MFCS'98, Brno, Repubblica ceca, 24-28 agosto 1998, Atti, 1998.
  • P. Häjek, Metamatematica di Fuzzy Logics, Kluer, 1998.
  • R. Hähnle, teoria della prova della logica a molti valori - ottimizzazione lineare - progettazione della logica: connessioni e interazioni. Soft Comput. 1 (3), 1997.

Si tratta in gran parte di prove teoriche e riferimenti di deduzione automatizzata, tuttavia,


3
Che ne dici di altri dettagli Rob?
Dave Clarke,

Risposta modificata con riferimenti specifici.
Rob,

3
Wow. Questa è piuttosto una lista.
Dave Clarke,


Utilizzando il nostro sito, riconosci di aver letto e compreso le nostre Informativa sui cookie e Informativa sulla privacy.
Licensed under cc by-sa 3.0 with attribution required.