A decision support system for bureaucratic policy administration: An abductive logic programming approach

Decision Support Systems

Volumn 16, Issue 1, 1996, Pages 21-38

  Ong, KayLiang ^a   Lee, Ronald M ^b  

^a Microlectron Comp Technol C   (United States)

^b ERASMUS UNIVERSITY ROTTERDAM   (Netherlands)

Author keywords

Abduction; Bureaucracy; Decision support systems; Deontic logic; Inconsistency; Logic programming; Policies

Indexed keywords

LOGIC PROGRAMMING; PROFESSIONAL ASPECTS; PUBLIC POLICY; SOCIETIES AND INSTITUTIONS;

BUREAUCRATIC POLICY ADMINISTRATION; DEONIC LOGIC; INCONSISTENCIES;

DECISION SUPPORT SYSTEMS;

EID: 0029734945     PISSN: 01679236     EISSN: None     Source Type: Journal    
DOI: 10.1016/0167-9236(94)00054-9     Document Type: Article

References (40)

1. Apt, Krzysztof R., Logic Programming, Chap. 10, Handbook of Theoretical Computer Science, Ed. J. van Leeuwen, pp. 493-574, 1990.
2. Arni, Natraj, Ong, KayLiang, Tsur, Shalom and Zaniolo, Carlo, LDL + +: A Second Generation Deductive Database System, Submitted for publication, 1994.
3. Bylander, Tom, Allemang, Dean, Tanner, Michael C., and Josephson, John R., Some results concerning the computational complexity of abduction, In Proc. of the 1st Int. Conf. on Principles of Knowledge Representation and Reasoning, pp. 44-45, Toronta, Ontario, Canada, 1989.
4. Chang, Chin-Liang and Lee, Richard Char-Tung, Symbolic Logic and Mechanical Theorem Proving, Academic Press, 1973.
5. Charniak, E. and McDermott, D., Introduction to Artificial Intelligence, Addison-Wesley Pub. Co., 1985.
6. Colmerauer, A., Kanoui, H., Roussel, P. and Pasero, R., Un Systeme de Communication Homme-Machine en Francais, Groupe de Recherche en Intelligence Artificielle, Universite d'Aix-Marseille, 1973.
7. Cox, P.T. and Pietrzykowski, Y., General Diagnosis by Abductive Inference, Proc. IEEE Symp. on Logic Programming, 1986, pp. 183-189.
8. Das, Subrata, K. and Williams, Howard, M., A Path Finding Method for Constraint Checking in Deductive Databases, Data and Knowledge Engineering, 4, 1989, pp. 223-244, North-Holland.
9. Eshghi, K., Abductive Planning with Event Calculus, Proc. 5th International Conference on Logic Programming, R. Kowalski and K. Bowen, (eds), 1988, pp. 562-579.
10. Eshghi, K. and Kowalski, R.A., Abduction Compared With Negation By Failure, Proc. 6th International Conference on Logic Programming, Lisbon, Portugal, June 1989, MIT Press.
11. Follesdal, Dagfinn and Hilpinen, Risto, Deontic Logic: An Introduction, in Deontic Logic: Introductory and Systematic Readings, Edited by Risto Hilpinen, D. Reidel Publishing Company / Dordrecht-Holland, 1971, pp. 1-35.
12. Gelfond, Michael and Lifschitz, Vladimir, Logic Programs with Classical Negations Proceedings of the Seventh International Conference on Logic Programming, David D.H. Warren and Peter Szeredi (eds.), 1990, pp. 579-597.
13. Genesereth, Michael R. and Nilsson Nils. J., Logical Foundations of Artificail Intelligence, Morgan Kaufmann, 1987.
14. Kowalski, R.A. Predicate Logic as a Programming Language, in Proc. IFIP 1974, Stockholm, North-Holland, 1974, 569-574.
15. Lee, Ronald M., Bureaucracies, bureaucrats and information technology, European Journal of Operational Research 19, (1984) 293-303.
16. Lee, Ronald M. Automating red tape: The performative vs. informative roles of bureaucratic documents, Offices: Technology and People 1,2, (1984), 187-204.
17. Lee, Ronald M., Bureaucracy as Artificial Intelligence, in Knowledge Representation for Decision Support, Proc. of IFIP WG 8.3 Working Conf. (Durham, England, July), North-Holland, Amsterdam, 1984.
18. Lee, Ronald M., Bureaucracies as Deonatic Systems, ACM Transaction on Office Information Systems, Vol 6, No. 2, April 1988, pp 87-108.
19. Lee, Ronald M. and Ryu, Young, DX A Deontic Expert System, Working Paper, (submitted to Data and Knowledge Engineering), 1992.
20. Meyer, Marshall W., Stenvenson, William and Webster, Stephen, Limits to Bureaucratic Growth, Walter de Gruyter, 1985.
21. Naqvi, Shamim and Tsur, Shalom, A Logical Language for Data and Knowledge Bases, Computer Science Press, New York, 1989.
22. Ng, Hwee-Tou, A General Abductive System With Application to Plan Recognition and Diagnosis, Doctorate Dissertation, University of Texas at Austin, 1992.
23. Ong, KayLiang, A. Formal Model for Maintaining Consistency of Evolving Bureaucratic Policies: A Logical and Abductive Approach, Doctorate Dissertation, University of Texas at Austin, 1992.
24. Ong, KayLiang and Ronald, M. Lee, A Logic Model for Maintaining Consistency of Bureaucratic Policies, Proceedings of the 26th Hawaii International Conference on System Sciences, Maui, January 5-8, 1993.
25. Peirce, C.S., Collected papers of Charles Sanders Pierce, Vol. 2, 1931-1958, (C. Hartshorn et al, eds.) Harvard University Press, 1931.
26. Reiter, Raymond, On Integrity Constraints, Proceedings of 2nd Conference on Theoretical Aspects of Reasoning about Knowledge, Asilomar, CA 1988, p. 97.
27. Reggia, James A., Nau, Dana S., Wang, Pearl Y., Diagnostic expert systems based on a set covering model, International Journal of Man-Machine Studies, 19:437-460, 1983.
28. Reggia, James A., Nau, Dana S., Wang, Pearl Y., A formal model of diagnostic inference, I. problem formulation and decomposition, Information Sciences, 37:227-256, 1985.
29. Robinson, J.A. A Machine-Oriented Logic Based on the Resolution Principle, J. ACM, V12, N1, 1965, 23-41.
30. Rozenshtein, David and Minsky, Naftaly, Controlling the Use and Evolution of Database Systems: A Prolog-Based Approach, Journal of MIS, Summer 1986, VIII, N1.
31. Ryu, Young, Defeasible Deontic Reasoning - A Formal Approach, Doctorate Dissertation, University of Texas at Austin, 1991.
32. Sadri, Fariba and Kowalski, Robert, A Theorem-Proving Approach to Database Integrity, Ch. 9, Foundations of Deductive Databases and Logic Programming, Ed. by J. Minker, Morgan Kaufmann, Los Altos, 1987.
33. Sergot, M.J., Sadri F., Kowalski R.A., Kriwaczek F., Hammond P. and Cory H.T., The British Nationality Act As A Logic Program, Comm. of ACM, May 1986, Vol. 29, Number 5.
34. Tsur, Shalom, Arni, Natraj and Ong, KayLiang, The LDL+ + User Guide, MCC Technical Report, 1993.
35. Ullman, Jeffrey, Principles of Database and Knowledge Base Systems, Volume I and II, Computer Science Press, 1990.
36. Von Wright, Georg Henrik, A New System of Deontic Logic, in Deontic Logic: Introductory and Systematic Readings, Risto Hilpinen (eds), D. Reidel Pub. Co./Dordrecht-Holland, 1971, pp. 105-120.
37. Von Wright, G.H., An Easy in Deontic Logic and the General Theory of Action, in Acta Philosophica, Vol. 12, North-Holland, Amsterdam, 1968.
38. Von Wright, G.H. Deontic Logic, Mind 60 (1951) 1-15. Reprinted in Logical Studies (by G.H. von Wright), Routledge and Kegan Paul, London 1957, pp. 58-74.
39. Von Wright, G.H. Deontic Logic, Mind 60 (1951) 1-15. Reprinted in Logical Studies (by G.H. von Wright), Routledge and Kegan Paul, London 1957, pp. 58-74.
40. Zaniolo, Carlo, The Design and Implementation of a Logic-Based Language for Data Intensive Applications, in Proc. of the Int. Conf. on Logic Programming, 1988.