论文信息 - A Constructivist Approach to Rule Bases

A Constructivist Approach to Rule Bases

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.

Tom M. van Engers | Alexander Boer | Giovanni Sileno

[1] E. Fermé. On the Logic of Theory Change: Extending the AGM Model , 2011 .

[2] Tom M. van Engers,et al. Agile: a problem-based model of regulatory policy making , 2013, Artificial Intelligence and Law.

[3] Chitta Baral,et al. Logic Programming and Knowledge Representation , 1994, J. Log. Program..

[4] C. Lee Giles,et al. Rule Revision With Recurrent Neural Networks , 1996, IEEE Trans. Knowl. Data Eng..

[5] Nripendra N. Biswas,et al. Minimization of Boolean Functions , 1971, IEEE Transactions on Computers.

[6] R. Heiner. The Origin of Predictable Behavior , 1983 .

[7] R. Sternberg,et al. The Psychology of Intelligence , 2002 .

[8] Sang Joon Kim,et al. A Mathematical Theory of Communication , 2006 .

[9] Judea Pearl,et al. System Z: a Natural Ordering of Defaults with Tractable Applications to Nonmonotonic Reasoning^ , 1990 .

[10] Didier Dubois,et al. Three Scenarios for the Revision of Epistemic States , 2008, J. Log. Comput..

[11] Wolfgang Faber. Answer Set Programming , 2013, Reasoning Web.

[12] Judy Goldsmith,et al. New Horn Revision Algorithms , 2005, J. Mach. Learn. Res..

[13] J. Piaget. The Psychology Of Intelligence , 1951 .

[14] J. Horty. RULES AND REASONS IN THE THEORY OF PRECEDENT , 2011, Legal Theory.