On Some Inferences Based on Stratified Forward Chaining: An Application to E-Government

  • El-Hassan Bezzazi

This paper is twofold. It introduces first an expert system shell whose inference engine is based on stratified forward chaining presented in detail in the paper [1]. The stratified forward chaining (hereafter sfc) was proposed as a generalization for the inheritance networks with exception since it allows more than one antecedent in the premises part of a rule.


Propositional Logic Inference Engine Deontic Logic Light Press Initial Fact 
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.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Bezzazi, E-H, Revision and Update based on Stratified Forward Chaining in Frontiers in Belief Revision, edited by Mary-Anne Williams and Hans Rott, 2001 Kluwer Academic Publishers. (2001) 315-332Google Scholar
  2. 2.
    Bezzazi, E-H, Specific Stratified Forward Chaining, Proceedings of the International Conference on Artificial Intelligence, Las Vegas, Nevada, USA, (2000) 1455-1460Google Scholar
  3. 3.
    Bezzazi, E-H, Workflows et Systèmes experts dans l’administration électronique, Communication au Colloque International Administration électonique et qualité des préstations administratives, Lille, France, 11/19/2004Google Scholar
  4. 4.
    The official site of PHP:
  5. 5.
    Horty, J., Thomason, R., Touretzky, D., A skeptical theory of inheri-tancein nonmonotonic networks, Artificial Intelligence, (1990) 311-348Google Scholar
  6. 6.
    Horty, J., Nonmonotonic foundations for deontic logic, In Nute, D., ed., Defeasible Deontic Logic. Kluwer. 17- 44Google Scholar
  7. 7.
    Makinson D., Van Der Torre L., Input-output logics, Journal of Philosophical Logic, vol. 29, 2000, p. 383-408CrossRefMathSciNetGoogle Scholar
  8. 8.
    Prakken, H., Two Approaches to the Formalisation of Defeasible Deontic Reasoning, Studia Logica 57 (1), pp. 73-90, 1996MATHCrossRefMathSciNetGoogle Scholar
  9. 9.
    Van Der Torre L., Violated obligations in a defeasible deontic logic, In A.Cohn (ed.), Proceedings of the Eleventh European Conference on Arti-ficial Intelligence (ECAI’94), pages 371-375, John Wiley & Sons, 1994Google Scholar
  10. 10.
    Wieringa R.J., Meyer J.-J.Ch., Applications of Deontic Logic in Com-puter Science: A concise Overview, In Deontic Logic in Computer Sci-ence, pp 17-40, John Wiley & Sons, Chichester, England, 1993Google Scholar
  11. 11.
    Von Wright G.H., An Essay in Deontic Logic and the General Theory of Action, Acta Philosophica Fennica, Fasc. 21. North-Holland, 1968Google Scholar

Copyright information

© Springer Science+Business Media, LLC 2007

Authors and Affiliations

  • El-Hassan Bezzazi
    • 1
  1. 1.IREENATUniversity of LilleFrance

Personalised recommendations