scholarly journals Identification of wavelengths from the visible spectrum by means of Arduino for the generation of a knowledge base managed by PROLOG

2018 ◽  
Vol 210 ◽  
pp. 02048
Author(s):  
Pinedo Arriaga O. Ts’zul ◽  
Pinedo Arraiga Carlos D. ◽  
Herrera Alvarado Eduardo ◽  
Tinoco Varela David
Keyword(s):  
Knowledge Base ◽  
Programming Language ◽  
Physical Environment ◽  
Intelligent Systems ◽  
Visible Spectrum ◽  
The Other ◽  
Data Management System ◽  
Software And Hardware ◽  
Physical Variables ◽  
The One

PROLOG is a programming language widely used in the generation of expert and intelligent systems, generally limited to data that is entered directly by a user in the form of software, having little or no interaction with data that is captured directly from a physical environment. This paper presents an implementation of an interface that detects the wavelengths of the visible spectrum, that is, identifies colors, colors that are stored in a knowledge base and then managed by PROLOG. This interface consists of two parts, software and hardware. The hardware is designed by means of the Arduino UNO development board, where a TCS3200 sensor is used. For the development of the software, two tools have been used, on the one hand, the standard programming of the Arduino IDE terminal has been used to manage the inputs and outputs of the Arduino board, and on the other hand, a data management system has been generated, in which PROLOG manages all the data obtained from hardware. This scheme seeks to generate color classifications in a dynamic and intelligent way in the future. The proposed system has the advantage that it is highly economical, easy to perform, uses the logical paradigm of programming, and opens the way to the design of intelligent systems managed by PROLOG from a monitoring of physical variables.

IX.—The Intellectual Resemblance of Twins

1934 ◽  
Vol 53 ◽  
pp. 105-129 ◽  
Author(s):  
Louis Herrman ◽  
Lancelot Hogben
Keyword(s):  
Physical Environment ◽  
Social Behaviour ◽  
Narrow Range ◽  
Single Gene ◽  
Experimental Methods ◽  
The Other ◽  
Genetic Constitution ◽  
Family Influences ◽  
Social And Physical Environment ◽  
The One

The characteristics of social behaviour in man are conditioned by previous experience. What is observed is the product on the one hand of a certain genetic constitution and on the other of an intricate, prolonged, and at present largely obscure, process of training and physical environment, including both the environment of the fœtus and family influences, social and physical. The experimental methods for detecting differences due to single gene substitutions cannot be applied directly. Indeed, we can see no immediate prospect of applying to social behaviour methods of genetic analysis such as have led to the mapping of the chromosomes in animals and in plants. With methods available at present, genetic inquiry can undertake to detect whether any gene differences are associated with observed differences, and whether such gene differences are recognisable throughout a comparatively wide or narrow range of social and physical environment.

scholarly journals Reasoning About Typicality and Probabilities in Preferential Description Logics

2020 ◽  
Author(s):  
Laura Giordano ◽  
Valentina Gliozzi ◽  
Antonio Lieto ◽  
Nicola Olivetti ◽  
Gian Luca Pozzato
Keyword(s):  
Knowledge Base ◽  
Minimal Model ◽  
Description Logics ◽  
The Other ◽  
Rational Closure ◽  
Preferential Semantics ◽  
Concept Combination ◽  
Basic Concepts ◽  
The One ◽  
Property Inheritance

In this work we describe preferential Description Logics of typicality, a nonmonotonic extension of standard Description Logics by means of a typicality operator T allowing to extend a knowledge base with inclusions of the form T(C) ⊑ D, whose intuitive meaning is that “normally/typically Cs are also Ds”. This extension is based on a minimal model semantics corresponding to a notion of rational closure, built upon preferential models. We recall the basic concepts underlying preferential Description Logics. We also present two extensions of the preferential semantics: on the one hand, we consider probabilistic extensions, based on a distributed semantics that is suitable for tackling the problem of commonsense concept combination, on the other hand, we consider other strengthening of the rational closure semantics and construction to avoid the so called “blocking of property inheritance problem”.

scholarly journals Consolidation via Tacit Culpability Measures: Between Explicit and Implicit Degrees of Culpability

2021 ◽  
Author(s):  
Jandson S. Ribeiro ◽  
Matthias Thimm
Keyword(s):  
Fixed Point ◽  
Knowledge Base ◽  
Special Class ◽  
Belief Change ◽  
Minimal Change ◽  
The Other ◽  
Preference Relations ◽  
Other Hand ◽  
The One ◽  
Rationality Postulates

Restoring consistency of a knowledge base, known as consolidation, should preserve as much information as possible of the original knowledge base. On the one hand, the field of belief change captures this principle of minimal change via rationality postulates. On the other hand, within the field of inconsistency measurement, culpability measures have been developed to assess how much a formula participates in making a knowledge base inconsistent. We look at culpability measures as a tool to disclose epistemic preference relations and build rational consolidation functions. We introduce tacit culpability measures that consider semantic counterparts between conflicting formulae, and we define a special class of these culpability measures based on a fixed-point characterisation: the stable tacit culpability measures. We show that the stable tacit culpability measures yield rational consolidation functions and that these are also the only culpability measures that yield rational consolidation functions.

