Integer Programming Applied to Rule Based Systems | Zendy

Juan Félix Ávila Herrera | Zendy

AI Assistant Blog Pricing

Home ZAIA Blog

Open Access

Integer Programming Applied to Rule Based Systems

Author(s) -

Juan Félix Ávila Herrera

Publication year - 2012

Publication title -

procedia computer science

Language(s) - English

Resource type - Journals

SCImago Journal Rank - 0.334

H-Index - 76

ISSN - 1877-0509

DOI - 10.1016/j.procs.2012.04.170

Subject(s) - ask price , computer science , integer (computer science) , set (abstract data type) , integer programming , inference , truth value , base (topology) , expert system , proposition , inference engine , order (exchange) , theoretical computer science , artificial intelligence , algorithm , mathematics , programming language , mathematical analysis , philosophy , economy , epistemology , economics , finance

In this paper we show how to represent a set of logic propositions as an integer linear program and how to use its solution to determine the truth value of all the proposition given only a subset of their truth values. Thus a rule–based expert system might use this approach as inference engine. When we model an expert system knowledge base as an integer linear program, we can ask for what is a minimum set of premises needed in order to have an specic conclusion as true. Furthermore we can ask for what propositions become true once a subset of propositions are known to be true. Once the integer restriction is dismissed, we can ask for what conditions are necessary in order that a conclusion holds with certain probability. Thus we can have both a deterministic and stochastic model using practically the same paradigm

The content you want is available to Zendy users.

Already have an account? Click here to sign in.

Having issues? You can contact us here

Accelerating Research