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 Feb 2019, 2019

A propos de cet article

This item is printed on demand - it takes 3-4 days longer - Neuware -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é: Nous montrons que les logiques temporelles de temps de branchement, ainsi que les logiques temporelles a temps alternatif, sont expressif dans la langue avec une seule variable propositionnelle ou avec une offre limite de variables. 28 pp. Französisch.

N° de réf. du vendeur 9783668876750

Détails bibliographiques

• Titre: Une expressivité sémantique de la complexité d'alternance logique avec des variables continues
• Éditeur: GRIN Verlag Feb 2019
• 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.