A Constructivist Approach to Rule Bases

Giovanni Sileno, Alexander Boer, Tom van Engers


The paper presents a set of algorithms for the conversion of rule bases between priority-based and constraint-based representations. Inspired by research in precedential reasoning in law, such algorithms can be used for the analysis of a rule base, and for the study of the impact of the introduction of new rules. In addition, the paper explores an optimization mechanism, built upon assumptions about the world in which the rule-based system operates, providing a model of environmental adaptation. The investigation is relevant to practical reasoning, agent modeling and agent programming.


  1. Baral, C. and Gelfond, M. (1994). Logic programming and knowledge representation. The Journal of Logic Programming, 19:73-148.
  2. Boer, A. and Engers, T. (2013). Agile: a problem-based model of regulatory policy making. Artificial Intelligence and Law, 21(4):399-423.
  3. Dubois, D. (2008). Three scenarios for the revision of epistemic states. Journal of Logic and Computation.
  4. Fermé, E. (2011). On the Logic of Theory Change: Extending the AGM Model. PhD thesis, Royal Institute of Technology.
  5. Goldsmith, J. and Sloan, R. H. (2005). New Horn Revision Algorithms. Journal of Machine Learning Research, 6:1919-1938.
  6. Heiner, R. (1983). The origin of predictable behavior. The American economic review, 73(4):560-595.
  7. Horty, J. F. (2011). Rules and Reasons in the Theory of Precedent. Legal Theory, 17(01):1-33.
  8. Lifschitz, V. (2008). What Is Answer Set Programming? Proceedings of the AAAI Conference on Artificial Intelligence.
  9. Mccluskey, E. J. (1956). Minimization of Boolean functions. The Bell System Technical Journal, 35(5):1417- 1444.
  10. Omlin, C. and Giles, C. (1996). Rule revision with recurrent neural networks. IEEE Transactions on Knowledge and Data Engineering, 8(1):183-188.
  11. Pearl, J. (1990). System Z: A natural ordering of defaults with tractable applications to nonmonotonic reasoning. Proceedings of the 3rd conference on Theoretical Aspects of Reasoning about Knowledge (TARK'90), 3:121-135.
  12. Piaget, J., Piercy, M., and Berlyne, D. E. (2001). The Psychology of Intelligence. Routledge classics. Routledge.
  13. Shannon, C. E. (1948). A mathematical theory of communication. The Bell System Technical Journal, 27:379- 423/623-656.

Paper Citation

in Harvard Style

Sileno G., Boer A. and van Engers T. (2015). A Constructivist Approach to Rule Bases . In Proceedings of the International Conference on Agents and Artificial Intelligence - Volume 2: ICAART, ISBN 978-989-758-074-1, pages 540-547. DOI: 10.5220/0005280205400547

in Bibtex Style

author={Giovanni Sileno and Alexander Boer and Tom van Engers},
title={A Constructivist Approach to Rule Bases},
booktitle={Proceedings of the International Conference on Agents and Artificial Intelligence - Volume 2: ICAART,},

in EndNote Style

JO - Proceedings of the International Conference on Agents and Artificial Intelligence - Volume 2: ICAART,
TI - A Constructivist Approach to Rule Bases
SN - 978-989-758-074-1
AU - Sileno G.
AU - Boer A.
AU - van Engers T.
PY - 2015
SP - 540
EP - 547
DO - 10.5220/0005280205400547