Logical Hierarchy Research Articles

계층화된 비디오 내용 모델링 및 브라우징

본 논문에서는 비디오 데이터 대한 구조적 내용과 의미적 내용에 효과적으로 표현하기 위해 비디오 모델링을 제안한다. 또한 사용자가 비디오 데이터에 대한 내용 정보를 쉽게 파악하고 재생할 수 있도록 하는 브라우징 기법을 제안한다. 제안하는 모델링은 원시 데이터 계층, 내용 계층 그리고 키프레임 계층의 세 계층으로 구성되며 비디오 데이터에 대한 논리적인 계층 구조와 의미적 내용은 내용 계층에 표현한다. 비디오 브라우징은 비디오 재생과 내용 정보를 나타내는 두 가지 브라우저를 구현하였다. 비디오 재생 브라우저는 비디오를 재생과 현재화면 정보를 나타내는 기능을 수행한다. 내용 정보 브라우저는 원시데이터, 구조적 내용 그리고 의미적 내용에 대한 정보를 브라우징하는 기능을 제공한다. In this paper, we propose modeling method for video data that represents structural and semantic contents of video data efficiently. Also, a browsing method that helps users easily understand and play the contents of video data is presented. The proposed modeling scheme consists of three layers such as raw data layer, content layer and key frame layer The content layer represents logical hierarchy and semantic contents of video data. We implement two kinds of browsers for playing video data and providing video contents. The playing browser plays video data and Presents the information of currently playing shot. The content browser allows users to browse raw data, structural information and semantic contents of video data.

Combining Valuations with Society Semantics

Society Semantics, introduced by W. Carnielli and M. Lima-Marques, is a method for obtaining new logics from the combination of agents (valuations) of a given logic. The goal of this paper is to present several generalizations of this method, as well as to show some applications to many-valued logics. After a reformulation of Society Semantics in a wider setting, we develop in detail two examples of application of the new formalism, characterizing a hierarchy of paraconsistent logics called Pn (for n ? N) and a hierarchy of paracomplete logics In (for n ? N). We also propose three further generalizations, obtaining Society Semantics for several many-valued logics, including a hierarchy of logics called In Pk which are both paraconsistent and paracomplete.

Objectivité de façade, subjectivités en sourdine : la stratégie narrative dans Child of God, de Cormac McCarthy

Through the analysis of an extract from Child of God, we argue that behind a linguistic form that explicits an “objective” representation of facts, there is an alternation of points of view. First, the point of view of a narrator who intervenes in a very anecdotal way. But much more dominant, is the point of view of the main character Ballard, whose successive micro-actions are expressed in a linear way, with no temporal or logical hierarchy. This “neutral” and structurally repetitive account has a symbolic value, evoking the internal functioning of Ballard. The representation of perception leads us to conclude that despite some characteristics of external focalisation, this narration predominantly stages the dehumanised view of Ballard.

Modeling Chinese cryospheric change by using GIS technology

The Chinese Cryospheric Information System (CCIS) is an integrated geographic information system (GIS) for storing, managing and analyzing the cryospheric data within China. Three regions were selected as the case study areas of CCIS. They are the Qinghai–Tibet Plateau, the regions along the Qinghai–Tibet Highway and the Urumqi River Basin of Tianshan Mountain. A draft geo-classification system that can express the logical hierarchy of cryospheric data was established. Based on this, CCIS stored large volumes of data, including maps of glacier, frozen ground and other environmental elements, digital elevation data, observation data of meteorological stations, hydrological gauges and permafrost boreholes and remote sensing data. CCIS is managed by ARC/INFO and can export data to other GIS environments easily, since data exchange interfaces were paid particular attention in the system. Based on CCIS, several GIS-based models about cryospheric processes and cryospheric response to global change have been developed. The models introduced are the following: a response model of high-altitude permafrost to global change, an evaluation model of engineering properties in permafrost regions along the Qinghai–Tibet Highway and a model of glacier mass balance estimation. The modeling results showed that the permafrost and glaciers in Chinese cryosphere will have significant changes under climatic warming.

