Abstract
Rules, regulations and policy statements quite frequently contain nested sequences of normative modalities as in, for example:
-
The database manager is obliged to permit the deputy-manager to authorise access for senior departmental staff.
-
Parking on highways ought to be forbidden. [24]
Accordingly, a knowledge-representation language for such sentences must be able to accommodate nesting of this kind. However, if—as some have proposed—normative modalities such as obligatory, permitted, and authorised are to be interpreted as first-order predicates of named actions, then nesting appears to present a problem, since the scope formula of obligatory in “obligatory that it is permitted that a” (where a names an action) is not a name but a sentence.
The ‘disquotation’ theory presented in Kimbrough (“A Note on Interpretations for Federated Languages and the Use of Disquotation”, and elsewhere) may provide a candidate solution to this FOL problem. In this paper we rehearse parts of that theory and evaluate its efficacy for dealing with the indicated normative nesting problem.
Keywords
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
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
Bennett, J.: Events and Their Names. Hackett Publishing Company, Indianapolis (1988); ISBN:0-87220-046-9
Bhargava, H.K., Kimbrough, S.O.: On embedded languages, meta-level reasoning and computer-aided modeling. In: Nash, S.G., Sofer, A. (eds.) The Impact of Emerging Technologies on Computer Science and Operations Research. Kluwer Academic Publishers, Boston (1995); ISBN 0-7923-9542-5. File: csts-94-meta-sok-hkb
Chellas, B.F.: Modal Logic: An Introduction. Cambridge University Press, Cambridge (1980)
Davidson, D.: On saying that. Synthèse 1, 130–146 (1968-1969)
Davidson, D.: The Logical Form of Action Sentences. In: Essays on Actions and Events, pp. 105–148. Clarendon Press, Oxford University Press, Oxford, United Kingdom (1980); ISBN: 0-19-824637-4
Davidson, D.: On Saying That. In: Inquiries into Truth and Interpretation, pp. 93–108. Clarendon Press, Oxford University Press, Oxford, United Kingdom (1984); originally published as [4]
Higginbotham, J., Pianesi, F., Varzi, A.C. (eds.): Speaking of Events. Oxford Univesity Press, New York (2000); ISBN: 0-19-512811-7
Hilpinen, R.: Deontic Logic: Introductory and Systematic Readings. Springer, Heidelberg (1970)
Hughes, G.E., Cresswell, M.J.: An Introduction to Modal Logic. Methuen and Company Limited, London(1968)
Jeffrey, R.: Formal Logic: Its Scope and Limits, 3rd edn. McGraw-Hill, Inc., New York (1991)
Jones, A.J., Kimbrough, S.O.: A note on modelling speech acts as signalling conventions. In: Kimbrough, S.O., Wu, D.J. (eds.) Formal Modelling in Electronic Commerce, International Handbooks on Information Systems, pp. 325–342. Springer, Berlin (2005)
Jones, A.J., Pitt, J., Artikis, A.: A methodology for engineering intelligent socio-technical systems (2011) (forthcoming)
Jones, A.J., Pitt, J., Artikis, A.: On the analysis and implementation of normative systems — towards a methodology. In: Proceedings of the Workshop on Coordination, Organisation, Institutions and Norms (COIN), 10th International Conference on Autonomous Agents and Multi-agent Systems (AAMAS), Taipei, Taiwan, pp. 47–56 (2011)
Jones, A.J., Sergot, M.J.: A formal characterisation of institutionalised power. Logic Journal of the IGPL 4(3), 427–443 (1996); reprinted in [30], pp. 349–367]
Kimbrough, S.O.: On electronic commerce, subatomic semantics and Cæsar’s stabbing. In: Sprague Jr., R.H. (ed.) Proceedings of the Thirtieth Hawaii International Conference on System Sciences, pp. 361–370. IEEE Press, Los Alamitos (1997)
Kimbrough, S.O.: Reasoning about the objects of attitudes and operators: Towards a disquotation theory for representation of propositional content. In: Proceedings of ICAIL 2001: International Conference on Artificial Intelligence and Law (2001)
Kimbrough, S.O.: A note on interpretations for federated languages and the use of disquotation. In: Gardner, A. (ed.) Proceedings of the Tenth International Conference on Artificial Intelligence and Law (ICAIL 2005), Cooperation with ACM SIGART and The American Association for Artificial Intelligence, Bologna, Italy, June 6-11, pp. 10–19 (2005)
Kimbrough, S.O.: Formal language for business communication: Sketch of a basic theory. International Journal of Electronic Commerce 3(2), 23–44 (1998-1999)
Kimbrough, S.O., Tan, Y.H.: On lean messaging with unfolding and unwrapping for electronic commerce. International Journal of Electronic Commerce 5(1), 83–108 (2000)
Kowalski, R., Sergot, M.: A logic-base calculus of events. New Generation Computing 4(1), 67–95 (1986)
Larson, R., Segal, G.: Knowledge of Meaning: An Introduction to Semantic Theory. The MIT Press, Cambridge (1995); ISBN: 0-262-62100-2
Ludlow, P.: Semantics, Tense, and Time: An Essay in the Metaphysics of Natural Language. The MIT Press, Cambridge (1999); ISBN: 0-262-12219-7
Mackie, J.L.: Problems of intentionality. In: Joan, M.P. (ed.) Logic and Knowledge: Selected Papers, vol. 1, pp. 102–116. Oxford University Press, Oxford (1985)
Marcus, R.B.: Iterated deontic modalities. Mind New Series 75(300), 580–582 (1966)
Moore, R.C.: Events, Situations, and Adverbs. In: Logic and Representation, pp. 159–170. Center for the Study of Language and Information, Stanford (1995); ISBN: 1-881526-15-1
Parsons, T.: Events in the Semantics of English: A Study in Subatomic Semantics. Current Studies in Linguistics. The MIT Press, Cambridge (1990); ISBN: 0-262-66093-8
Pustejovsky, J.: The Generative Lexicon. The MIT Press, Cambridge (1995)
Reichenbach, H.: Elements of Symbolic Logic. The Macmillan Company, New York (1947)
Schein, B.: Plurals and Events. The MIT Press, Cambridge (1993)
Valdés, E.G., et al. (eds.): Normative Systems in Legal and Moral Theory – Festschrift for Carlos E. Alchourrón and Eugenio Bulygin. Duncker & Humblot, Berlin (1997)
van Benthem, J.: Modal Logic for Open Minds. Center for the Study of Language and Information, Palo Alto (April 15, 2010)
van Voorst, J.: Event Structure. John Benjamins Publishing Company, Philadelphia (1988)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2012 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Jones, A.J.I., Kimbrough, S.O. (2012). On the Representation of Normative Sentences in FOL. In: Artikis, A., Craven, R., Kesim Çiçekli, N., Sadighi, B., Stathis, K. (eds) Logic Programs, Norms and Action. Lecture Notes in Computer Science(), vol 7360. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-29414-3_15
Download citation
DOI: https://doi.org/10.1007/978-3-642-29414-3_15
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-29413-6
Online ISBN: 978-3-642-29414-3
eBook Packages: Computer ScienceComputer Science (R0)