scholarly journals Optimal Tableau Method for Constructive Satisfiability Testing and Model Synthesis in the Alternating-Time Temporal Logic ATL +

2015 ◽  
Vol 17 (1) ◽  
pp. 1-34 ◽  
Author(s):  
Serenella Cerrito ◽  
Amélie David ◽  
Valentin Goranko
Keyword(s):  
Temporal Logic ◽  
Model Synthesis ◽  
Tableau Method

SPECIFICATION AND VERIFICATION OF COMMUNICATION CONSTRAINTS FOR INTEROPERABLE TRANSACTIONS

1994 ◽  
Vol 03 (01) ◽  
pp. 47-65 ◽  
Author(s):  
A HH NGU ◽  
R MEERSMAN ◽  
H WEIGAND
Keyword(s):  
Temporal Logic ◽  
Dependency Graph ◽  
Communication Behavior ◽  
Communication Constraints ◽  
Transaction Model ◽  
Tableau Method ◽  
Component Systems ◽  
Specification And Verification ◽  
Business Trip ◽  
Temporal Ordering

The specification of communication behavior is fundamental in developing interoperable transactions. In particular, the temporal ordering of messages exchanged between different communicating agents must be declaratively specified and verified in order to guarantee consistency of data in the various component systems. This paper shows that by expressing communication constraints in propositional temporal logic, the tableau method can be applied to construct a dependency graph. If the specification is correct, this method guarantees that all possible execution paths satisfying the specification will be generated. The declarative specification and verification of communication constraints in interoperable transactions is demonstrated using the classic business trip. It is argued that the specification formalism provides an improvement over the Flexible Transaction Model.

Cognitive Functioning and Other Discriminatory Variables in Anorexic Patients

2005 ◽  
Vol 27 (1) ◽  
pp. 191-210 ◽  
Author(s):  
Carmen García-Alba
Keyword(s):  
Cognitive Functioning ◽  
Research Study ◽  
Early Stage ◽  
Developmental Period ◽  
The Other ◽  
Model Synthesis ◽  
Consistent Function ◽  
Current Article ◽  
Rorschach Variables ◽  
Underlying Pathology

This study is part of a larger research study (doctoral dissertation), in which a comparative study with adolescent samples is done: 50 anorexic restricting patients (ANP), 50 patients diagnosed with depression (DP) and 50 non patients (NP). The proposed objective is two-fold: 1) To try to clarify the existing relationship between Anorexia (AN) and Depression (D), investigated from diverse disciplines but without conclusive results. 2) To detect in the ANP personality different traits from those of other groups, which should, if possible, allow to detect them at an early stage for an adequate prognosis. The current article presents the Rorschach findings in relation to the cognitive functioning of the ANP. In them, the following has been detected: (1) An information processing similar to that of the other groups, even with a more complete (L ≤ .99), more complex (DQ+↑) and better discriminated (Zd↑) grasp of the stimulus; (2) Mediating processes very similar to those of the other groups, sharing with them the perceptive maladjustments (X–%↑) and an excessive individualism (Xu%↑); (3) A clearly differentiating ideation disorder. Definitely, the ANP use predominantly ideation (M↑), but their thought, usually well-adjusted (MQo↑), presents eventual operations of delusional type (MQnone↑). Above that, their thinking is marked by a great passivity (Mp↑), which makes them more vulnerable to accept ideas without criticizing them and it results in a very inefficient thinking, which spins around these concepts without finding solutions, entering into a sort of ruminating which is completely unproductive. The differences toward the obsessive pathology are established. The discriminant analysis conducted with all the Rorschach variables that resulted as significant throughout the research, provides quite a consistent function which discriminates the ANP: MQnone↑, Mp↑, FD↓, Ma↑, MQo↑, AdjD↑, Sum H↑, (H)↑. Based on this we can understand that these adolescents, being in a developmental period of big changes and disorientations in relation with their own image, confronted with life events, and possibly starting off with some biologic vulnerability: (1) Due to the alterations of their ideation, accept without criticism (Mp) irrational ideas dominating in our culture, in which slimness appears as the only model, synthesis of intelligence, beauty and success; remaining captured in this type of mental activity (MQnone), which they cannot escape nor criticize (Mp), despite they reason adequately on other topics (MQo); (2) Their alterations of self-perception [(H)] make them hide themselves in a fantasized image, which is the axis of their interests and the only thing that really matters to them; (3) The resources they have to decide on behaviors and to finish these deliberately (AdjD), and their scarce tendency to the introspection (FD) lead to their decision of not eating, based on distorted and passively accepted thinking, which has great power and thus, so difficult to modify. Finally, based on the Rorschach data obtained, the hypothesis of a personality disorder as underlying pathology is pointed out.

Alternating-time temporal logic with strong and weak exceptions

2009 ◽  
Vol 28 (11) ◽  
pp. 2874-2876 ◽  
Author(s):  
Xian-wei LAI ◽  
Shan-li HU ◽  
Zheng-yuan NING ◽  
Xiu-li WANG
Keyword(s):  
Temporal Logic

Peristrephic Visions

2017 ◽  
Author(s):  
Michael Germana
Keyword(s):  
Temporal Logic ◽  
White Supremacist ◽  
Invisible Man ◽  
The Future

Chapter 2 examines Ralph Ellison’s Invisible Man as a text that ekphrastically simulates a moving or “peristrephic” panorama in general, and an antebellum antislavery panorama in particular. In the process, this chapter reads Ellison’s debut novel as a text indebted to and allusive of, while ironically commenting on, the life and career of celebrated fugitive and peristrephic panoramist Henry Box Brown, who shipped himself in a sealed wooden crate from Richmond to Philadelphia and thus from slavery to freedom in 1849. Brown’s subsequent efforts to navigate the terrain of abolitionist discourse within a white supremacist culture led him to create a moving panorama called the Mirror of Slavery, which chronicled the cruelties of slavery, yet ended with the promise of universal emancipation. In appropriating the visual grammar of the antislavery panorama, Ellison also extends its ambivalent temporal logic to create his own alternative history in service of the future.

Sign in / Sign up

Export Citation Format

Share Document