On a hierarchy involving transitive closure logic and existential second-order quantification

We study a hierarchy of logics where each formula of each logic in the hierarchy consists of a formula of a certain fragment of transitive closure logic prefixed with an existentially quantified tuple of unary relation symbols. By playing an Ehrenfeucht-Fraisse game specifically developed for our logics, we prove that there are problems definable in the second level of our hierarchy that are not definable in the first; and that if we are to prove that the hierarchy is proper in its entirety (or even that the third level does not collapse to the second) then we shall require substantially different constructions than those used previously to show that the hierarchy is indeed proper in the absence of the existentially quantified second-order symbols.

Weakly algebraizable logics

AbstractIn the paper we study the class of weakly algebraizable logics, characterized by the monotonicity and injectivity of the Leibniz operator on the theories of the logic. This class forms a new level in the non-linear hierarchy of protoalgebraic logics.

A hierarchy of modal logics with relative accessibility relations

ABSTRACT In this paper we introduce and investigate various classes of multimodal logics based on frames with relative accessibility relations. We discuss their applicability to representation and analysis of incomplete information. We provide axiom systems for these logics and we prove their completeness.

Structures and processes required for research, higher education and technology transfer in the agricultural sciences: a policy appraisal

AbstractEvidence is forwarded of a will for rationalisation of higher education, research and technology transfer processes; but the actions which have taken place in all three structures have, in contrast, produced irrationality and inefficiency. Tertiary education institutions are proposed as the spine for reconstruction, but pre‐requisite is a logical hierarchy of missions appropriate to the various educational sectors. This done, research institutions may usefully coalesce with the universities, while development and advisory agencies may beneficially integrate into the polytechnic sector from which their information flow is sourced. There is strong mutually supportive efficiencies from education, research and extension emanating from a single resource base; but that base needs to be tiered according to the aptitude and requirement (science, technology, skills), and integrated with the industry. These proposals are not founded only as coping strategies in the face of funding withdrawals, but as optimisation movements bringing benefits of sharing of common human and physical resource for the three sectors; education, research, and technology transfer. An optimisation lost by their separation, and by competition amongst organisations within each sector (but especially education) striving for similar goals and for limited resources when the national requirement is for diversity.

Structures and processes required for research, higher education and technology transfer in the agricultural sciences: a policy appraisal

Abstract Evidence is forwarded of a will for rationalisation of higher education, research and technology transfer processes; but the actions which have taken place in all three structures have, in contrast, produced irrationality and inefficiency. Tertiary education institutions are proposed as the spine for reconstruction, but pre-requisite is a logical hierarchy of missions appropriate to the various educational sectors. This done, research institutions may usefully coalesce with the universities, while development and advisory agencies may beneficially integrate into the polytechnic sector from which their information flow is sourced. There is strong mutually supportive efficiencies from education, research and extension emanating from a single resource base; but that base needs to be tiered according to the aptitude and requirement (science, technology, skills), and integrated with the industry. These proposals are not founded only as coping strategies in the face of funding withdrawals, but as optimisation movements bringing benefits of sharing of common human and physical resource for the three sectors; education, research, and technology transfer. An optimisation lost by their separation, and by competition amongst organisations within each sector (but especially education) striving for similar goals and for limited resources when the national requirement is for diversity.

The making of memory: the politics of archives, libraries and museums in the construction of national consciousness

