Symbolic learning represents the most straightforward approach to interpretable modeling, but its applications have been hampered by a single structural design choice: the adoption of propositional logic as the underlying language. Recently, more-than-propositional symbolic learning methods have started to appear, in particular for time-dependent data. These methods exploit the expressive power of modal temporal logics in powerful learning algorithms, such as temporal decision trees, whose classification capabilities are comparable with the best non-symbolic ones, while producing models with explicit knowledge representation. With the intent of following the same approach in the case of spatial data, in this paper we: i) present a theory of spatial decision tree learning; ii) describe a prototypical implementation of a spatial decision tree learning algorithm based, and strictly extending, the classical C4.5 algorithm; and iii) perform a series of experiments in which we compare the predicting power of spatial decision trees with that of classical propositional decision trees in several versions, for a multi-class image classification problem, on publicly available datasets. Our results are encouraging, showing clear improvements in the performances from the propositional to the spatial models, which in turn show higher levels of interpretability.

Answer set programming (ASP) is an efficient problem-solving approach, which has been strongly supported both scientifically and technologically by several solvers, ongoing active research, and implementations in many different fields. However, although researchers acknowledged long ago the necessity of epistemic operators in the language of ASP for better introspective reasoning, this research venue did not attract much attention until recently. Moreover, the existing epistemic extensions of ASP in the literature are not widely approved either, due to the fact that some propose unintended results even for some simple acyclic epistemic programs, new unexpected results may possibly be found, and more importantly, researchers have different reasonings for some critical programs. To that end, Cabalar et al. have recently identified some structural properties of epistemic programs to formally support a possible semantics proposal of such programs and standardise their results. Nonetheless, the soundness of these properties is still under debate, and they are not widely accepted either by the ASP community. Thus, it seems that there is still time to really understand the paradigm, have a mature formalism, and determine the principles providing formal justification of their understandable models. In this paper, we mainly focus on the existing semantics approaches, the criteria that a satisfactory semantics is supposed to satisfy, and the ways to improve them. We also extend some well-known propositions of here-and-there logic (HT) into epistemic HT so as to reveal the real behaviour of programs. Finally, we propose a slightly novel semantics for epistemic ASP, which can be considered as a reflexive extension of Cabalar et al.'s recent formalism called autoepistemic ASP.

While propositional Answer Set Programming (ASP) is already NP-hard and therefore powerful enough to express many challenging problems, their specification can be tedious and complicated. Further, there are relevant problems that require higher expressivity or reasoning over data that changes with time. This and the practical usage of ASP gave rise to a need for a simpler, more expressive, and more concise specification language [1, 11]. Thus, ASP was extended in multiple directions. We focus on the following ones: 1. Time Domain (TD): In [5] ASP-semantics were combined with a temporal context resulting in the Logic-based framework for Analytic Reasoning over Streams (LARS). Here, interpretations assign possibly different sets of facts to time points. Accordingly, the input language was extended with operators like, corresponding to existential quantification over time points. Another temporal extension of ASP is Temporal Equilibrium Logic (TEL) [9].

American football is an increasingly popular sport, with a growing audience in many countries in the world. The most watched American football league in the world is the United States' National Football League (NFL), where every offensive play can be either a run or a pass, and in this work we focus on passes. Many factors can affect the probability of pass completion, such as receiver separation from the nearest defender, distance from receiver to passer, offense formation, among many others. When predicting the completion probability of a pass, it is essential to know who the target of the pass is. By using distance measures between players and the ball, it is possible to calculate empirical probabilities and predict very accurately who the target will be. The big question is: how likely is it for a pass to be completed in an NFL match while the ball is in the air? We developed a machine learning algorithm to answer this based on several predictors. Using data from the 2018 NFL season, we obtained conditional and marginal predictions for pass completion probability based on a random forest model. This is based on a two-stage procedure: first, we calculate the probability of each offensive player being the pass target, then, conditional on the target, we predict completion probability based on the random forest model. Finally, the general completion probability can be calculated using the law of total probability. We present animations for selected plays and show the pass completion probability evolution.

