The South Bend Tribune reports the lawsuit was filed Tuesday in U.S. District Court for Northern Indiana. In addition to Notre Dame's abortion policies, it challenges the Trump administration's interim rules allowing universities to disregard a requirement of the Affordable Care Act that health plans cover birth control for women without out-of-pocket costs.

Can machines design? Can they come up with creative solutions to problems and build tools and artifacts across a wide range of domains? Recent advances in the field of computational creativity and formal Artificial General Intelligence (AGI) provide frameworks for machines with the general ability to design. In this paper we propose to integrate a formal computational creativity framework into the G\"odel machine framework. We call the resulting framework design G\"odel machine. Such a machine could solve a variety of design problems by generating novel concepts. In addition, it could change the way these concepts are generated by modifying itself. The design G\"odel machine is able to improve its initial design program, once it has proven that a modification would increase its return on the utility function. Finally, we sketch out a specific version of the design G\"odel machine which specifically addresses the design of complex software and hardware systems. Future work aims at the development of a more formal version of the design G\"odel machine and a proof of concept implementation.

Almost all the knowledge empowered applications rely upon accurate knowledge, which has to be either collected manually with high cost, or extracted automatically with unignorable errors. In this paper, we study 20 Questions, an online interactive game where each question-response pair corresponds to a fact of the target entity, to acquire highly accurate knowledge effectively with nearly zero labor cost. Knowledge acquisition via 20 Questions predominantly presents two challenges to the intelligent agent playing games with human players. The first one is to seek enough information and identify the target entity with as few questions as possible, while the second one is to leverage the remaining questioning opportunities to acquire valuable knowledge effectively, both of which count on good questioning strategies. To address these challenges, we propose the Learning-to-Ask (LA) framework, within which the agent learns smart questioning strategies for information seeking and knowledge acquisition by means of deep reinforcement learning and generalized matrix factorization respectively. In addition, a Bayesian approach to represent knowledge is adopted to ensure robustness to noisy user responses. Simulating experiments on real data show that LA is able to equip the agent with effective questioning strategies, which result in high winning rates and rapid knowledge acquisition. Moreover, the questioning strategies for information seeking and knowledge acquisition boost the performance of each other, allowing the agent to start with a relatively small knowledge set and quickly improve its knowledge base in the absence of constant human supervision.

But what does it mean, and more importantly, what might it mean for you in the future? First, let's get on the same page in case you are one of the many who looks up most acronyms these days because acronyms appear and disappear so quickly. "A branch of computer science dealing with the simulation of intelligent behavior in computers (…machine to imitate intelligent human behavior)" "A field of computer science that uses statistical techniques to give computer systems the ability to'learn' (e.g., progressively improve performance of a specific task) with data, without being explicitly programmed" Another related term is "expert system," closely related to both AI and ML, which uses a knowledge base of expert information plus an inference engine to make decisions and solve complex problems. The Merriam-Webster definition of AI (specifically, "…machine to imitate intelligent human behavior") did put a smile on my face as I contemplated whether a computer imitating stupid human behavior would qualify as artificial intelligence, or do we also need a definition for artificial stupidity? You may think I'm kidding, but it's only a slight exaggeration if you realize that some of the current buzz around Google Duplex and Assistant emphasizes a computer agent that can imitate the voice, pauses, and false starts inherent in human communication.

AppZen – uses artificial intelligence to automate expense report audit. ArgyleData – is a software maker that uses big data and machine learning to detect and stop fraud for telcom companies. Also see FraudTechWire.com Attrasoft – Provider of a number of neural network based products for image and sound recognition/retrieval, trend prediction and data mining. Acquired Intelligence Inc – Creators of the ACQUIRE line of administration, operations and customer support products in stand-alone or web-based applications. Includes profile, demo downloads, and job openings.

Model reconciliation has been proposed as a way for an agent to explain its decisions to a human who may have a different understanding of the same planning problem by explaining its decisions in terms of these model differences.However, often the human's mental model (and hence the difference) is not known precisely and such explanations cannot be readily computed.In this paper, we show how the explanation generation process evolves in the presence of such model uncertainty or incompleteness by generating {\em conformant explanations} that are applicable to a set of possible models.We also show how such explanations can contain superfluous informationand how such redundancies can be reduced using conditional explanations to iterate with the human to attain common ground. Finally, we will introduce an anytime version of this approach and empirically demonstrate the trade-offs involved in the different forms of explanations in terms of the computational overhead for the agent and the communication overhead for the human.We illustrate these concepts in three well-known planning domains as well as in a demonstration on a robot involved in a typical search and reconnaissance scenario with an external human supervisor.

Knowledge bases are employed in a variety of applications from natural language processing to semantic web search; alas, in practice their usefulness is hurt by their incompleteness. Embedding models attain state-of-the-art accuracy in knowledge base completion, but their predictions are notoriously hard to interpret. In this paper, we adapt "pedagogical approaches" (from the literature on neural networks) so as to interpret embedding models by extracting weighted Horn rules from them. We show how pedagogical approaches have to be adapted to take upon the large-scale relational aspects of knowledge bases and show experimentally their strengths and weaknesses.

The problem of Knowledge Base Completion can be framed as a 3rd-order binary tensor completion problem. In this light, the Canonical Tensor Decomposition (CP) (Hitchcock, 1927) seems like a natural solution; however, current implementations of CP on standard Knowledge Base Completion benchmarks are lagging behind their competitors. In this work, we attempt to understand the limits of CP for knowledge base completion. First, we motivate and test a novel regularizer, based on tensor nuclear $p$-norms. Then, we present a reformulation of the problem that makes it invariant to arbitrary choices in the inclusion of predicates or their reciprocals in the dataset. These two methods combined allow us to beat the current state of the art on several datasets with a CP decomposition, and obtain even better results using the more advanced ComplEx model.

Fraud detection is a difficult problem that can benefit from predictive modeling. However, the verification of a prediction is challenging; for a single insurance policy, the model only provides a prediction score. We present a case study where we reflect on different instance-level model explanation techniques to aid a fraud detection team in their work. To this end, we designed two novel dashboards combining various state-of-the-art explanation techniques. These enable the domain expert to analyze and understand predictions, dramatically speeding up the process of filtering potential fraud cases. Finally, we discuss the lessons learned and outline open research issues.

A plant is operated on the basis of its manual usually; however, it is not realistic that a manual contains instructions for all cases, especially regarding abnormal ones. For obtaining appropriate operation procedures for a wide variety of cases, multilevel flow modeling (MFM) has been studied ([1]-[3]). MFM is a functional modeling framework, in which a plant structure is expressed as a directed graph. The framework also has a set of influence propagation rules, which consists of if-then rules regarding the states of related components. If the state of a component has changed, the resulting state of the other components can be obtained by applying the rules in the forward direction. Conversely, given a desired state of a component, we can obtain the states of other components to be satisfied for achieving the desired state by tracing back the propagation rules. This leads an action to a desired state. Our contributions are as follows: 1) We propose a method to translate MFM into an FOL. This enables the application of techniques used in the FOL to MFM, such as inference engines and abductive reasoners [6].