Une expressivité sémantique de la complexité d'alternance logique avec des variables continues

Mike Nkongolo et al.

ISBN 10: 3668876754 / ISBN 13: 9783668876750

Edité par GRIN Verlag, 2019

A propos de cet article

Une expressivité sémantique de la complexité d'alternance logique avec des variables continues | Mike Nkongolo et al. | Taschenbuch | 28 S. | Französisch | 2019 | GRIN Verlag | EAN 9783668876750 | Verantwortliche Person für die EU: BoD - Books on Demand, In de Tarpen 42, 22848 Norderstedt, info[at]bod[dot]de | Anbieter: preigu.

N° de réf. du vendeur 115456725

Détails bibliographiques

• Titre: Une expressivité sémantique de la complexité d'alternance logique avec des variables continues
• Éditeur: GRIN Verlag
• Date de parution: 2019
• Langue: français
• ISBN à 10 chiffres: 3668876754
• ISBN à 13 chiffres: 9783668876750
• Reliure: Taschenbuch
• État de l'article: Neu

A propos de ce titre

Synopsis

Texte Universitaire de l'année 2019 dans le domaine Informatique - Divers, note: Msc, University of the Witwatersrand (University), cours: Symbolic Logics, langue: français, résumé Plongez au coeur des mystères de la logique temporelle et découvrez comment la limitation des variables propositionnelles peut bouleverser notre compréhension de la complexité computationnelle! Cet ouvrage explore en profondeur les arcanes des systèmes CTL, CTL, ATL et ATL, des outils cruciaux pour la vérification formelle des systèmes concurrents et multi-agents. Une question audacieuse est posée: la restriction à une seule variable propositionnelle simplifie-t-elle réellement le problème de satisfiabilité, pierre angulaire de la conception de systèmes fiables ? L'étude minutieuse de l'expressivité sémantique et de la complexité décisionnelle révèle des perspectives inattendues, en confrontant ces logiques à d'autres formalismes temporels. Préparez-vous à un voyage intellectuel où la rigueur mathématique rencontre les défis pratiques de la vérification de systèmes, et où une nouvelle technique de preuve est forgée pour éclairer les zones d'ombre de la calculabilité. Explorez la syntaxe et la sémantique de CTL et CTL, en jetant les bases formelles pour des analyses rigoureuses, puis aventurez-vous dans l'univers de ATL et ATL, essentiels à la modélisation des interactions complexes entre agents autonomes. Ce travail de recherche, ponctué de mots-clés tels que "logiques temporelles", "satisfaisabilité", "complexité", "variables propositionnelles" et "systèmes multi-agents", s'adresse aux chercheurs et ingénieurs désireux de maîtriser les fondements théoriques et les applications pratiques de la logique temporelle. Une exploration inédite vous attend, où les frontières de la calculabilité sont sans cesse repoussées. L'analyse comparative avec d'autres systèmes logiques temporels offre une perspective enrichissante, tandis que le développement et l'application d'une nouvelle technique de pr

À propos de l?auteur

Mike Nkongolo received the BSc (Hons) degree in computer science from the University of the Witwatersrand, Johannesburg, South Africa, in 2016. He is currently working toward the Masters degree in the School of Computer Science and Applied Mathematics, University of the Witwatersrand. His research interests include the theory and applications of Intelligent Systems, Web-based platforms and Machine Learning, Sentiment detection in Web Mining, and Artificial Intelligence-Natural Languages Processing.