13 citations · 44 across the 11 of their papers we have counts for
10 papers · 1 filter
Modeling Associative Reasoning Processes
Claudia Schon, Ulrich Furbach, Marco Ragni
The human capability to reason about one domain by using knowledge of other domains has been researched for more than 50 years, but models that are formally sound and predict cogni…
Consciousness and Automated Reasoning
Ulrike Barthelmeß, Ulrich Furbach, Claudia Schon
This paper aims at demonstrating how a first-order logic reasoning system in combination with a large knowledge base can be understood as an artificial consciousness system. For th…
Relating Strong Spatial Cognition to Symbolic Problem Solving --- An Example
Ulrich Furbach, Florian Furbach, Christian Freksa
In this note, we discuss and analyse a shortest path finding approach using strong spatial cognition. It is compared with a symbolic graph-based algorithm and it is shown that both…
The RatioLog Project: Rational Extensions of Logical Reasoning
Ulrich Furbach, Claudia Schon, Frieder Stolzenburg +2
Higher-level cognition includes logical reasoning and the ability of question answering with common sense. The RatioLog project addresses the problem of rational reasoning in deep…
Automated Reasoning for Robot Ethics
Ulrich Furbach, Claudia Schon, Frieder Stolzenburg
Deontic logic is a very well researched branch of mathematical logic and philosophy. Various kinds of deontic logics are considered for different application domains like argumenta…
On First-Order Model-Based Reasoning
Maria Paola Bonacina, Ulrich Furbach, Viorica Sofronie-Stokkermans
Reasoning semantically in first-order logic is notoriously a challenge. This paper surveys a selection of semantically-guided or model-based methods that aim at meeting aspects of…
Cognitive Systems and Question Answering
Ulrich Furbach, Claudia Schon, Frieder Stolzenburg
This paper briefly characterizes the field of cognitive computing. As an exemplification, the field of natural language question answering is introduced together with its specific…
Automated Reasoning in Deontic Logic
Ulrich Furbach, Claudia Schon, Frieder Stolzenburg
Deontic logic is a very well researched branch of mathematical logic and philosophy. Various kinds of deontic logics are discussed for different application domains like argumentat…
Do we need Asimov's Laws?
Ulrike Barthelmess, Ulrich Furbach
In this essay the stance on robots is discussed. The attitude against robots in history, starting in Ancient Greek culture until the industrial revolution is described. The uncanny…
Deontic Logic for Human Reasoning
Ulrich Furbach, Claudia Schon
Deontic logic is shown to be applicable for modelling human reasoning. For this the Wason selection task and the suppression task are discussed in detail. Different versions of mod…