An archive is a repository - that is, a place or space in which materials of historic interest or social significance are stored and ordered. A national archive is the storing and ordering place of the collective memory of that nation or people(s). This article provides a brief his torical/theoretical introduction to the politics of the archive in late capi talist societies and discusses this politics of memory via the performance of ordinary daily activities of librarians and archivists. Some relevant political/discursive questions include: who controls, establishes and maintains the archive, and how do they do so? Which materials are preserved in the archive and which are excluded? As the documents and artifacts selected for the archive are ordered and classi fied, how do the schemas and structures applied include, exclude, fore ground or marginalize those materials? Finally, to what extent do the logical hierarchies for classification and arrangement reflect social or political hierarchies? Librarians and archivists face these concerns in HISTORY OF THE HUMAN SCIENCES Vol. 11 No. 4 © 1998 SAGE Publications (London, Thousand Oaks and New Delhi) [0952-6951(199811)11:4;17-32; 006604]their professional practice as they make decisions influenced by budgets, finite amounts of both physical and computer storage space and limited staff resources. The authors give real-life examples of choices made as archivists struggle to balance ideological goals made contradictory by practical constraints. For example, is it more appro priate to acquire as many materials as possible but be unable to describe, preserve and present them adequately, or is it preferable to describe, preserve and make fully available a more limited range of records and documents? Because of such practical concerns in modern technicist cultures, the explicitly political who often is reduced to the technically instrumental how - that is, political-moral questions are displaced to nonmoral and nonpolitical technical discourse, thereby establishing a 'meta-politics' that is understood only by the initiated. Conversely, archival activities such as acquisition, classification and preservation are 'technical' activi ties that may become explicitly 'political'. The article concludes that technical activities always are political, at least latently or potentially, even when they are not contested and made explicitly political.

HPP: A Reliable Causal Broadcast Protocol for Large-Scale Replication in Wide Area Networks

This paper describes a fast, reliable, scalable and efficient broadcast protocol called HPP (hierarchical propagation protocol) for weak-consistency replica management. It is based on organizing the nodes in a network into a logical hierarchy and maintaining a limited amount of state information at each node. It ensures that messages are not lost due to failures or partitions and minimizes redundancy. Furthermore, the protocol allows messages to be diffused while nodes are down provided the parent and child nodes of a failed node are alive. Moreover, the protocol allows nodes to be moved in the logical hierarchy and the network to be restructured dynamically in order to improve performance, while still ensuring that no messages are lost while the switch takes place and without disturbing normal operation. A performance study of the protocol in terms of availability and propagation delay indicates that the protocol reduces the delay by a factor of four compared to a protocol that does not diffuse messages past failed nodes.

Distributed algorithms for mobile hosts

In a mobile environment the physical movement of hosts causes changes in the physical topology of the network with time. Therefore, the direct execution of the existing distributed algorithms in a mobile environment renders them inefficient. Distributed algorithms are therefore modified by assigning proxies, which are static hosts in the network, to each of the mobile hosts. Proxies have been used at a level d(d ≥ 1) in the logical hierarchy of location servers. A mutual exclusion algorithm has been redesigned, and the results of simulations of the original and modified versions are presented. General purpose procedures have been developed which can be used in any distributed algorithm designed for a mobile environment and which uses static hosts as proxies.

Game logic and its applications I

This paper provides a logic framework for investigations of game theoretical problems. We adopt an infinitary extension of classical predicate logic as the base logic of the framework. The reason for an infinitary extension is to express the common knowledge concept explicitly. Depending upon the choice of axioms on the knowledge operators, there is a hierarchy of logics. The limit case is an infinitary predicate extension of modal propositional logic KD4, and is of special interest in applications. In Part I, we develop the basic framework, and show some applications: an epistemic axiomatization of Nash equilibrium and formal undecidability on the playability of a game. To show the formal undecidability, we use a term existence theorem, which will be proved in Part II.

Traveler Response to Damaged Freeways and Transportation System Changes following Northridge Earthquake

When four key freeways in Southern California were damaged on January 17, 1994, by the Northridge earthquake, state and local agencies implemented a variety of emergency measures to the transportation systems in damaged corridors to ensure some degree of mobility during reconstruction. Travelers who had used damaged routes were faced with a variety of travel choices, such as using primary roadway detours, ridesharing, diverting to other roads, using transit, avoiding travel, telecommuting, or changing time of travel. On the basis of comprehensive travel surveys, traffic monitoring, and data collection, it was determined that travelers responded in significantly different ways in each of the four damaged corridors. In the very heavily traveled I-10 (Santa Monica) Freeway Corridor, even though primary roadway detours could only carry approximately 40 percent of normal freeway capacity, virtually all travelers still drove their automobiles because numerous parallel streets exist in this corridor as alternatives to the freeway. By contrast, research showed that some 7,000 users of the I-5 (Golden State) and SR-14 (Antelope Valley) freeways shifted to commuter trains because parallel roadways were limited. In addition, although most travelers quickly returned to their original trip making choices and mode of travel after damaged freeways were opened, other travelers (including many train riders) chose to remain with the new travel choices for a variety of behavioral reasons, including reliability. Further research indicated that when travelers in Southern California were forced to choose from a variety of new travel choices, their decision making followed a logical hierarchy based on specific trip making requirements and travel time thresholds, as well as their perceptions of the suitability of each choice for their own particular travel needs.

