Design of Formal Methods Approach to Resolve Disputes - Couverture souple

Nabil Mohamed, Samer

 
9783659534164: Design of Formal Methods Approach to Resolve Disputes
Couverture souple
ISBN 10 : 3659534161 ISBN 13 : 9783659534164
Editeur : LAP LAMBERT Academic Publishing, 2014

Synopsis

A Framework for Intelligent Situation Analysis, FISA, is proposed. The main contribution of that framework is providing situation awareness in the domain of political disputes. To our knowledge, it is the first attempt for solving political disputes by crossing the gap between the looseness of political situations specifications and the tightness of logical formal methods. Other contributions include exploiting Communicating Sequential Processing, CSP, and the ‘fairness’ of Linear Temporal Logic, LTL, to provide ‘formal’ modeling for discovering ‘starvation’ and ‘deadlock’ situations. In this respect, the machine-based generation of the CSP processes that represents the situation model is an essential characteristic of the proposed framework. Actually, FISA is capable to answer questions about how to make ‘situation change(s)’ (based on fairness satisfaction) in order to ‘solve’ the nondeterminism in the underlying model situations.

Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.

Présentation de l'éditeur

A Framework for Intelligent Situation Analysis, FISA, is proposed. The main contribution of that framework is providing situation awareness in the domain of political disputes. To our knowledge, it is the first attempt for solving political disputes by crossing the gap between the looseness of political situations specifications and the tightness of logical formal methods. Other contributions include exploiting Communicating Sequential Processing, CSP, and the ‘fairness’ of Linear Temporal Logic, LTL, to provide ‘formal’ modeling for discovering ‘starvation’ and ‘deadlock’ situations. In this respect, the machine-based generation of the CSP processes that represents the situation model is an essential characteristic of the proposed framework. Actually, FISA is capable to answer questions about how to make ‘situation change(s)’ (based on fairness satisfaction) in order to ‘solve’ the nondeterminism in the underlying model situations.

Biographie de l'auteur

Dr. Samer Nabil is a researcher at national research center, Egypt. He received his BS from Military Technical College in 1988, MSc from Al.Azhar University on 2005 and PhD from Cairo University in Jun 2013 all in Computer Engineering. His fields of interest include data mining, knowledge discovery, pattern analysis and machine intelligence.

Les informations fournies dans la section « A propos du livre » peuvent faire référence à une autre édition de ce titre.

Éditeur
LAP LAMBERT Academic Publishing
Date d'édition
2014
Langue
anglais
ISBN 10 
3659534161
ISBN 13 
9783659534164
Reliure
Broché
Nombre de pages
148
Coordonnées du fabricant
non disponible
Personne responsable
KreGa Onlinehandel GmbH
4950000000000
info@krega-onlinehandel.de

Birkenweg 31
Brakel
33034
Allemagne