Sanctities, Blasphemies and the (Jewish) Nation

2010 ◽  
Vol 4 (2) ◽  
pp. 199-216
Author(s):  
Chaim Noy
Keyword(s):  
North American ◽  
Physical Environment ◽  
Civil Religion ◽  
Orthodox Jews ◽  
The Other ◽  
Nation State ◽  
Robert Bellah ◽  
The Dead ◽  
The One ◽  
Modes Of Interaction

In this article I rematerialize discourse that is articulated in the shape of commemorative visitor book entries, in a national-military commemoration site in Jerusalem, Israel. The materiality and communicative affordances of the commemorative visitor book, the physical environment in which it is situated and which grants it meaning, and the modes of interaction and inscription that it affords are examined. Located in a densely symbolic national commemoration site, the impressively looking book does not merely capture visitors' reflections. Instead, it serves as a device that allows participation in a collective-national rite. While seemingly designated as a visitor book, the discursive device functions performatively as a portal or interface between visitors, on the one side, and the nation and the dead and living soldieries, on the other side. Expectedly, the inscriptions that populate the book's pages are instances of iconic discourse (texts with graphic additions of sorts), that embody one of the heightened ideological and experiential moments of "civil religion" (Robert Bellah). They illustrate the resources used by nationalism in establishing sacred contexts and rituals. Also, they illustrate how different discourses of sanctity (and profanity), are juxtaposed on the same (Jewish) space. Specifically, while local Israeli sightseers present their appreciation for and participation in commemoration of the nation-state in terms of "civil religion," most of the international tourists, who are mostly north American Orthodox and Ultra-Orthodox Jews, perform their notions of sanctity and sacredness in messianic and primordial terms, which look through or beyond the nation state.

scholarly journals “LIKE YOU, I WANT TO FEEL EXCITEMENT AND HOPE ABOUT OUR CITY”: ‘CHRISTCHURCH THE CITY’ IN CAMPAIGN MATERIAL OF THE 2013 CHRISTCHURCH CITY COUNCIL ELECTION

2014 ◽  
Vol 38 (1) ◽  
pp. 11-23 ◽  
Author(s):  
Sally Carlton
Keyword(s):  
Physical Environment ◽  
Local Politics ◽  
City Council ◽  
The Other ◽  
Other Hand ◽  
City Space ◽  
The One ◽  
The City ◽  
Post Disaster

The Christchurch City Council election of 2013 provides a compelling case study through which to consider the interaction between politics and city space. On the one hand, through the careful placement of campaign posters, politics encroached on the physical terrain of the city. On the other hand, candidates included in their campaign material multitudinous references to ‘Christchurch the city,’ demonstrating the extent to which the physical environment of the post-disaster city had become central to local politics.

Gardzienice: a Village, a Theatre, and a Cultural Crossroads

1992 ◽  
Vol 8 (29) ◽  
pp. 48-58
Author(s):  
Paul Allain
Keyword(s):  
Civil War ◽  
Eastern Europe ◽  
Graduate Student ◽  
Physical Environment ◽  
Free Market ◽  
The Other ◽  
The Political ◽  
Training Methods ◽  
The One ◽  
The Voice

Appropriately, this feature on the Polish theatre group Gardzienice is something of a cultural mix, in which the impressions of an English visitor may be contrasted with the voice of a Polish admirer – and the beliefs of the group itself, expressed in the words of its director, Wlodzimierz Staniewski. In the winter of 1989–90, Paul Allain, a graduate student at Goldsmiths' College, University of London, visited the company at its ‘headquarters’ – which is also, in effect, the small and remote Polish village from which Gardzienice takes its name. This was at a time when the new. Solidarity-led government had yet to be fully felt. Here, Allain describes the training methods and disciplines of the company which, within the context of its physical environment, have come to constitute a lifestyle as much as an approach to theatre. Janusz Majcherek writes rather of the significance of Gardzienice in relation to the ancient and fundamental need for a homeland – a need which, in Staniewski's writings, is related to the company's own hopes and plans. All this material was in our hands well before the upsurge in nationalist feeling which has succeeded the political changes in eastern Europe: and it may be felt to reflect ironically upon alternative ways of ‘returning home’ – on the one hand through the actuality or threat of civil war and the struggle for an elusive slice of the ‘free market’, on the other in that quest for a lost history and inheritance, for healing connections with one's environment, which is reflected theatrically in the work of Gardzienice.

scholarly journals Normal forms of conditional knowledge bases respecting system P-entailments and signature renamings

2021 ◽  
Author(s):  
Christoph Beierle ◽  
Jonas Haldimann
Keyword(s):  
Normal Form ◽  
Knowledge Base ◽  
Normal Forms ◽  
Nonmonotonic Reasoning ◽  
Knowledge Bases ◽  
The Other ◽  
Conditional Knowledge ◽  
System P ◽  
The One ◽  
Model Equivalence

