Showing 1–12 of 12 results for author: Furbach, U

Modeling Associative Reasoning Processes

Authors: Claudia Schon, Ulrich Furbach, Marco Ragni

Abstract: 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 cognitive process are sparse. We propose a formally sound method that models associative reasoning by adapting logical reasoning mechanisms. In particular it is shown that the combination with large commensense knowledge with… ▽ More 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 cognitive process are sparse. We propose a formally sound method that models associative reasoning by adapting logical reasoning mechanisms. In particular it is shown that the combination with large commensense knowledge within a single reasoning system demands for an efficient and powerful association technique. This approach is also used for modelling mind-wandering and the Remote Associates Test (RAT) for testing creativity. In a general discussion we show implications of the model for a broad variety of cognitive phenomena including consciousness. △ Less

Submitted 7 January, 2022; v1 submitted 3 January, 2022; originally announced January 2022.

Comments: arXiv admin note: text overlap with arXiv:2001.09442

Künstliche Intelligenz, quo vadis?

Authors: Ulrike Barthelmeß, Ulrich Furbach

Abstract: This paper outlines the state of the art in AI. It then describes basic machine learning and knowledge processing techniques. Based on this, some possibilities and limitations of future AI developments are discussed. This paper outlines the state of the art in AI. It then describes basic machine learning and knowledge processing techniques. Based on this, some possibilities and limitations of future AI developments are discussed. △ Less

Submitted 21 April, 2021; originally announced April 2021.

Comments: in German

Consciousness and Automated Reasoning

Authors: Ulrike Barthelmeß, Ulrich Furbach, Claudia Schon

Abstract: 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 this we review some aspects from the area of philosophy of mind and in particular Tononi's Information Integration Theory (IIT) and Baars' Global Workspace Theory. These will be applied to the reasoning system Hyper with C… ▽ More 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 this we review some aspects from the area of philosophy of mind and in particular Tononi's Information Integration Theory (IIT) and Baars' Global Workspace Theory. These will be applied to the reasoning system Hyper with ConceptNet as a knowledge base within a scenario of commonsense and cognitive reasoning. Finally we demonstrate that such a system is very well able to do conscious mind wandering. △ Less

Submitted 22 July, 2020; v1 submitted 26 January, 2020; originally announced January 2020.

Relating Strong Spatial Cognition to Symbolic Problem Solving --- An Example

Authors: Ulrich Furbach, Florian Furbach, Christian Freksa

Abstract: 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 approaches are similar with respect to structure and complexity. Nevertheless, the strong spatial cognition solution is easy to understand and even pops up immediately when one has to solve the problem. 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 approaches are similar with respect to structure and complexity. Nevertheless, the strong spatial cognition solution is easy to understand and even pops up immediately when one has to solve the problem. △ Less

Submitted 14 June, 2016; originally announced June 2016.

The RatioLog Project: Rational Extensions of Logical Reasoning

Authors: Ulrich Furbach, Claudia Schon, Frieder Stolzenburg, Karl-Heinz Weis, Claus-Peter Wirth

Abstract: 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 question answering by methods from automated deduction and cognitive computing. In a first phase, we combine techniques from information retrieval and machine learning to find appropriate answer candidates from the huge… ▽ More 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 question answering by methods from automated deduction and cognitive computing. In a first phase, we combine techniques from information retrieval and machine learning to find appropriate answer candidates from the huge amount of text in the German version of the free encyclopedia "Wikipedia". In a second phase, an automated theorem prover tries to verify the answer candidates on the basis of their logical representations. In a third phase - because the knowledge may be incomplete and inconsistent -, we consider extensions of logical reasoning to improve the results. In this context, we work toward the application of techniques from human reasoning: We employ defeasible reasoning to compare the answers w.r.t. specificity, deontic logic, normative reasoning, and model construction. Moreover, we use integrated case-based reasoning and machine learning techniques on the basis of the semantic structure of the questions and answer candidates to learn giving the right answers. △ Less

Submitted 30 July, 2015; v1 submitted 20 March, 2015; originally announced March 2015.

Comments: 7 pages, 3 figures

Journal ref: KI, 29(3):271-277, 2015

Automated Reasoning for Robot Ethics

Authors: Ulrich Furbach, Claudia Schon, Frieder Stolzenburg

Abstract: 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 argumentation theory, legal reasoning, and acts in multi-agent systems. In this paper, we show how standard deontic logic can be used to model ethical codes for multi-agent systems. Furthermore we show how Hyper, a high performan… ▽ More 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 argumentation theory, legal reasoning, and acts in multi-agent systems. In this paper, we show how standard deontic logic can be used to model ethical codes for multi-agent systems. Furthermore we show how Hyper, a high performance theorem prover, can be used to prove properties of these ethical codes. △ Less

Submitted 20 February, 2015; originally announced February 2015.

Comments: arXiv admin note: substantial text overlap with arXiv:1411.4823

On First-Order Model-Based Reasoning

