The Infona portal uses cookies, i.e. strings of text saved by a browser on the user's device. The portal can access those files and use them to remember the user's data, such as their chosen settings (screen view, interface language, etc.), or their login data. By using the Infona portal the user accepts automatic saving and using this information for portal operation purposes. More information on the subject can be found in the Privacy Policy and Terms of Service. By closing this window the user confirms that they have read the information on cookie usage, and they accept the privacy policy and the way cookies are used by the portal. You can change the cookie settings in your browser.
Data from a design-based pilot study that applied Engineering Report team project in facilitating the development of problem solving skills in a real-world situation are reported. Pedagogies validated in Model Eliciting Activities (MEA) and instructions for solving ill-structured problems are applied to the design and the implementation of the Engineering Report project. Students' written work and...
The development of context-aware applications is a complex process that involves context management. A context life cycle implies 4 essential steps: context acquisition, context modeling, context reasoning and context dissemination [1]. In [2], we tackled the issue of context modeling and reasoning by proposing an approach based on Relational Concept Analysis (RCA) and Descriptive Logic (DL), respectively...
With the integration of SMT solvers into analysis frameworks aimed at ensuring a system's end-to-end correctness, having a high level of confidence in these solvers' results has become crucial. For unsatisfiable queries, a reasonable approach is to have the solver return an independently checkable proof of unsatisfiability. We propose a lazy, extensible and robust method for enhancing DPLL(T)-style...
In scientific and technical software, floating-point arithmetic is often used to approximate arithmetic on physical quantities natively modeled as reals. Checking properties for such programs (e.g. proving unreachability of code fragments) requires accurate reasoning over floating-point arithmetic. Currently, most of the SMT-solvers addressing this problem class rely on bit-blasting. Recently, methods...
Recently, interaction with computer applications in a pervasive environment has increasingly benefited from mobile technologies. These technologies generally attributed to the environments of physical and social properties. Therefore, the adoption of these technologies ensures more flexibility and creates new forms of use. The consideration of the context of use in pervasive interactive applications...
Ambient Intelligence environments are populated with embedded distributed devices interacting in proactively and in transparent manner to achieve user's needs. Context and context awareness is crucial for any AmI based systems. To develop context-aware Ambient Intelligence systems, suitable context models, and reasoning approaches are necessary to provide users with smart services. This paper advocates...
In this paper, a simulation of a multi-agent recommender system is presented and developed in the NetLogo platform. The specification of this recommender system is based on the well known Belief-Desire-Intention agent architecture applied to multi-context systems, extended with contexts for additional reasoning abilities, especially social ones. The main goal of this simulation study is, besides illustrating...
Student motivation can be enhanced by positive social interactions, which can be found in CoPs (Communities of Practice), they're based on the idea of interacting to improve a shared practice. The community offers the ability to move beyond simple information exchange to meaningful knowledge exchange through a set of responsibilities and tasks. This paper presents a description of a CoP of higher...
A self-governing institution designed according to Ostrom's principles provides a way for its members to self-organise the management and sustainability of common-pool resources. Such institutions have been studied as a form of social capital, used as an input to a decision-making framework for coordination in various collective action situations. It has been shown that formally representing and reasoning...
With the aim to manage and retrieve the organizational knowledge, in the last years numerous proposals of models and tools for knowledge management and knowledge representation have arisen. However, most of them store knowledge in a non-structured or semi-structured way, hindering the semantic and automatic processing of this knowledge. In this paper we present a summary of an case-based organizational...
In this paper, we present an event handling framework for managing smart-grids and renewable energy installations: SmartSpace. Our framework aims at supporting decisions of human stakeholders, by providing adequate information to them. Different datasources feed into our framework and a variety of analysis and decision steps are supported. We are discussing potential data sources for decisions around...
Industrial maintenance requires not only experienced service personnel to carry out the tasks but also up-to-date information about the target equipment and its environment. Accessing information required to execute the tasks is a common challenge for maintenance personnel. This paper presents a knowledge modeling approach and a technical architecture of a gateway system developed to support maintenance...
Acquisition of high quality structured knowledge that is immediately useful for reasoning algorithms has been a longstanding goal of the Artificial Intelligence research community. With the recent advances in crowdsourcing, the sheer number of internet users and the commercial availability of supporting platforms have come a new set of tools to tackle this problem. Although numerous systems and methods...
Due to the possibility of extensive and pervasive deployment of many tiny sensor devices in the area of interest, Wireless Sensor Networks (WSNs) result particularly suitable to detect significant events and to react accordingly in industrial and home scenarios. In this context, fuzzy inference systems for event detection in WSNs have proved to be accurate enough in treating imprecise sensory readings...
Stories have become an important element of games, since they can increase their immersion level by giving the players the context and the motivation to play. However, despite the interactive nature of games, their stories usually do not develop considering every decision and/or action the players are capable of, because depending on the game size, it would take too much effort to author alternative...
Between 6 and 9 months of age, infants begin to differentiate between the actions of others that are “rational” with respect to goals and those that are not. According to the teleological stance theory, this behavior is underpinned by an innate, naive rationality principle; according to a statistical learning account, experience alone is sufficient to explain this behavior. We present a recurrent...
The concept of “affordance” has typically represented the relationship between human perceivers and their environment. Affordance perception, representation, and inference are central to commonsense reasoning, tool-use and creative problem-solving in artificial agents. Existing approaches to representing affordances have focused on its physical aspects, relying on either static ontologies or statistical...
How users experience a web-site's usability is mostly subjective. There is an ISO standard adressing usability requirements (EN ISO 9241-11). However, its propositions are kept rather general and focus strongly on individual usage situations. Nevertheless, there are usability critera for websites that can be considered negative, e.g. bad contrast, a high readability index, or discrepancies between...
Of all the perspectives about what inconsistencies entail and how we can handle them, one that escapes our attention is that inconsistencies can serve as effective stimuli to learning because they often help reveal the inadequacies, gaps, deficiencies, or boundary conditions in an agent's problem-solving knowledge. In this paper, we describe a new machine learning approach: inconsistency-induced learning...
As the size of data table grows, the concepts generated become larger in number. Making sure the set of extent remaining unchanged, the purpose of attribute reduction of concept lattice is to find out minimum subsets of attributes and make knowledge presented by concept lattice simpler, decision problem simplified as well. This paper introduced the definition of introducer which was minimum closure...
Set the date range to filter the displayed results. You can set a starting date, ending date or both. You can enter the dates manually or choose them from the calendar.