Abstract
The purpose of this note is to present and evaluate the options available to a researcher wishing to use logic for representation, reasoning and computation in his application area. We examine two case studies, modal logic and resurce logics and show that in both cases neither classical logic nor its alternatives modal logic or substructural logic are completely satisfactory. We argue that there is a need for a new discipline and introduce and discuss the discipline of Labelled Deductive Systems (LDS). The approach is to see what is needed from the application area upward into the theory, without imposing any pre-determined concepts.
I am grateful to H.-J. Ohlbach for stimulating discussions and for going through an earlier version of the paper.
Preview
Unable to display preview. Download preview PDF.
References
D. M. Gabbay, Labelled Deductive Systems and Situation Theory, to appear Proc STA III, CSLI, 1992.
D. M. Gabbay, Labelled Deductive Systems, Vol 1, to appear, Oxford University Press. First draft 1989, seventh draft 1992
D. M. Gabbay, Theory of Algorithmic Proof, in S. Abramsky, D. M. Gabbay and T. Maibaum Handbook of Logic in Computer Science, Vol 2, Oxford University Press, 1992.
D. M. Gabbay, L. Giordano and A. Martelli, Conditional Logic Programming, manujscript, University of Turin and Imperial College.
M. D'Agostino and D. M. Gabbay, Labelled Refutation Systems, Draft, 1992, Imperial College.
E. Köning. A Hypotheitcal Reasonin Algoirthm for Linguistic Analysis, Paper submitted to JLC, 1992.
J. van Benthem. The Logic of Programming, to appear in Fundamenta Informatica, 1992.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1993 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Gabbay, D.M. (1993). How to construct a logic for your application. In: Jürgen Ohlbach, H. (eds) GWAI-92: Advances in Artificial Intelligence. Lecture Notes in Computer Science, vol 671. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0018989
Download citation
DOI: https://doi.org/10.1007/BFb0018989
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-56667-0
Online ISBN: 978-3-540-47626-9
eBook Packages: Springer Book Archive