Propositional plausible logic: Introduction and implementation

Studia Logica

Volumn 67, Issue 2, 2001, Pages 243-269

  Billington, David ^a   Rock, Andrew ^a  

^a GRIFFITH UNIVERSITY   (Australia)

Author keywords

Artificial intelligence; Defeasible logic; Haskell; Implementation; Non monotonic reasoning; Plausible logic

Indexed keywords

EID: 2442535392     PISSN: 00393215     EISSN: 15728730     Source Type: Journal    
DOI: 10.1023/A:1010551204574     Document Type: Article

References (22)

1. ANTONIOU, G., Nonmonotonic Reasoning, MIT Press, Cambridge, Mass., 1997.
2. ANTONIOU, G., 'On the role of nonmonotonic representations in requirements engineering', International Journal of Software Engineering and Knowledge Engineering, 8:385-399, 1998.
3. ANTONIOU, G., D. BILLINGTON, G. GOVERNATORI, and M. J. MAHER, 'On the modelling and analysis of regulations', in Proceedings of the 10th Australasian Conference on Information Systems, Wellington, New Zealand, December 1999.
4. ANTONIOU, G., D. BILLINGTON, and M. J. MAHER, 'Normal forms for defeasible logic', in Proceedings of the 1998 Joint International Conference and Symposium on Logic Programming, pages 160-174. MIT Press, 1998.
5. ANTONIOU, G., D. BILLINGTON, and M.J. MAHER, 'On the analysis of regulations using defeasible rules', in Proceedings of the 32nd Hawaii International Conference on Systems Science. IEEE Press, 1999. Also to appear in Applied Intelligence.
6. ANTONIOU, G., M.J. MAHER, and D. BILLINGTON, 'Defeasible logic versus logic programming without negation as failure', Journal of Logic Programming 2000 (Accepted 4 June 1999).
7. BILLINGTON, D., 'Defeasible logic is stable', Journal of Logic and Computation 3:379-400, 1993.
8. BILLINGTON, D., 'Defeasible deduction with arbitrary propositions', in Poster Proceedings of the 11th Australian Joint Conference on Artificial Intelligence, pages 3-14, 1998.
9. BILLINGTON, D., K. DE COSTER, and D. NUTE, 'A modular translation from defeasible nets to defeasible logics', Journal of Experimental and Theoretical Artificial Intelligence 2:151-177, 1990.
10. CHOLEWINSKI, P. V. W. MAREK, A. MIKITIUK, and M. TRUSZCZYŃSKI, 'Experimenting with nonmonotonic reasoning', in Proceedings of the 12th International Conference on Logic Programming. MIT Press, 1995.
11. COVINGTON, M.A., 'Defeasible logic on an embedded microcontroller', in Proceedings of the Tenth International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems, 1997. Also to appear in Applied Intelligence.
12. COVINGTON, M.A., 'Logical control of an elevator with defeasible logic', IEEE Transactions on Automatic Control, 2000 (to appear).
13. COVINGTON, M.A., D. NUTE, and A. VELLINO, Prolog Programming in Depth, Prentice Hall, Upper Saddle River, New Jersey, USA, 1997.
14. DIMOPOULOS, Y., and A. KAKAS, 'Logic programming without negation as failure', in J. Maluszyński, editor, Proceeding of the 5th International Symposium on Logic Programming, pages 369-384, MIT Press, 1995.
15. GOTLOB, G., 'Complexity results for nonmonotonic logics', Journal of Logic and Computation 2:397-425, 1992.
16. GROSOF, B.N., 'Prioritized conflict handling for logic programs', in J. Maluszyński, editor, Proceedings of the International Logic Programming Symposium, pages 197-211, MIT Press, 1997.
17. HUTTON, G., 'Higher-order functions for parsing', J. Functional Programming 2:323-343, 1992.
18. LUQI and D. E. COOKE, 'How to combine nonmonotonic logic and rapid prototyping to help maintain software', International Journal of Software Engineering and Knowledge Engineering 5:89-118, 1995.
19. NUTE, D., 'Defeasible reasoning: A philosophical analysis in prolog', in J. H. Fetzer, editor, Aspects of Artificial Intelligence, pages 251-288, Kluwer Academic, 1988.
20. NUTE, D., 'A decidable quantified defeasible logic', in D. Prawitz, B. Skyrms, and D. Weasterstahl, editors, Logic, Methodology and Philosophy of Science, volume IX, pages 263-284, Elsevier Science B. V., 1994.
21. NUTE, D., 'Defeasible logic', in D. M. Gabbay, C. J. Hogger, and J. A. Robinson, editors, Handbook of Logic in Artificial Intelligence and Logic Programming, volume 3, pages 353-395, Oxford University Press, 1994.
22. ZOWGHI, D., A.K. GHOSE, and P. PEPPAS, 'A framework for reasoning about requirements evolution', in Proceedings of the Fourth Pacific Rim International Conference on Artificial Intelligence, volume 1114 of LNAI, pages 157-168, Springer, 1996.