Combining logic and probability in tracking and scene interpretation

The paper gives a high-level overview of some ways in which logical representations and reasoning can be used in computer vision applications, such as tracking and scene interpretation. The combination of logical and statistical approaches is also considered

Influence of the Azores high on sea level pressure and wind, and on precipitation, in the Eastern Tropical Pacific Ocean

ENGLISH: Intensification of the Azores high pressure cell in mid-year, with concomitant air flow from the Caribbean into the Pacific, is shown to be responsible for a secondary minimum of precipitation observed along the tropical Pacific coast of the Americas, and to have a measurable effect on wind and precipitation several hundred kilometers offshore. SPANISH: La intensificación de la célula de alta presión de las Azores a mediados del año, y la corriente de aire concomitante que entra al Pacífico procedente del Caribe, se demuestra que es la causante de un mínimo secundario de precipitación observado a lo largo de la costa tropical de las Américas en el Pacífico y que tiene un efecto mensurable sobre el viento y la precipitación varios cientos de kilómetros mar afuera. (PDF contains 23 pages.

A Hybrid Reasoning Model for “Whole and Part” Cardinal Direction Relations

We have shown how the nine tiles in the projection-based model for cardinal directions can be partitioned into sets based on horizontal and vertical constraints (called Horizontal and Vertical Constraints Model) in our previous papers (Kor and Bennett, 2003 and 2010). In order to come up with an expressive hybrid model for direction relations between two-dimensional single-piece regions (without holes), we integrate the well-known RCC-8 model with the above-mentioned model. From this expressive hybrid model, we derive 8 basic binary relations and 13 feasible as well as jointly exhaustive relations for the x- and y-directions, respectively. Based on these basic binary relations, we derive two separate composition tables for both the expressive and weak direction relations. We introduce a formula that can be used for the computation of the composition of expressive and weak direction relations between “whole or part” regions. Lastly, we also show how the expressive hybrid model can be used to make several existential inferences that are not possible for existing models

An expressive hybrid model for the composition of cardinal directions

In our previous paper (Kor and Bennett, 2003), we have shown how the nine tiles in the projection-based model for cardinal directions can be partitioned into sets based on horizontal and vertical constraints (called Horizontal and Vertical Constraints Model). In order to come up with an expressive hybrid model for direction relations between two-dimensional single-piece regions (without holes), we integrate the well-known RCC-8 model with the above-mentioned model. From this expressive hybrid model, we derive 8 atomic binary relations and 13 feasible as well as jointly exhaustive relations for the x and y directions respectively. Based on these atomic binary relations, we derive two separate 8x8 composition tables for both the expressive and weak direction relations. We introduce a formula that can be used for the computation of the composition of expressive and weak direction relations between ‘whole or part’ regions. Lastly, we also show how the expressive hybrid model can be used to make several existential inferences that are not possible for existing models

Studies of physical, chemical, and biological oceanography in the vicinity of the Revilla Gigedo Islands during the “Island Current Survey” of 1957

ENGLISH: The tendency of the tunas, especially the yellowfin (Neothunnus macropterus) to be more abundant in the near vicinity of islands and seamounts, or "banks", than in the surrounding oceanic areas, is well known to commercial fishermen. This has been confirmed by statistical analysis of fishing vessel logbook records, which demonstrates that the catch-per-day's-fishing is, indeed, higher in the near vicinity of these features. It is hypothesized that islands and seamounts cause changes in the physical circulation or the biochemical cycle resulting in greater supplies of food for tunas in their immediate environs. In order to examine this hypothesis, and in order to study possible mechanisms involved, the "Island Current Survey" was undertaken from 8 May to 12 June, 1957, under the joint auspices of the Inter-American Tropical Tuna Commission and the Scripps Institution of Oceanography. Surveys of varying nature and extent were made from M/V Spencer F. Baird near Alijos Rocks, Clarion Island, Shimada Bank and Socorro Island (Figure 1). These studies sought to provide knowledge of the action of islands and seamounts in arresting, stalling or deflecting the mean current past them, in establishing convergence and divergence in the surface flow, in producing vertical motion (mixing and upwelling), and in influencing the primary production and the standing crops of phytoplankton and zooplankton. Each survey is discussed below in detail. Observations made at a front on 10 June will be discussed in another paper. SPANISH: Los pescadores que realizan la pesca comercial conocen muy bien la tendencia de los atunes, en particular del atún aleta amarilla (Neothunnus macropterus), de presentarse en mayor abundancia en las cercanías inmediatas a las islas y cimas submarinas, o "bancos", que en las áreas oceánicas circundantes. Este hecho ha sido confirmado par el análisis estadístico de los registros de los cuadernos de bitácora de las embarcaciones pesqueras, demostrándose que la captura par dias de pesca es, en efecto, más abundante en la inmediata proximidad de tales formaciones. Hipotéticamente se admite que las islas y las cimas submarinas provocan cambios en la circulación física o en el ciclo bioquímico, lo cual se pone de manifiesto a través de un mejor abastecimiento de alimento para los atunes en sus cercanías inmediatas. Con la finalidad de verificar esta hipótesis y de estudiar los mecanismos que ella involucra, se realizó la “Island Current Survey” del 8 de mayo al 12 de junio de 1957, bajo los auspicios de la Comisión Interamericana del Atún Tropical y de la Institución Scripps de Oceanografia. Con el barco Spencer F. Baird se hicieron observaciones de distintas clases y alcances cerca de las Rocas Alijos, la Isla Clarion, el Banco Shimada y la Isla Socorro (Figura 1). Estos estudios tuvieron por objeto adquirir conocimientos sobre la acción que ejercen las islas y cimas submarinas sobre la corriente promedio, ya sea deteniéndola, reduciendo su velocidad o desviando su curso, así como estableciendo convergencia o divergencia en su flujo de superficie, o provocando un movimiento vertical (mezcla y afloramiento) e influyendo en la producción primaria y en las existencias de fitoplancton y zooplancton. Cada operación será tratada a continuación por separado. Las observaciones hechas el dia 10 de junio sobre un frente serán objeto de otra publicación

Composition for cardinal directions by decomposing horizontal and vertical constraints

In this paper, we demonstrate how to group the nine cardinal directions into sets and use them to compute a composition table. Firstly, we define each cardinal direction in terms of a certain set of constraints. This is followed by decomposing the cardinal directions into sets corresponding to the horizontal and vertical constraints. We apply two different techniques to compute the composition of these sets. The first technique is an algebraic computation while the second is the typical technique of reasoning with diagrams. The rationale of applying the latter is for confirmation purposes. The use of typical composition tables for existential inference is rarely demonstrated. Here, we shall demonstrate how to use the composition table to answer queries requiring the common forward reasoning as well as existential inference. Also, we combine mereological and cardinal direction relations to create a hybrid model which is more expressive

Cognitive context and arguments from ontologies for learning

The deployment of learning resources on the web by different experts has resulted in the accessibility of multiple viewpoints about the same topics. In this work we assume that learning resources are underpinned by ontologies. Different formalizations of domains may result from different contexts, different use of terminology, incomplete knowledge or conflicting knowledge. We define the notion of cognitive learning context which describes the cognitive context of an agent who refers to multiple and possibly inconsistent ontologies to determine the truth of a proposition. In particular we describe the cognitive states of ambiguity and inconsistency resulting from incomplete and conflicting ontologies respectively. Conflicts between ontologies can be identified through the derivation of conflicting arguments about a particular point of view. Arguments can be used to detect inconsistencies between ontologies. They can also be used in a dialogue between a human learner and a software tutor in order to enable the learner to justify her views and detect inconsistencies between her beliefs and the tutor’s own. Two types of arguments are discussed, namely: arguments inferred directly from taxonomic relations between concepts, and arguments about the necessary an

Semantic categories underlying the meaning of ‘place’

This paper analyses the semantics of natural language expressions that are associated with the intuitive notion of ‘place’. We note that the nature of such terms is highly contested, and suggest that this arises from two main considerations: 1) there are a number of logically distinct categories of place expression, which are not always clearly distinguished in discourse about ‘place’; 2) the many non-substantive place count nouns (such as ‘place’, ‘region’, ‘area’, etc.) employed in natural language are highly ambiguous. With respect to consideration 1), we propose that place-related expressions should be classified into the following distinct logical types: a) ‘place-like’ count nouns (further subdivided into abstract, spatial and substantive varieties), b) proper names of ‘place-like’ objects, c) locative property phrases, and d) definite descriptions of ‘place-like’ objects. We outline possible formal representations for each of these. To address consideration 2), we examine meanings, connotations and ambiguities of the English vocabulary of abstract and generic place count nouns, and identify underlying elements of meaning, which explain both similarities and differences in the sense and usage of the various terms