A hierarchy of temporal logics with past

We extend the classical hierarchy of branching-time temporal logics between UB and CTL ∗ by studying which additional expressive power (if any) stems from the incorporation of past time modalities. In addition, we propose a new temporal combinator, N for “From Now On”, that brings new and interesting expressive power. In several situations, nontrivial translation algorithms exist from a temporal logic with past to a pure-future fragment. These algorithms have important practical applications, e.g., in the field of model-checking.

Systemic Crises in Hierarchical Ecological Economies

Human beings are both the slaves and the masters of the ecosystems in which they live. This paper examines the interrelationship be- tween economic decision-making hierarchies and ecological hierarchies. Conditions under which dis- continuous changes can occur are presented both for top-down and bottom-up causes. Appropriate institutional arrangements for minimizing ecological disruption are analyzed and depend on the nature of the relationship between the economic and eco- logical hierarchies. In some cases this will involve self-managed economic units operating at the ap- propriate level of the ecological hierarchy. (JEL Q20)

"So mean and cranky, I could bite my mother": an ethnosemantic analysis of women's descriptions of premenstrual change.

Textual analysis was used to examine responses to an open ended question about women's experiences of premenstrual change. The question was the final item of the Premenstrual Assessment Form (PAF), a retrospective PMS questionnaire. Of the 336 women who answered the PAF, 261 provided a written narrative summary. We found a logical hierarchy of distinctions covering the presence or absence of changes, their timing, and attributive aspects, and a final cumulative distinction in which women provided information about the consequences of their premenstrual change. Although attribute aspects mirrored the PAF, distinctions in timing and in the cumulative effect of changes differed. The analysis suggests that questionnaires could be designed which more precisely reflect premenstrual change.

Undecidable complexity statements in -arithmetic

The failure of a large and diverse body of work to settle some of the now-classical questions of computational complexity (notably P =? NP) suggests that they might not, in fact, be resolvable by established proof techniques.Hartmanis and Hopcroft [HH] raised the issue of independent statements about computational complexity in 1976, constructing, for any consistent r.e. theory T capable of expressing statements about Turing machines, a Turing machine MT such that statements which intuitively express the computational complexity of MT are independent of T. Their technique involves a simple diagonalizing search over the theorems of T. In this paper we prove a constructive version of their independence result in the context of a generalization of a hierarchy of free variable logics defined by Rose [R1]. These logics are based on an axiomatized treatment of an extension by Löb and Wainer [LW] of Grzegorczyk's [G] hierarchy into the transfinite. Associated with each extended Grzegorczyk class (relative to an ordinal notation system S satisfying certain conditions) is the logic -arithmetic.Free variable logics are interesting from the perspective of theoretical computer science. We may construe the equational definition of functions as a form of programming system. Each -arithmetic, then, has the nice property of containing both a programming system and a logic for stating and proving facts about programs.

Profiting from controversy: Lessons from the person^situation debate.

Profiting from controversy: Lessons from the person^situation debate.

Analyzing hierarchical relationships among modes of cognitive reasoning and integrated science process skills

AbstractThe purpose of this research was to search for a learning hierarchy among skills comprising formal operations and the integrated science processes. Ordering theoretic and probabilistic latent structure methods were used to analyze data on five process skills and six logical thinking skills collected from 700 science students. Both linear and branching hierarchical relationships were identified within and across the two sets of skills. Most of them fit the logical hierarchies which have guided curriculum development and classroom practices in the past. But a few run counter to our present logic and understanding of these skills.