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.
The maturing of Web 2.0 infrastructure fosters the rapid generation and dissemination of electronic word-of-mouth (e-WOM). The abundance of e-WOM allows online service providers to facilitate consumers' trust building. However, due to the often coexistence of two forms of e-WOM, namely numerical rating and opinionated review, consumers can perceive cognitive dissonance between the former and the latter...
Intelligent service provisioning in the Internet of Things infrastructure can be achieved by discovering and composing most relevant virtual objects and autonomic modification of context information that require learning the system behavior through steady association between the virtual object and the real world object. To meet these challenges, Web-of-Objects enables the objects to be deployed, maintained...
The development of socially interactive agents emerged as a challenging task due to paradigm shift from behavioral to motivational based agents. In current nascent scenario, machines may have their own motives and goals like humans, which subsequently enhance their capability to improve their communication during any social interaction. Moreover single general purpose learning is not applicable in...
We present a new approach with respect to spatial reasoning problems by using logic programs. Because the weak completion of a logic program admits a least model under the three-valued ∊ukasiewicz semantics and this semantics has been successfully applied to other human reasoning tasks, conditionals are evaluated under these least ∊-models. We show that the weak completion semantics...
Open multi-agent systems (MASs) act as societies in which autonomous and heterogeneous agents can work towards similar or different goals. In order to cope with the heterogeneity, autonomy and diversity of interests among the different agents in the society, open MASs establish a set of behavioral norms that is used as a mechanism to ensure a state of cooperation among agents. Such norms regulate...
Smart homes present complex domains that suit ontological modelling. To be efficient, smart home systems must incorporate domain uncertainty into decision making. But ontologies presently cannot represent and reason under uncertainty. It is thus challenging, developing ontology-based decision-making models that can integrate domain uncertainty. In this paper, we seek a decision network approach as...
Context-aware computing is a lethal paradigm for making technology inconspicuous in people's lives. It is a disruptive technology capable of transforming and enriching human experience. Traditionally, applications collected context data directly from sensors and utilized them to target a narrow set of use cases. However, this is not a scalable approach. With the advent of Internet of Things (IoT),...
From ancient to modern world stories are used to build meaning and to communicate. The use of new technology in education system has increased worldwide. Along with technology advancement children of this century have various mode of interaction for learning, listening, interpreting and thinking. Storytelling in class room has seen development by unifying ancient art of telling stories with multimedia...
Many human activities, given their intrinsic modularity, present structural information which can be exploited by classification algorithms: this enhances the capability of robots to predict activities. We introduce a semantic reasoning paradigm in which, via logical and statistical learning, we discriminate between actions on the basis of contextual associations. An example of this is considering...
Temporal properties are useful for describing and reasoning about software behavior, but developers rarely write down temporal specifications of their systems. Prior work on inferring specifications developed tools to extract likely program specifications that fit particular kinds of tool-specific templates. This paper introduces Texada, a new temporal specification mining tool for extracting specifications...
With the development of power industry, the scale of power system is much larger and power system operations are becoming increasingly complicated and critical. In allusion to this situation, power system specific training for power system dispatcher is necessary and indispensable. Dispatcher Training Simulator (DTS) is a widely used tool for dispatcher training and evaluation. However, there exist...
The Islamic websites play an important role in disseminating Islamic knowledge and information about Islamic ruling. Their number and the content they provide is continuously increasing which require in-depth investigations in content evaluation automation. In this paper, we are proposing the use of conceptual reasoning for detecting inconsistencies in case of Fatwas evaluation. Inconsistencies are...
When applying abductive hypotheses, sometimes it is inadequate to use a simplicity criterion, i.e. "Occam's Razor", and sometimes thiscauses serious problems. We have developed a framework for abductive reasoning calledAbductive Analogical Reasoning. It tries to overcome this inadequateness and generates plausible clauses to explain an observation. However, in some contexts, since meaning...
The paper is devoted to the problem of temporal knowledge validation and verification during the process of implementing a system supporting organizational creativity. The motivation for implementing a temporal knowledge base system is presented, the implementation methodology is outlined, and the V&V (validation&verification) process is described in detail, using an example of the Logos reasoning...
We introduce the principles of symbolization and conceptualization of perceived reality. We show them as processes that are applicable inside of a computer mind. We derive those processes from principles of a human mind. We present process of higher order regular abstraction and state automata acceptance as possible machine reality realization mechanism. We present the algorithm for evolution of machine...
The KID (Knowledge-Information-Data) model is a unified structure which unifies data, information, and knowledge. It is also a data driven process in the data transformation process from data, to information, and then to knowledge. In this process, knowledge is enriched and enhanced with continuous perception of the external context and at the three stages of the data transformation. In other words,...
In this Work In Progress paper, we describe an NSF-funded research project designed to generate transferable tools that can be used to teach and evaluate undergraduate engineering students' metacognitive skills. Metacognition, defined as the knowledge and regulation of one's own cognitive (or thinking) processes, is critically important to student learning and particularly instrumental in problem-solving...
Laboratory work is a well-accepted component of science and engineering programs. One emerging trend has been the increasing utilisation of remotely accessed laboratories, where the students can remotely monitor and/or control physical apparatus, typically across the internet. This supports greater flexibility of access for students as well as the possibility of sharing of facilities between institutions...
We are exploring whether and how “Digital-Storytelling” can be used to a) attract and engage student apprentices otherwise estranged from STEM-linked career or education pathways b) help student apprentices address the complexities of ill-formed or “wicked” design problems typical of sustainable engineering. Building on preliminary evidence from a pilot 2014 study we hypothesize that apprentices who...
Global energy demand grows rapidly. The building sector accounts for about 20% of world's energy consumption. Intelligent and systematic energy management technologies have been increasingly exploited to reduce the energy use in the building sector. Previous studies used their own decision model including knowledge-bases and rules. However, they are lack of a structural framework for organizing information...
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.