An artificial intelligence (AI) tool was able to distinguish, with great accuracy, Parkinson's patients from healthy peers by analyzing short videos of facial expressions, particularly smiles, a small study shows. The predictive accuracy of the new tool was comparable to that of video analysis that uses motor tasks to detect Parkinson's, pinpointing facial expressions as a potential digital, diagnostic biomarker of the disease. This type of biomarker could allow remote diagnosis without the need for personal interaction and extensive testing. This would be particularly relevant in situations such as a pandemic, in cases of reduced mobility, or in underdeveloped countries where few neurologists exist but most people have access to a phone with a camera, researchers noted. The study, "Facial expressions can detect Parkinson's disease: preliminary evidence from videos collected online," was published as a brief communication in the journal npj Digital Medicine.

Echo-sounder data registered by buoys attached to drifting FADs provide a very valuable source of information on populations of tuna and their behaviour. This value increases when these data are supplemented with oceanographic data coming from CMEMS. We use these sources to develop Tuna-AI, a Machine Learning model aimed at predicting tuna biomass under a given buoy, which uses a 3-day window of echo-sounder data to capture the daily spatio-temporal patterns characteristic of tuna schools. As the supervised signal for training, we employ more than 5000 set events with their corresponding tuna catch reported by the AGAC tuna purse seine fleet.

As industrial machines are becoming more connected and flexible, the process of building and commissioning the machine is also getting smarter. Machines are built now using artificial intelligence, digital twins, and augmented reality. We caught up with Rahul Garg, VP of industrial machinery and mid-market program at Siemens Digital Industries Software. Garg explained the process of creating smart industrial machines using advanced technology. Design News: Is artificial intelligence becoming a major factor in building industrial machines?

Robotics is a fast-growing industry. A recent report from GlobalData forecasts that it will pass the $500bn mark in 2030, after a decade of double-digit annual growth. That's an impressive figure for an industry that generated global revenue of just $45bn in 2020. Most of the value generated by robotics comes from service robots, a broad category that includes consumer robots, as well as robots used in logistics, healthcare, security, and many other areas of the service sector. However, industrial robots will grow at a faster rate in the 2020s.

On the 20th anniversary of 9/11, against the backdrop of the rushed U.S.-allied Afghanistan withdrawal, the grisly reality of armed combat and the challenge posed by asymmetric suicide terror attacks grow harder to ignore. But weapons technology has changed substantially over the past two decades. And thinking ahead to the not-so-distant future, we must ask: What if these assailants were able to remove human suicide bombers or attackers from the equation altogether? As someone who has studied and worked in artificial intelligence for the better part of four decades, I worry about such a technology threat, born from artificial intelligence and robotics. Autonomous weaponry is the third revolution in warfare, following gunpowder and nuclear arms.

Intrinsic evaluations of OIE systems are carried out either manually -- with human evaluators judging the correctness of extractions -- or automatically, on standardized benchmarks. The latter, while much more cost-effective, is less reliable, primarily because of the incompleteness of the existing OIE benchmarks: the ground truth extractions do not include all acceptable variants of the same fact, leading to unreliable assessment of models' performance. Moreover, the existing OIE benchmarks are available for English only. In this work, we introduce BenchIE: a benchmark and evaluation framework for comprehensive evaluation of OIE systems for English, Chinese and German. In contrast to existing OIE benchmarks, BenchIE takes into account informational equivalence of extractions: our gold standard consists of fact synsets, clusters in which we exhaustively list all surface forms of the same fact. We benchmark several state-of-the-art OIE systems using BenchIE and demonstrate that these systems are significantly less effective than indicated by existing OIE benchmarks. We make BenchIE (data and evaluation code) publicly available.