scholarly journals Knowledge of uncertain worlds: programming with logical constraints

Author(s):  
Yanhong A Liu ◽  
Scott D Stoller

Abstract Programming with logic for sophisticated applications must deal with recursion and negation, which together have created significant challenges in logic, leading to many different, conflicting semantics of rules. This paper describes a unified language, DA logic, for design and analysis logic, based on the unifying founded semantics and constraint semantics, that supports the power and ease of programming with different intended semantics. The key idea is to provide meta-constraints, support the use of uncertain information in the form of either undefined values or possible combinations of values and promote the use of knowledge units that can be instantiated by any new predicates, including predicates with additional arguments.

2016 ◽  
Vol 39 ◽  
Author(s):  
Mary C. Potter

AbstractRapid serial visual presentation (RSVP) of words or pictured scenes provides evidence for a large-capacity conceptual short-term memory (CSTM) that momentarily provides rich associated material from long-term memory, permitting rapid chunking (Potter 1993; 2009; 2012). In perception of scenes as well as language comprehension, we make use of knowledge that briefly exceeds the supposed limits of working memory.


Author(s):  
Burkhard Müller ◽  
Jürgen Gehrke

Abstract. Planning interactions with the physical world requires knowledge about operations; in short, mental operators. Abstractness of content and directionality of access are two important properties to characterize the representational units of this kind of knowledge. Combining these properties allows four classes of knowledge units to be distinguished that can be found in the literature: (a) rules, (b) mental models or schemata, (c) instances, and (d) episodes or chunks. The influence of practicing alphabet-arithmetic operators in a prognostic, diagnostic, or retrognostic way (A + 2 = ?, A? = C, or ? + 2 = C, respectively) on the use of that knowledge in a subsequent test was used to assess the importance of these dimensions. At the beginning, the retrognostic use of knowledge was worse than the prognostic use, although identical operations were involved (A + 2 = ? vs. ? - 2 = A). This disadvantage was reduced with increased practice. Test performance was best if the task and the letter pairs were the same as in the acquisition phase. Overall, the findings support theories proposing multiple representational units of mental operators. The disadvantage for the retrognosis task was recovered in the test phase, and may be evidence for the importance of the order of events independent of the order of experience.


2011 ◽  
Author(s):  
Marita A. O'Brien ◽  
Kristin Weger ◽  
Mary E. DeFour ◽  
Sarah M. Reeves
Keyword(s):  

2018 ◽  
Vol 12 (1) ◽  
pp. 1
Author(s):  
Siti Nur Rochimiwati ◽  
Sukmawati Sukmawati ◽  
Budiman Budiman

Background : flavor enhancing food additives are often added as a flavor enhancer known as MSG that exceed the dose . if the addition of the additive is often done to cause dependence , so it will pose a health hazard to the consumer , such as stomach disorders, allergies , hypertension , asthma , cancer , diabetes , and lower intelligence. Most housewives do not know the information would adversely affect health. Objective : This study aims to describe the level of knowledge of the use of monosodium glutamate ( MSG ) housewife in backwoods village sauleya timbuseng Polongbangkeng northern districts Kab.Takalar. Methods : This is a descriptive study. samples are all housewives in the hamlet village sauleya timbuseng Polongbangkeng northern districts Kab. Takalar , who meet the criteria as much as 49 people . Data on the use MSG knowledge samples obtained by the interview method which uses a questionnaire instrument.the data presented in the from of frequency distribution graphic and narrative. Result : Results of research on the use of knowledge MSG housewives generally less category as many as 25 ( 51.0 % ) , use of MSG housewives generally can not be tolerated as many as 36 ( 73.5 % ). Conclusion : Knowledge of the use of MSG housewife classified as less and use MSG can not be tolerated.


2017 ◽  
Vol 23 (1) ◽  
pp. 52-63
Author(s):  
Titik Nurbiyati

Human resource management (HRM) is a recognition of the importance of human labor as vital resources that contribute to the goals of the organization, and utilization of multiple functions and activities to ensure that they are used effectively and fairly for the benefit of individuals, organizations, and society. Now human resource management has a unique and timely opportunity to improve productivity. Eventhough, productivity improvement does not means only increase the output. In addition, the evaluation of program responsibles and meets the special needs of employees with efficient cost. It is a very effective manner that very important, as organizations are tempted to cut costs and improve quality in their company. Without evaluation, it is very difficult to demonstrate that the development is the reason for the improvement. Human Resources Development can maintain and support productivity, as well as company isolate of lack of expertise of the human resources for the current job and future. The results are used in evaluating development programs include participant satisfaction with the training and development program development, learning knowledge or skills, the use of knowledge and skills on the job, and the results such as sale, productivity, or the prevention of accidents. Evaluation can also compare costs against benefits that receive development (return on investment).


2016 ◽  
pp. 081-096
Author(s):  
J.V. Rogushina ◽  

Objective methods for competence evaluating of scientists in the subject domain pertinent to the specific scientific product – research project, publication, etc. are proposed. These methods are based on the semantic matching of the description of scientific product and documents that confirm the competence of its authors or experts in the domain of this product. In addition, the use of knowledge acquired from the Web open environment – Wiki-resources, scientometric databases, organization official website, domain ontologies is proposed. Specialized ontology of scientific activity which allows to standardize the terminological base for describing the qualifications of researchers is developed.


Author(s):  
Svetlana Guseva ◽  
Lubov Petrichenko

The choice of optimum cross section for overhead line by economic intervals' methodIn this paper an approach to choosing the optimum cross section for overhead line in conditions of incomplete and uncertain information is considered. The two methods of such choice are presented: method of economic current density and economic intervals' method. The correction of the economic intervals method is offered under market conditions of costs. As example 20 kV and 110 kV overhead lines with aluminum, copper and ferroaluminum wires are selected. Universal nomograms with different standard cross section are calculated and constructed. The graphics using Mathcad software are offered.


Sign in / Sign up

Export Citation Format

Share Document