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.
General
Imprint: |
Lap Lambert Academic Publishing
|
Country of origin: |
United States |
Release date: |
April 2014 |
First published: |
April 2014 |
Authors: |
Nabil Mohamed Samer
|
Dimensions: |
229 x 152 x 9mm (L x W x T) |
Format: |
Paperback - Trade
|
Pages: |
148 |
ISBN-13: |
978-3-659-53416-4 |
Categories: |
Books >
Computing & IT >
General theory of computing >
General
|
LSN: |
3-659-53416-1 |
Barcode: |
9783659534164 |
Is the information for this product incomplete, wrong or inappropriate?
Let us know about it.
Does this product have an incorrect or missing image?
Send us a new image.
Is this product missing categories?
Add more categories.
Review This Product
No reviews yet - be the first to create one!