Abstract
The formal language CANDID is presented as a knowledge representation formalism for artificially intelligent decision support systems. The language is specifically oriented to representation of concepts in finance, commerce and administration. Later parts of the paper demonstrate the application of CANDID to explication of corporate entities and contractual objects, as well as to various concepts in elementary finance.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
C.C. Chang and H.J. Keisler, Model theory, A. Heyting, et al. (eds.) Studies in Logic and The Foundations of Mathematics, vol. 73, North-Holland and American Elsevier Publishing Co. Inc., Amsterdam and New York, NY, 1973.
M.J. Cresswell, Logics and languages, Nethuen & Co. Ltd., London, UK, 1973.
D.R. Dowty, A guide to Montague’s PTQ, Indiana University Linguistics Club, 1978.
Gottlob Frege, Grundgesetze der arithmetik, Verlag Hermann Pohle, Jena, Germany, 1893, Partial translation as The Basic Laws of Arithmetic by M. Furth, Berkeley: U. of California Press, 1964.
D. Kalish, R. Montague, and G. Mar, Logic: Techniques of formal reasoning, second edition ed., Harcourt Brace Jovanovich, Inc., New York, 1980.
S. Kripke, Semantical considerations on modal logics, Acta Philosophica Fennica, Modal and Many-Valued Logics (1963), 83–94.
Ronald M. Lee, CANDID: a logical calculus for describing financial contracts, Ph.D. thesis, The Wharton School, University of Pennsylvania, Philadelphia, PA, 1980, Available as WP-80-06-02, Department of Operations and Information Management (née Decision Sciences).
Richard Montague, The proper treatment of quantification in ordinary English, Formal Semantics: The Essential Readings (Barbara H. Partee Paul Portner, ed.), Blackwell Publishers, 2002, pp. 17–34.
N. Rescher, A theory of possibility, University of Pittsburgh Press, 1975.
N. Rescher and A. Urquhart, Temporal logic, Springer-Verlag, 1971.
B.C. van Fraasen, Formal semantics and logic, Macmillan, 1971.
G.H. Von Wright, And next, Acta Philosophica Fennica Fasc. XVIII (1965), 293–301.
—, The logic of action — a sketch, The Logic of Decision and Action (N. Rescher, ed.), University of Pittsburgh Press, 1967, pp. 121–136.
—, An essay in deontic logic and the general theory of action, Acta Philosophica Fennica Fasc. XXI (1968).
Ludwig Wittgenstein, Tractatus logico-philosophicus, Routledge and Keegan Paul, 1921, English translation by D.F. Pears & B.F. McGuinness, 1961.
—, Philosophical investigations, third ed., Macmillan, New York, NY, 1953/1958, Translated by G.E.M. Anscombe.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2005 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Lee, R.M. (2005). CANDID Specification of Commercial and Financial Contracts: A Formal Semantics Approach to Knowledge Representation, Part I: Syntax & Formal Semantics of CANDID. In: Kimbrough, S.O., Wu, D. (eds) Formal Modelling in Electronic Commerce. International Handbooks on Information Systems. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-26989-4_4
Download citation
DOI: https://doi.org/10.1007/3-540-26989-4_4
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-21431-1
Online ISBN: 978-3-540-26989-2
eBook Packages: Business and EconomicsBusiness and Management (R0)