On the Representation of Normative Sentences in FOL

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. 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.

[1]  Yao-Hua Tan,et al.  On Lean Messaging with Unfolding and Unwrapping for Electronic Commerce , 2000, Int. J. Electron. Commer..

[2]  Stephen G. Nash,et al.  The Impact of Emerging Technologies on Computer Science and Operations Research , 2012 .

[3]  Marek J. Sergot,et al.  A logic-based calculus of events , 1989, New Generation Computing.

[4]  D. Davidson.  Essays on actions and events , 1980 .

[5]  Steven O. Kimbrough,et al.  A Note on Modelling Speech Acts as Signalling Conventions , 2005 .

[6]  D. Davidson.  Inquiries Into Truth and Interpretation , 1984 .

[7]  Peter Ludlow,et al.  Semantics, tense, and time : an essay in the metaphysics of natural language , 1999 .

[8]  D. Davidson.  On saying that , 1968, Synthese.

[9]  Yoshio Endo,et al.  On Event Structure , 1993 .

[10]  Steven Orla Kimbrough,et al.  A note on interpretations for federated languages and the use of disquotation , 2005, ICAIL '05.

[11]  James Pustejovsky,et al.  The Generative Lexicon , 1995, CL.

[12]  G. Segal,et al.  Knowledge of Meaning: An Introduction to Semantic Theory , 1995 .

[13]  Steinberg Hall.  On Embedded Languages, Meta-level Reasoning and Computer-aided Modeling , 1993 .

[14]  Max J. Cresswell,et al.  A New Introduction to Modal Logic , 1998 .

[15]  T. Wilkerson.  Events and their Names , 1990 .

[16]  Ruth Barcan Marcus.  ITERATED DEONTIC MODALITIES , 1966 .

[17]  Fabio Pianesi,et al.  Speaking of Events , 2000 .

[18]  C. Pollard,et al.  Center for the Study of Language and Information , 2022 .

[19]  B. Nebel.  Introduction to Modal Logic Introduction , 2009 .

[20]  Robert C. Moore.  Events, Situations, and Adverbs , 1989, EPIA.

[21]  David L. Davidson,et al.  The Logical Form of Action Sentences , 2001 .

[22]  J.F.A.K. van Benthem,et al.  Modal Logic for Open Minds , 2010 .

[23]  R. Jeffrey.  Formal Logic: Its Scope and Limits , 1981 .

[24]  Robert C. Moore.  Logic and Representation , 1994 .

[25]  Steven Orla Kimbrough,et al.  Formal Language for Business Communication: Sketch of a Basic Theory , 1998, Int. J. Electron. Commer..

[26]  Steven Orla Kimbrough.  On electronic commerce, subatomic semantics and Caesar's stabbing , 1997, Proceedings of the Thirtieth Hawaii International Conference on System Sciences.

[27]  Terence Parsons,et al.  Events in the Semantics of English: A Study in Subatomic Semantics , 1990 .

[28]  Steven Orla Kimbrough,et al.  Reasoning about the objects of attitudes and operators: towards a disquotation theory for representation of propositional content , 2001, ICAIL '01.

[29]  C. E. Alchourrón,et al.  Normative Systems in Legal and Moral Theory Festschrift for Carlos E. Alchourrón and Eugenio Bulygin , 1997 .

[30]  George L. Trager,et al.  Studies in linguistics , 1942 .

[31]  Alexander Artikis,et al.  The design of intelligent socio-technical systems , 2012, Artificial Intelligence Review.

[32]  R. Hilpinen.  Deontic Logic: Introductory and Systematic Readings , 1981 .

[33]  B. Schein.  Plurals and Events , 1994 .

[34]  Marek J. Sergot,et al.  A Formal Characterisation of Institutionalised Power , 1996, Log. J. IGPL.

[35]  Glynn Winskel,et al.  Event Structures , 1986, Advances in Petri Nets.

[36]  Hans Reichenbach,et al.  Elements of symbolic logic , 1948 .