In a problem solving process, a step may not result in the expected progress or may not be applicable as expected. Hence, knowledge how to overcome and react to impasses and other failures is an important ingredient of successful mathematical problem solving. To employ such knowledge in a proving system requires a variety of behaviors and a flexible control. Multi-strategy proof planning is a k...

To operate autonomously in complex environments, agents must perform actions, sense the environment, and respond to new situations. Traditional approaches face difficulties with incomplete environment models, goal specification, and engineering domain specific control knowledge. We believe goal reasoning will address these challenges enabling agents to better respond to unexpected circumstances...

This work presents a study of the nature of expertise in geology, which demands visual recognition methods to describe and interpret petroleum reservoir rocks. In an experiment using rock images we noted and analyzed how geologists with distinct levels of expertise described them. The study demonstrated that experts develop a wide variety of representations and hierarchies, which differ from th...

Introduction Vast amounts of sports data are routinely collected about players, coaching decisions and game events. Making sense of this data is important to those seeking an edge. By transforming this data into actionable knowledge, scouts, managers and coaches can have a better idea of what to expect from opponents and be able to use a player draft more effectively. With millions of dollars r...

the present study was conducted to evaluate data driven learning (ddl) combined with computer assisted language learning (call) as an approach to improving vocabulary knowledge of iranian postgraduates majoring in teaching english, english literature and translation. the purpose was to help language learners get familiar with ddl as a student-centered method taking advantage of a computer progr...

The knowledge compilation map introduced by Darwiche and Marquis takes advantage of a number of concepts (mainly queries, transformations, expressiveness, and succinctness) to compare the relative adequacy of representation languages to some AI problems. However, the framework is limited to the comparison of languages that are interpreted in a homogeneous way (formulæ are interpreted as Boolean...

Automatically extracting actionable knowledge from on line social media has attracted a growing interest from both academia and the industry. However, little clarity exists in relation to what actionable knowledge is, whether it can be measured and where it is more likely to be found. This paper makes an attempt at answering the above questions by gaining a better understanding of actionable kn...

There are several approaches to knowledge-based configuration, which are successfully applied in technical domains. Nevertheless they appear not to be sufficient for configuring software-based systems, as they primarily proceed in a structurebased manner, but do not take the system’s behavior into account. In this context, the configuration of software-based systems does not mean the programmin...

The power of knowledge acquisition systems that employ failure-driven learning derives from two main sources: an effective global credit assignment process that determines when to acquire new knowledge by watching an expert’s behavior, and an efficient local credit assignment process that determines what new knowledge will be created for completing a failed explanation of an expert’s action. Be...