If you are looking for an answer to the question What is Artificial Intelligence? and you only have a minute, then here's the definition the Association for the Advancement of Artificial Intelligence offers on its home page: "the scientific understanding of the mechanisms underlying thought and intelligent behavior and their embodiment in machines."
However, if you are fortunate enough to have more than a minute, then please get ready to embark upon an exciting journey exploring AI (but beware, it could last a lifetime) …
We introduce WIQA, the first large-scale dataset of "What if..." questions over procedural text. WIQA contains three parts: a collection of paragraphs each describing a process, e.g., beach erosion; a set of crowdsourced influence graphs for each paragraph, describing how one change a ffects another; and a large (40k) collection of "What if...?" multiple-choice questions derived from the graphs. For example, given a paragraph about beach erosion, would stormy weather result in more or less erosion (or have no e ff ect)? The task is to answer the questions, given their associated paragraph. WIQA contains three kinds of questions: perturbations to steps mentioned in the paragraph; external (out-of-paragraph) perturbations requiring commonsense knowledge; and irrelevant (no e ff ect) perturbations. We find that state-of-the-art models achieve 73.8% accuracy, well below the human performance of 96.3%. We analyze the challenges, in particular tracking chains of influences, and present the dataset as an open challenge to the community.
We introduce the first open-domain dataset, called QuaRTz, for reasoning about textual qualitative relationships. QuaRTz contains general qualitative statements, e.g., "A sunscreen with a higher SPF protects the skin longer.", twinned with 3864 crowdsourced situated questions, e.g., "Billy is wearing sunscreen with a lower SPF than Lucy. Who will be best protected from the sun?", plus annotations of the properties being compared. Unlike previous datasets, the general knowledge is textual and not tied to a fixed set of relationships, and tests a system's ability to comprehend and apply textual qualitative knowledge in a novel setting. We find state-of-the-art results are substantially (20%) below human performance, presenting an open challenge to the NLP community.
A group of researchers from the Allen Institute of Artificial Intelligence has proposed the Aristo challenge that requires answering science questions. The goal of the challenge is to aid in the development of machines that can understand natural language, use knowledge and reason. In this work, we take a subset of those questions, namely the questions from the chapters of food web. We model a consequence operator for the food webs that given a food web and a perturbation to some of the populations aims to compute possible effects on the other populations in the food web. We then use this operator to answers questions of the kind, ‘Explain why the population of rabbits might decrease if the population of mice decreased.’ or ‘Explain why the population of rabbits might change if the population of mice decreased.’ Unlike the previous works which deal with only direct predator-prey situations, here we aim to characterize the effect(s) even when the two populations in the question are indirectly related.
The capability of making explainable inferences regarding physical processes has long been desired. One fundamental physical process is object motion. Inferring what causes the motion of a group of objects can even be a challenging task for experts, e.g., in forensic science. Most of the work in the literature rely on physics simulation to draw such inferences. The simulation requires a precise model of the underlying domain to work well and is essentially a black-box from which one can hardly obtain any useful explanation. By contrast, qualitative reasoning methods have the advantage in making transparent inferences with ambiguous information, which makes it suitable for this task. However, there has been no suitable qualitative theory proposed for object motion in three-dimensional space. We take this challenge and develop a qualitative theory for the motion of rigid objects. Based on this theory, we develop a reasoning method to solve a very interesting problem: Assuming there are several objects that were initially at rest and now have started to move. We want to infer what action causes the movement of these objects.
The capability of making explainable inferences regarding physical processes has long been desired. One fundamental physical process is object motion. Inferring what causes the motion of a group of objects can even be a challenging task for experts, e.g., in forensics science. Most of the work in the literature relies on physics simulation to draw such infer- ences. The simulation requires a precise model of the under- lying domain to work well and is essentially a black-box from which one can hardly obtain any useful explanation. By contrast, qualitative reasoning methods have the advan- tage in making transparent inferences with ambiguous infor- mation, which makes it suitable for this task. However, there has been no suitable qualitative theory proposed for object motion in three-dimensional space. In this paper, we take this challenge and develop a qualitative theory for the motion of rigid objects. Based on this theory, we develop a reasoning method to solve a very interesting problem: Assuming there are several objects that were initially at rest and now have started to move. We want to infer what action causes the movement of these objects.
This paper describes a system that combines qualitative and quantitative reasoning to solve kinematics word problems that are expressed in a simplified form of English. Such an integrated approach is useful in identifying the equations required to solve the problem and to infer certain implicit details in the problem scenario. The system also generates self-explanatory solutions that can assist a student in mastering the concept involved. We created a dataset of 30 problems from this domain. Such word problems have not been addressed in recent times.
It was motivated by two observations regarding modeling in general and work in qualitative physics in particular. First, all modelbased reasoning is only as good as the model used (Davis and Hamscher 1988). Second, no single model is adequate or appropriate for a wide range of tasks (Weld 1989). A model of a real-world system is but an abstraction of some aspects of the system. To formulate a model of a physical system for a given task, we inevitably take certain perspectives of the system to capture proper scenarios by deciding what to describe and what to ignore (Hobbs 1985).
IAAI is the premier venue for learning about AI's impact through deployed applications and emerging AI technologies. Case studies of deployed applications with measurable benefits arising from the use of AI technology provide clear evidence of the impact and value of AI technology to today's world. The emerging applications track features technologies that are rapidly maturing to the point of application. The seven articles selected for this special issue are extended versions of the papers that appeared at the conference. Four of the articles describe deployed applications that are already in use in the field.
The Seventh International Workshop on Qualitative Reasoning about Physical Systems was held on 16-19 May 1993. The bulk of the 50 attendees work in the AI area, but several engineers and cognitive psychologists also attended. The two topics attracting special attention were automated modeling and the design task. This article briefly describes some of the presentations and discussions held during the workshop. To promote deep and focused discussion, participation was limited to 50 researchers; the bulk of attendees work in the area of AI, but several engineers and cognitive psychologists enriched the atmosphere.
The automotive industry was the first to promote the development of applications of model-based systems technology on a broad scale and, as a result, has produced some of the most advanced prototypes and products. In this article, we illustrate the features and benefits of model-based systems and qualitative modeling by prototypes and application systems that were developed in the automotive industry to support on-board diagnosis, design for diagnosability, and failure modes and effects analysis. Car manufacturers and their suppliers face increasingly serious challenges particularly related to fault analysis and diagnosis during the life cycle of their products. On the one hand, the complexity and sophistication of vehicles is growing, so it is becoming harder to predict interactions between vehicle systems, especially when failures occur. On the other hand, legal regulations and the demand for safety impose strong requirements on the detection and identification of faults and the prevention of their effects on the environment or dangerous situations for passengers and other people.