A Semantic Future for AI

Computing must become much more human centered--for example, by presenting personalized information to users and by respecting personal preferences when controlling multiple devices or invoking various services. Appropriate representation of the information's semantics and of the functionality of devices and services will be critical to such personalized computing. Symbolic artificial intelligence techniques provide the method of choice for the required semantic-representation and reasoning capabilities.     

Mediastinal space-occupying lesion with reduced perfusion of the left lung. Thoracic aortic aneurysm with compression of the left pulmonary artery

CONTEXT: An increase in the recreational use of personal watercraft (PWC) raises concern about an increase in associated injuries on a national level. OBJECTIVE: To estimate the relative frequency, types of injury, and demographic features of persons injured while using PWC in the United States. DESIGN: Case series. SETTING: Emergency department (ED) visits to hospitals participating a national probability sample. PARTICIPANTS: All persons treated for PWC-related injury from January 1,1990, through December 31, 1995. RESULTS: An estimated 32954 persons (95% confidence interval [CI], 22919-42989) with PWC-related injuries were treated in US hospital EDs, of which 3.5% were hospitalized. Personal watercraft-related injuries have increased significantly from an estimated 2860 in 1990 to more than 12000 in 1995. During this period, the number of PWC in operation increased 3-fold from approximately 241500 in 1990 to an estimated 760000 in 1995. The most prevalent diagnoses were lacerations, contusions, and fractures. MAIN OUTCOME MEASURES: The estimated number and percentage of patients treated in EDs for PWC-related injuries, by year, age, sex, and the number and rate per 1000 of PWC in operation by year. CONCLUSIONS: Since 1990, there has been at least a 4-fold increase in injuries associated with an increase in the recreational use of PWC. The rate of ED-treated injuries related to PWC was about 8.5 times higher (95% CI, 8.2-8.8; 1992 data) than the rate of those from motorboats. Specific training and adult supervision is recommended for minors using PWC. Furthermore, medical practitioners should encourage personal flotation device use and other protection for their patients who are known water enthusiasts.     

Local closed world reasoning with description logics under the well-founded semantics

An important question for the upcoming Semantic Web is how to best combine open world ontology languages, such as the OWL-based ones, with closed world rule-based languages. One of the most mature proposals for this combination is known as hybrid MKNF knowledge bases (Motik and Rosati, 2010 [52]), and it is based on an adaptation of the Stable Model Semantics to knowledge bases consisting of ontology axioms and rules. In this paper we propose a well-founded semantics for nondisjunctive hybrid MKNF knowledge bases that promises to provide better efficiency of reasoning, and that is compatible with both the OWL-based semantics and the traditional Well-Founded Semantics for logic programs. Moreover, our proposal allows for the detection of inconsistencies, possibly occurring in tightly integrated ontology axioms and rules, with only little additional effort. We also identify tractable fragments of the resulting language.     

Acceptable Programs Revisited

Acceptable logic programs have been studied extensively in the context of proving termination of Prolog programs. It is difficult, however, to establish acceptability from the definition since this depends on finding a suitable model, which need not be a Herbrand model in general, together with a suitable level mapping that one can use to check the conditions which characterize acceptability. In this paper, we will see that when working over a fixed but arbitrary preinterpretation, a method can be provided for obtaining both a suitable model and a canonical level mapping which are sufficient for this purpose. Furthermore, the canonical model and level mapping obtained will turn out to be sufficient for discussing termination of non-ground queries.     

Towards bridging the neuro-symbolic gap: deep deductive reasoners

Applied Intelligence - Symbolic knowledge representation and reasoning and deep learning are fundamentally different approaches to artificial intelligence with complementary capabilities. The...     

The influence of post‐heat treatments on the tensile strength and surface hardness of selectively laser‐melted AlSi10Mg

To improve the mechanical properties of cast aluminium alloys several post‐heat treatments are known. However, these treatments cannot directly be transposed to additively via selective laser melting manufactured aluminium alloys, e. g., aluminium‐silicon‐magnesium (AlSi10Mg). Therefore, this study aims to determine suitable post‐heat treatments to optimise the mechanical properties of SLM‐built AlSi10Mg specimen. The influence of various post‐heat treatment conditions on the material characteristics was examined through hardness and tensile tests. The findings indicate that the Vickers hardness and ultimate tensile strength could not be improved via secondary precipitation hardening, whereas the fracture elongation shows a value which is distinctly higher than the values of a comparable cast alloy. Solution annealing at 525 °C reduces the hardness and the ultimate tensile strength by about 40 % and increases the fracture elongation three times. A subsequent precipitation hardening allows recovery of 80 % of the as‐built hardness, and 90 % of the previous ultimate tensile strength combined with maintaining an improved fracture elongation of about 35 % compared to the respective as‐fabricated condition.