This paper presents first benchmark corpus of Sanskrit Pratyaya (suffix) and inflectional words (padas) formed due to suffixes along with neural network based approaches to process the formation and splitting of inflectional words. Inflectional words spans the primary and secondary derivative nouns as the scope of current work. Pratyayas are an important dimension of morphological analysis of Sanskrit texts. There have been Sanskrit Computational Linguistics tools for processing and analyzing Sanskrit texts. Unfortunately there has not been any work to standardize & validate these tools specifically for derivative nouns analysis. In this work, we prepared a Sanskrit suffix benchmark corpus called Pratyaya-Kosh to evaluate the performance of tools. We also present our own neural approach for derivative nouns analysis while evaluating the same on most prominent Sanskrit Morphological Analysis tools. This benchmark will be freely dedicated and available to researchers worldwide and we hope it will motivate all to improve morphological analysis in Sanskrit Language.

A new feature to be found in modern CAD software releases is KBE (Knowledge Based Engineering) to support diagnosis, selection, and monitoring of tasks. KBE relies on capturing and storing experiential knowledge which includes proprietary design and manufacturing practices exercised during a product development cycle. KBE helps engineering companies to retain and preserve in-house knowledge and intellectual information. A related technology which could significantly augment problem solving capabilities in CAD software is AI (Artificial Intelligence), which was introduced in the mid-1980s. The purpose of AI is to learn and replicate human problem solving capabilities.

AI driven auto-tagging helps tame the data swamp, uncovering data semantics and relationships between siloed data assets. Data lineage is critical to an AI driven enterprise driving all business decisions while maintaining regulatory compliance. It is als...

In Alex Garland's 2014 sci-fi thriller, when Caleb the plot's anti-hero first meets Ava, an AI-driven humanoid, the first thing he does to test her intelligence is to engage her in a conversation. "So we need to break the ice. Do you know what I mean by that?", he asks. He tests her further, "what do I mean?". "Overcome initial social awkwardness", she quips.

We are interested in understanding how well Transformer language models (TLMs) can perform reasoning tasks when trained on knowledge encoded in the form of natural language. We investigate their systematic generalization abilities on a logical reasoning task in natural language, which involves reasoning over relationships between entities grounded in first-order logical proofs. Specifically, we perform soft theorem-proving by leveraging TLMs to generate natural language proofs. We test the generated proofs for logical consistency, along with the accuracy of the final inference. We observe length-generalization issues when evaluated on longer-than-trained sequences. However, we observe TLMs improve their generalization performance after being exposed to longer, exhaustive proofs. In addition, we discover that TLMs are able to generalize better using backward-chaining proofs compared to their forward-chaining counterparts, while they find it easier to generate forward chaining proofs. We observe that models that are not trained to generate proofs are better at generalizing to problems based on longer proofs. This suggests that Transformers have efficient internal reasoning strategies that are harder to interpret. These results highlight the systematic generalization behavior of TLMs in the context of logical reasoning, and we believe this work motivates deeper inspection of their underlying reasoning strategies.

Decision lists are one of the most easily explainable machine learning models. Given the renewed emphasis on explainable machine learning decisions, this machine learning model is increasingly attractive, combining small size and clear explainability. In this paper, we show for the first time how to construct optimal "perfect" decision lists which are perfectly accurate on the training data, and minimal in size, making use of modern SAT solving technology. We also give a new method for determining optimal sparse decision lists, which trade off size and accuracy. We contrast the size and test accuracy of optimal decisions lists versus optimal decision sets, as well as other state-of-the-art methods for determining optimal decision lists. We also examine the size of average explanations generated by decision sets and decision lists.

In this paper, we present a rule-based sentence boundary disambiguation Python package that works out-of-the-box for 22 languages. We aim to provide a realistic segmenter which can provide logical sentences even when the format and domain of the input text is unknown. In our work, we adapt the Golden Rules Set (a language-specific set of sentence boundary exemplars) originally implemented as a ruby gem - pragmatic_segmenter - which we ported to Python with additional improvements and functionality. PySBD passes 97.92% of the Golden Rule Set exemplars for English, an improvement of 25% over the next best open-source Python tool.

FinnAir, an airline that dominates domestic and international air traffic in Finland, thought it could use AI to manage airport congestion. AI alone was not up to the job so Finland's largest airline instead implemented a hybrid system that uses AI to make predictions about air traffic and allows the humans-in-the-loop to make better decisions, explains Tero Ojanpera, CEO of Silo.ai, a Finnish AI lab that specializes in bringing cutting-edge AI talent to corporations around the world. Getting the FinnAir project to that point was not a question of plug and play. It required a complex multi-step modeling process to help the organization become more AI literate. Finnair's experience neatly illustrates the current state of play. AI is not fully ready to make the kind of decision-making corporates expect it to make and even if it were corporate teams and networks are not fully ready to implement and reap the full benefits of AI.

Few areas of industrial technology today remain untouched by artificial intelligence (AI). Fromcontrollersto ERP tofood safetyandrobots, AI is changing the technologies we use to run manufacturing and processing facilities in subtle and not-so-subtle ways. One application with a big potential to benefit from AI is quality control software. The use of smart cameras and related AI-enabled software are helping manufacturers achieve improved quality inspection at speeds, latency, and costs beyond the capabilities of human inspectors. And the timing of the arrival of these smart camera technologies is fortuitous, give the social distancing requirements of COVID-19.

Few areas of industrial technology today remain untouched by artificial intelligence (AI). From controllers to ERP to food safety and robots, AI is changing the technologies we use to run manufacturing and processing facilities in subtle and not-so-subtle ways. One application with a big potential to benefit from AI is quality control software. The use of smart cameras and related AI-enabled software are helping manufacturers achieve improved quality inspection at speeds, latency, and costs beyond the capabilities of human inspectors. And the timing of the arrival of these smart camera technologies is fortuitous, give the social distancing requirements of COVID-19.