Authors: Maria Paola Bonacina, Ulrich Furbach, Viorica Sofronie-Stokkermans

Abstract: 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 this challenge. For first-order logic we touch upon resolution-based methods, tableaux-based methods, DPLL-inspired methods, and we give a preview of a new method called SGGS, for Semantically-Guided Goal-Sensitive reaso… ▽ More 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 this challenge. For first-order logic we touch upon resolution-based methods, tableaux-based methods, DPLL-inspired methods, and we give a preview of a new method called SGGS, for Semantically-Guided Goal-Sensitive reasoning. For first-order theories we highlight hierarchical and locality-based methods, concluding with the recent Model-Constructing satisfiability calculus. △ Less

Submitted 20 November, 2019; v1 submitted 9 February, 2015; originally announced February 2015.

Comments: In Narciso Marti-Oliet, Peter Olveczky, and Carolyn Talcott (Eds.), "Logic, Rewriting, and Concurrency: Essays in Honor of Jose Meseguer" Springer, Lecture Notes in Computer Science 9200, September 2015, 24 pages. Version v4 in arxiv fixes a typo on page 15 that remains in the version published in the Springer book

Cognitive Systems and Question Answering

Authors: Ulrich Furbach, Claudia Schon, Frieder Stolzenburg

Abstract: 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 challenges. A possibility to master these challenges is illustrated by a detailed presentation of the LogAnswer system, which is a successful representative of the field of natural language question answering. 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 challenges. A possibility to master these challenges is illustrated by a detailed presentation of the LogAnswer system, which is a successful representative of the field of natural language question answering. △ Less

Submitted 18 November, 2014; originally announced November 2014.

Journal ref: Industrie 4.0 Management, 31(1):29-32, 2015

Automated Reasoning in Deontic Logic

Authors: Ulrich Furbach, Claudia Schon, Frieder Stolzenburg

Abstract: 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 argumentation theory, legal reasoning, and acts in multi-agent systems. In this paper, we show how standard deontic logic can be stepwise transformed into description logic and DL- clauses, such that it can be processed by Hyper,… ▽ More 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 argumentation theory, legal reasoning, and acts in multi-agent systems. In this paper, we show how standard deontic logic can be stepwise transformed into description logic and DL- clauses, such that it can be processed by Hyper, a high performance theorem prover which uses a hypertableau calculus. Two use cases, one from multi-agent research and one from the development of normative system are investigated. △ Less

Submitted 18 November, 2014; originally announced November 2014.

Journal ref: In M. Narasimha Murty, Xiangjian He, Raghavendra Rao Chillarige, and Paul Weng, editors, Proc. of MIWAI 2014: Multi-disciplinary International Workshop on Artificial Intelligence, LNAI 8875, pp. 57-68, Bangalore, India, 2014. Springer

Semantically Guided Evolution of $\mathcal{SHI}$ ABoxes

Authors: Ulrich Furbach, Claudia Schon

Abstract: This paper presents a method for the evolution of SHI ABoxes which is based on a compilation technique of the knowledge base. For this the ABox is regarded as an interpretation of the TBox which is close to a model. It is shown, that the ABox can be used for a semantically guided transformation resulting in an equisatisfiable knowledge base. We use the result of this transformation to efficiently… ▽ More This paper presents a method for the evolution of SHI ABoxes which is based on a compilation technique of the knowledge base. For this the ABox is regarded as an interpretation of the TBox which is close to a model. It is shown, that the ABox can be used for a semantically guided transformation resulting in an equisatisfiable knowledge base. We use the result of this transformation to efficiently delete assertions from the ABox. Furthermore, insertion of assertions as well as repair of inconsistent ABoxes is addressed. For the computation of the necessary actions for deletion, insertion and repair, the E-KRHyper theorem prover is used. △ Less

Submitted 6 May, 2014; originally announced May 2014.

Do we need Asimov's Laws?

Authors: Ulrike Barthelmess, Ulrich Furbach

Abstract: 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 valley and some possible explanations are given. Some differences in Western and Asian understanding of robots are listed and finally we answer the question raised with the title. 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 valley and some possible explanations are given. Some differences in Western and Asian understanding of robots are listed and finally we answer the question raised with the title. △ Less

Submitted 29 April, 2014; originally announced May 2014.

Deontic Logic for Human Reasoning

Authors: Ulrich Furbach, Claudia Schon

Abstract: 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 modelling norms with deontic logic are introduced and in the case of the Wason selection task it is demonstrated how differences in the performance of humans in the abstract and in the social contract case can be explained.… ▽ More 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 modelling norms with deontic logic are introduced and in the case of the Wason selection task it is demonstrated how differences in the performance of humans in the abstract and in the social contract case can be explained. Furthermore it is shown that an automated theorem prover can be used as a reasoning tool for deontic logic. △ Less

Submitted 18 September, 2014; v1 submitted 28 April, 2014; originally announced April 2014.