nach oben

Soft Computing

Erschienen in:

01.11.2015 | Methodologies and Application

Multimodal epistemic Łukasiewicz logics with application in immune system

verfasst von: Antonio Di Nola, Revaz Grigolia, Nunu Mitskevich

Erschienen in: Soft Computing | Ausgabe 11/2015

Einloggen

Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.

search-config

KI-gestützte Suche

Aus

Abstract

We offer a new logic, a multimodal epistemic Łukasiewicz logic, which is an extension of the infinitely valued Łukasiewicz logic, the language of the logic is an extended by unary connectives that are interpreted as modal operators (knowledge operators). We propose the use such a logic in studying immune system. A relational system is developed as a semantic of this logic. The relational systems represent the immune system which in its turn is a part of relational biology.

Vorheriger Artikel False and multi-secret steganography in digital images

Sie haben noch keine Lizenz? Dann Informieren Sie sich jetzt über unsere Produkte:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

über 102.000 Bücher
über 537 Zeitschriften

aus folgenden Fachgebieten:

Automobil + Motoren
Bauwesen + Immobilien
Business IT + Informatik
Elektrotechnik + Elektronik
Energie + Nachhaltigkeit
Finance + Banking
Management + Führung
Marketing + Vertrieb
Maschinenbau + Werkstoffe
Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

Jetzt informieren

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

über 67.000 Bücher
über 340 Zeitschriften

aus folgenden Fachgebieten:

Bauwesen + Immobilien
Business IT + Informatik
Finance + Banking
Management + Führung
Marketing + Vertrieb
Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

Jetzt informieren

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

über 67.000 Bücher
über 390 Zeitschriften

aus folgenden Fachgebieten:

Automobil + Motoren
Bauwesen + Immobilien
Business IT + Informatik
Elektrotechnik + Elektronik
Energie + Nachhaltigkeit
Maschinenbau + Werkstoffe

Jetzt Wissensvorsprung sichern!

Jetzt informieren

The logic EŁ(n) (EŁ\(^{\Box }(n))\) is obtained by elimination of Ł\(_3\)-axiom \((\varphi \) & \(\varphi ) \leftrightarrow (\varphi \) & \(\varphi \) & \(\varphi )\) from the axioms of EŁ(n) (EŁ\(^{\Box }(n))\).

Belluce LP, Grigolia R, Lettieri A (2005) Representations of monadic MV-algebras. Stud. Log. 81:125–144MathSciNet

Blackburn P, de Rijke M, Venema Y (2001) Modal logic. In: Cambridge tracts in theoretical computer science, vol 53. Cambridge University Press, Cambridge

Bou F, Esteva F, Godo L, Rodríguez R (2007) \(n\)-Łukasiewicz modal logic. Manuscript

Caicedo X, Rodríguez R (2007) A Gödel similarity based modal logic, Manuscript. A shortened version was published as A Gödel modal logic. In: Proceedings of logic, computability and randomness 2004. Cordoba, Argentina

Chagrov A, Zakharyaschev M (1997) Modal logic. In: Oxford logic guides, vol 35. Oxford University Press, Oxford

Di Nola A, Grigolia R (2004) On monadic MV-algebras. APAL 128(1–3):125–139MATH

Fitting M (1992a) Many-valued modal logics. Fundam Inform 15:235–254

Fitting M (1992b) Many-valued modal logics, II. Fundam Inform 17:55–73

Häggström M (2014) Medical gallery of Mikael Hggstrm 2014. Wikiversity J Med 1(2). doi:10.15347/wjm/2014.008. ISSN 20018762

Hajek P (1998) Metamathematics of fuzzy logic. Kluwer Academic Publishers, DordrechtMATHCrossRef

Hansoul G, Teheux B (2006) Completeness results for many-valued Łukasiewicz modal systems and relational semantics. Available at arXiv:math/0612542

Koutras CD (2003) A catalog of weak many-valued modal axioms and their corresponding frame classes. J Appl Non-Class Log 13(1):4772MathSciNetCrossRef

Li MO, Wan YY, Flavell RA (2007) T cell-produced transforming growth factor-1 controls T cell tolerance and regulates Th1- and Th17-cell differentiation. Immunity 26(5):579–591CrossRef

Luckheeram RV, Zhou R, Verma AD, Xia B (2012) CD4+T cells: differentiation and functions. Clin Dev Immunol 2012:12. doi:10.1155/2012/925135

Mironov AM (2005) Fuzzy modal logics. J Math Sci 128(6):3461–3483MathSciNetCrossRef

Ostermann P (1988) Many-valued modal propositional calculi. Zeitschrift für Mathematische Logik und Grundlagen der Mathematik 34(4):343–354MATHMathSciNetCrossRef

Porter T (2003) Geometric aspects of multiagent systems. In: Electronic notes in theoretical computer science, vol 81. http://www.elsevier.nl/locate/entcs/volume81.html

Rang HP (2003) Pharmacology. Churchill Livingstone, Edinburgh, p 223. ISBN: 0-443-07145-4

Rashevsky N (1972) Organismic sets. J.M. Richards Lab, Grosse-Pointe Park, MI

Rosen R (1958a) A relational theory of biological systems. Bull Math Biophys 20:245–260

Rosen R (1958b) The representation of biological systems from the standpoint of the theory of categories. Bull Math Biophys 20:317–342

Rutledge JD (1959) A preliminary investigation of the infinitely many-valued predicate calculus. PhD Thesis, Cornell University

Suzuki NY (1997) Kripke frame with graded accessibility and fuzzy possible world semantics. Stud Log 59(2):249269CrossRef

Tao X, Constant S, Jorritsma P, Bottomly K (1997) Strength of TCR signal determines the costimulatory requirements for Th1 and Th2 CD4\(^+\) T cell differentiation. J Immunol 159(12):5956–5963

Trinchieri G, Pflanz S, Kastelein RA (2003) The IL-12 family of heterodimeric cytokines: new players in the regulation of T cell responses. Immunity 19(5):641–644CrossRef

Woodger H (1937) The axiomatic method in biology. Cambridge University Press, CambridgeMATH

Yagi H, Nomura T, Nakamura K et al (2004) Crucial role of FOXP3 in the development and function of human CD25\(^+\)CD4\(^+\) regulatory T cells. Int Immunol 16(11):1643–1656CrossRef

Titel: Multimodal epistemic Łukasiewicz logics with application in immune system
verfasst von: Antonio Di Nola
Revaz Grigolia
Nunu Mitskevich
Publikationsdatum: 01.11.2015
Verlag: Springer Berlin Heidelberg
Erschienen in: Soft Computing / Ausgabe 11/2015
Print ISSN: 1432-7643
Elektronische ISSN: 1433-7479
DOI: https://doi.org/10.1007/s00500-015-1804-4

Springer Professional

Abstract

Bitte loggen Sie sich ein, um Zugang zu Ihrer Lizenz zu erhalten.

Sie haben noch keine Lizenz? Dann Informieren Sie sich jetzt über unsere Produkte:

Springer Professional "Wirtschaft+Technik"

Springer Professional "Wirtschaft"

Springer Professional "Technik"

Weitere Artikel der Ausgabe 11/2015

A hybrid evolutionary multiobjective optimization algorithm with adaptive multi-fitness assignment

NEATER: filtering of over-sampled data using non-cooperative game theory

Enhancement of spam detection mechanism based on hybrid $$\varvec{k}$$ k -mean clustering and support vector machine

An orthogonal predictive model-based dynamic multi-objective optimization algorithm

Option pricing for an uncertain stock model with jumps

A directed search strategy for evolutionary dynamic multiobjective optimization