Search Results

Theory of Mind capabilities, i.e. the capacity to adopt and reason from the perspective of others. By combining the Theory of Mind of TomAbd agents with abductive reasoning, agents can infer explanations for the behaviour of others, which they can ...

Hackathons are events that originated as competitions for programmers but transformed into project-oriented events given in different contexts and with different sets of goals. Despite the wide range of topics and business fields covered by current ...

The original BOID [5] is a cognitive architecture that unifies Belief, Obligation, Intention and Desire rules to calculate which actions should an agent undertake next. In the current paper, we adapt the original BOID with an aim to model autonomous ...

The abductive natural language inference task (αNLI) is proposed to evaluate the abductive reasoning ability of a learning system. In the αNLI task, two observations are given and the most plausible hypothesis is asked to pick out from the candidates. ...

Explicit signaling between threads is a perennial cause of bugs in concurrent programs. While there are several run-time techniques to automatically notify threads upon the availability of some shared resource, such techniques are not widely-adopted due ...

Internet of Things environments enable us to capture more and more data about the physical environment we live in and about ourselves. The data enable us to optimise resources, personalise services and offer unprecedented insights into our lives. ...

The human part of chance-discovery is usually analysed as an effect of the agent’s knowledge of herself and of her environment. In this paper, setting off from the importance of ‘understanding the meaning of an impending phenomenon as a chance’, we will ...

Ontology-mediated data access and management systems are rapidly emerging. Besides standard query answering, there is also a need for such systems to be coupled with explanation facilities, in particular to explain missing query answers (i.e. desired ...

While the physiological response of humans to emotional events or stimuli is well-investigated for many modalities (like EEG, skin resistance, ...), surprisingly little is known about the exhalation of so-called Volatile Organic Compounds (VOCs) at ...

Annotated Probabilistic Temporal (APT) logic programs are a form of logic programs that allow users to state (or systems to automatically learn) rules of the form “formula G becomes true Δt time units after formula F became true with ℓ to u% ...

The tendency to accept or reject arguments based on own beliefs or prior knowledge rather than on the reasoning process is called the belief-bias effect. A psychological syllogistic reasoning task shows this phenomenon, wherein participants were asked ...

Programmers who develop large, mature applications often want to optimize the performance of their program without changing its semantics. They often do so by changing how their program invokes a library function or a function implemented in another ...

This paper defines and shows the merit of measures for quantifying the degree of relatedness of information of interest and the importance of new information found within a large number of free text documents. These measures are used for identifying and ...

This paper addresses the issue of analogical inference, and its potential role as the mediator of new therapeutic discoveries, by using disjunction operators based on quantum connectives to combine many potential reasoning pathways into a single search ...

We consider the problem of automated planning and control for an execution agent operating in environments that are partially-observable with deterministic exogenous events. We describe a new formalism and a new algorithm, DiscoverHistory, that enables ...

Following students' progress in robotics classes is difficult because student groups usually take different and unpredictable paths in problem solving. To improve teachers' possibilities for intervention at the right time, Open Monitoring Environment ...

This paper provides an alternative formulation to computing the max-min post-inverse fuzzy relation by minimizing a heuristic (objective) function to satisfy the inherent constraints of the problem. An algorithm for computing the max-min post-inverse ...

Abductive reasoning (or abduction) is the process of inferring hypotheses from observed data using a certain 'knowledge' encoded in the form of inference rules (or causal relations). Many important kinds of intellectual tasks, including medical ...

A law enforcement ontology that incorporates extensions such as Thesauri, specialized rules, abductivehypothesis and process modeling for expansion of extracted entity phrases, is described. The ontology is part of a project to facilitate automated, ...

In this paper, we investigate the ability of the Predication-based Semantic Indexing (PSI) approach, which incorporates both symbolic and distributional information, to support inference on the basis of structural similarity. For example, given a pair ...