Research perspectives for logic and deduction

7Citations
Citations of this article
3Readers
Mendeley users who have this article in their library.
Get full text

Abstract

The article is meant to be kind of the author's manifesto for the role of logic and deduction within Intellectics. Based on a brief analysis of this role the paper presents a number of proposals for future scientific research along the various dimensions in the space of logical explorations. These dimensions include the range of possible applications including modelling intelligent behavior, the grounding of logic in some semantic context, the choice of an appropriate logic from the great variety of alternatives, then the choice of an appropriate formal system for representing the chosen logic, and finally the issue of developing the most efficient search strategies. Among the proposals is a conjecture concerning the treatment of cuts in proof search. © 2006 Springer-Verlag Berlin/Heidelberg.

Cite

CITATION STYLE

APA

Bibel, W. (2006). Research perspectives for logic and deduction. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 4155 LNAI, pp. 25–43). https://doi.org/10.1007/11829263_2

Register to see more suggestions

Mendeley helps you to discover research relevant for your work.

Already have an account?

Save time finding and organizing research with Mendeley

Sign up for free