Specification of contractual obligations in formal business communication

Data and Knowledge Engineering

Volumn 26, Issue 3, 1998, Pages 309-326

  Ryu, Young U ^a  

^a UNIVERSITY OF TEXAS AT DALLAS   (United States)

Author keywords

Defeasible reasoning; Deontic logic; Electronic data interchange; Formal business communication; Relativized deontic modalities

Indexed keywords

ADMINISTRATIVE DATA PROCESSING; COMPUTATIONAL LINGUISTICS; DIGITAL COMMUNICATION SYSTEMS; FORMAL LOGIC;

ELECTRONIC DATA INTERCHANGE; FORMAL BUSINESS COMMUNICATIONS;

DATA COMMUNICATION SYSTEMS;

EID: 0032121747     PISSN: 0169023X     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0169-023X(97)00048-7     Document Type: Article

References (33)

1. P. Baran, The future computer utility, The Public Interest 8 (1967) 75-78.
2. H.-N. Castañeda, On the semantics of the ought-to-do, Synthese 21 (1970) 449-468.
3. S.K. Dewitz, R.M. Lee, Legal procedures as formal conversations: Contracting on performative network, in Proc. 10th Intl. Conf. on Information Systems (1989) 53-65.
4. D. Føllesdal, R. Hilpinen, Deontic logic: An introduction, in R. Hilpinen (editor), Deontic Logic: Introductory and Systematic Readings (D. Reidel, Dordrecht, The Netherlands, 1971).
5. B. Hansson, An analysis of some deontic logics, Noûs 3 (1969) 373-398.
6. H. Herrestad, C. Krogh, Deontic logic relativised to bearers and counterparties, in J. Bing, O. Torvund (editors), Twenty-Five Years Anniversary Anthology in Computers and Law (TANO, Oslo, 1995) 453-522.
7. H. Herrestad, C. Krogh, Obligations directed from bearers to counterparties, in Proc. 5th Intl. Conf. on Artificial Intelligence and Law (1995) 210-218.
8. R. Hilpinen An analysis of relativised modalities, in J.W. Davis, D.J. Hockney, W.K. Wilson (editors), Philosophical Logic (D. Reidel, Dordrecht, The Netherlands, 1969) 181-193.
9. R. Hilpinen, On the semantics of personal directives, in C.H. Heidrich (editor), Semantics and Communication (North Holland, Amsterdam, The Netherlands, 1974) 162-179.
10. W.N. Hohfeld, Fundamental Legal Conceptions as Applied in Judicial Reasoning (Yale University Press, New Haven, CT, 1919).
11. J.F. Horty, Deontic logic as founded in nonmonotonic logic, Annals of Mathematics and Artificial Intelligence 9 (1993) 69-91.
12. S.O. Kimbrough, On representation schemes for electronic promising, in Proc. 21st Annual Hawaii Intl. Conf. on System Sciences, Vol. 3 (1988) 486-495.
13. S.O. Kimbrough, R.M. Lee, On formal aspects of electronic (or digital) commerce: Examples of research issues and challenges, in Proc. 29th Annual Hawaii Intl. Conf. on System Sciences, Vol. 4, (1996) 319-328.
14. C.R. Kordig, Relativized deontic modalities, in A.R. Anderson, R.B. Markus, R.M. Martin (editors), The Logical Enterprise (Yale University Press, New Haven, CT, 1975) 221-233.
15. R.M. Lee, CANDID: A logical calculus for describing financial contract, PhD Thesis (Department of Decision Sciences, The Wharton School of University of Pennsylvania, 1980).
16. R.M. Lee, International contracting: A formal language approach, in Proc. 21th Annual Hawaii Intl. Conf. on System Sciences, Vol. 4, (1988) 69-78.
17. R.M. Lee, Dynamic modeling of documentary procedures: A CASE for EDI, in Proc. 3rd Intl. Working Conf. on Dynamic Modeling of Information Systems (Delft University of Technology, The Netherlands, 1992) 95-124.
18. R.M. Lee, R.W.H. Bons, C. D. Wrigley, R.W. Wagenaar, Automated design of electronic trade procedures using documentary Petri nets, In Proc. 3rd Intl. Working Conf. on Dynamic Modeling of Information Systems. (Delft University of Technology, The Netherlands, 1994).
19. R.M. Lee, Y.U. Ryu, DX: A deontic expert system, Journal of Management Information Systems 12(1) (1995) 145-169.
20. D. Lewis, Counterfactuals (Harvard University Press, Cambridge, MA, 1973).
21. J. McCarthy, The common business communication language, in A. Endres, J. Reetz (editors), Textverarbeitung und Bürosysteme (R. Oldenbourg Verlag, Munich, Germany, 1982) 71-74.
22. J. McCarthy, Elephant 2000: A programming language based on speech acts (Unpubl. manuscript, 1989).
23. D. Nute, Defeasible logic, in D.M. Gabbay, C.J. Hogger, J.A. Robinson (editors), Handbook of Logic in Artificial Intelligence and Logic Programming, Vol. 3 (Claredon Press, Oxford, 1994) 353-395.
24. I. Pörn, Action Theory and Social Science: Some Formal Models (Synthese Library, D. Reidel, Dordrecht, The Netherlands, 1977).
25. H. Prakken, M. Sergot, Contrary-to-duty imperatives, defeasibility, and violability, in A.J.I. Jones, M. Sergot (editors), Proc. 2nd Intl. Workshop on Deontic Logic in Computer Science (Norwegian Research Center for Computers and Law, Oslo, Norway, 1994) 298-318.
26. R. Reiter, A logic for default reasoning, Artificial Intelligence 13(1/2) (1980) 81-132.
27. Y.U. Ryu, Conditional deontic logic augmented with defeasible reasoning, Data & Knowledge Engineering 16(1) (1995) 73-91.
28. Y.U. Ryu, Relativized deontic modalities for contractual obligations in formal business communication, in Proc. 30th Annual Hawaii Intl. Conf. on System Sciences, Vol. 4 (1997) 485-493.
29. Y.-H. Tan, W. Thoen, Modelling the dynamics of transferable obligations in business procedures, in Proc. 30th Annual Hawaii Intl. Conf. on System Sciences (1997).
30. B.C. van Fraassen, The logic of conditional obligation, Journal of Philosophical Logic 1(3/4) (1972) 417-438.
31. B.C. van Fraassen, Values and the heart's command, Journal of Philosophy, 70(1) (1973) 5-19.
32. G.H. von Wright, Deontic logic, Mind, 60(237) (1951) 1-15.
33. G.H. von Wright, Deontic logic and the theory of conditions, in R. Hilpinen (editor), Deontic Logic: Introductory and Systematic Readings (D. Reidel, Dordrecht, The Netherlands, 1971).