AbstractConditionals are defeasible rules of the form If A then usually B, and they play a central role in many approaches to nonmonotonic reasoning. Normal forms of conditional knowledge bases consisting of a set of such conditionals are useful to create, process, and compare the knowledge represented by them. In this article, we propose several new normal forms for conditional knowledge bases. Compared to the previously introduced antecedent normal form, the reduced antecedent normal form (RANF) represents conditional knowledge with significantly fewer conditionals by taking nonmonotonic entailments licenced by system P into account. The renaming normal form(ρNF) addresses equivalences among conditional knowledge bases induced by renamings of the underlying signature. Combining the concept of renaming normal form with other normal forms yields the renaming antecedent normal form (ρ ANF) and the renaming reduced antecedent normal form (ρ RANF). For all newly introduced normal forms, we show their key properties regarding, existence, uniqueness, model equivalence, and inferential equivalence, and we develop algorithms transforming every conditional knowledge base into an equivalent knowledge base being in the respective normal form. For the most succinct normal form, the ρ RANF, we present an algorithm KBρra systematically generating knowledge bases over a given signature in ρ RANF. We show that the generated knowledge bases are consistent, pairwise not antecedentwise equivalent, and pairwise not equivalent under signature renaming. Furthermore, the algorithm is complete in the sense that, when taking signature renamings and model equivalence into account, every consistent knowledge base is generated. Observing that normalizing the set of all knowledge bases over a signature Σ to ρ RANF yields exactly the same result as KBρra (Σ), highlights the interrelationship between normal form transformations on the one hand and systematically generating knowledge bases in normal form on the other hand.

scholarly journals Creation of a knowledge management model based on CBR

2021 ◽  
Vol 4 (1) ◽  
pp. 19-28
Author(s):  
Ibrahima Gueye ◽  
Abdoulaye Kebe ◽  
Moustapha Diop
Keyword(s):  
Knowledge Base ◽  
The Other ◽  
Management Model ◽  
Electricity Distribution ◽  
Solar Photovoltaic ◽  
Distribution Grid ◽  
Maintenance Activity ◽  
Maintenance Technicians ◽  
Maintenance Activities ◽  
The One

This paper proposes a solution to facilitate maintenance activities associated with stand-alone solar photovoltaic installations in our developing countries. The autonomous photovoltaic solar installation is not connected to the electricity distribution grid. It meets the electricity needs on the one hand, of those who are too far away and who do not have access to the distribution grid. On the other hand, those who wish to overcome the constraints of connection to the electrical distribution grid. Our work focuses on the capitalization of knowledge in maintenance activity. The goal is to propose a model capable of helping maintenance technicians during their interventions by providing them with knowledge elements that will be drawn from a knowledge base. This knowledge base is built from the knowledge collected during previous maintenance activities in a given solar photovoltaic installation.

The Spectra of Red Variables: SC Stars

1979 ◽  
Vol 46 ◽  
pp. 215-222
Author(s):  
Philip C. Keenan
Keyword(s):  
Inverse Problem ◽  
Variable Star ◽  
Point Of View ◽  
The Other ◽  
Spectral Features ◽  
Spectral Classification ◽  
Mira Variables ◽  
Other Hand ◽  
Physical Variables ◽  
The One

The value of recording the spectra of red stars depends upon one’s point of view. On the one side, to those concerned with spectral classification in general, it is of the greatest aid in calibrating the criteria of classification if those criteria are observed in a variable star in which the physical variables change by a known amount. Thus the temperature differences, amounting to three or four hundred degrees, between the maximum and minimum phases of Mira variables, have helped to establish the temperature criteria that are in general use for the coolest stars.On the other hand, I am sure that at this meeting there is more interest in the inverse problem: how to use the behavior of the spectral features to learn more about what is going on in the variable star - or, at least, at their surfaces.

scholarly journals Logic programming as a service

2018 ◽  
Vol 18 (5-6) ◽  
pp. 846-873 ◽  
Author(s):  
ROBERTA CALEGARI ◽  
ENRICO DENTI ◽  
STEFANO MARIANI ◽  
ANDREA OMICINI
Keyword(s):  
Distributed Systems ◽  
Logic Programming ◽  
Systems Engineering ◽  
Intelligent Systems ◽  
The Other ◽  
Service Oriented Architectures ◽  
Pervasive Systems ◽  
Architectural Model ◽  
Service Oriented ◽  
The One

AbstractNew generations of distributed systems are opening novel perspectives for logic programming (LP): On the one hand, service-oriented architectures represent nowadays the standard approach for distributed systems engineering; on the other hand, pervasive systems mandate for situated intelligence. In this paper, we introduce the notion ofLogic Programming as a Service(LPaaS) as a means to address the needs of pervasive intelligent systems through logic engines exploited as a distributed service. First, we define the abstract architectural model by re-interpreting classical LP notions in the new context; then we elaborate on the nature of LP interpreted as a service by describing the basic LPaaS interface. Finally, we show how LPaaS works in practice by discussing its implementation in terms of distributed tuProlog engines, accounting for basic issues such as interoperability and configurability.

Sign in / Sign up

Export Citation Format

Share Document