Browsing by Author "Mellarkod, Veena S."
Now showing 1 - 2 of 2
Results Per Page
Sort Options
Item Integrating ASP and CLP systems: computing answer sets from partially ground programs(Texas Tech University, 2007-12) Mellarkod, Veena S.; Gelfond, Michael; Watson, Richard; Zhang, Yuanlin; Son, Tran CaoAnswer set programming (ASP) has emerged as a declarative paradigm for knowledge representation and reasoning. In this approach, a logic program is used to represent the knowledge of the domain and various tasks are reduced to computing answer sets of this program. ASP languages A-Prolog and CR-Prolog have been proven as powerful tools for constructing complex reasoning systems. Constraint logic programming (CLP) emerged as an alternate paradigm through the fusion of logic programming and constraint solving. A CLP solver thus integrates resolution techniques from logic programming and constraint solving techniques from constraint satisfaction. While ASP is expressive for knowledge representation and reasoning, CLP solvers are efficient in reasoning with numerical constraints. Every state-of-the-art ASP solver computes answer sets of programs from their ground equivalents. Though these systems solve large industrial problems, the ground programs become huge and unmanageable. This is especially true when programs contain variables that range over large numerical domains; huge memory requirements eventually force the solvers to fail. The goal of this research is to address this issue by integrating different types of reasoning techniques to compute answer sets of programs. First, we investigate the integration of answer set reasoning, a form of abduction, and constraint solving techniques. We design a collection of languages, V(C), parameterized over a class C of constraints. An instance ACo from this family is studied as a knowledge representation tool. An algorithm to compute answer sets of ACo programs is developed. An ACo solver is built that computes answer sets from partially ground programs. The use of this language and the efficiency of the solver are demonstrated. We extend our investigation to develop methods to include resolution techniques. We design a collection of languages AC(C) parameterized over a class C of constraints. We develop an algorithm to compute answer sets of AC(C) programs from their partial ground instances by integrating the four reasoning techniques and prove correctness. A solver is built to compute answer sets for a class of AC(C) programs. Our work is a significant step to declaratively solve problems that cannot be solved by pure ASP or CLP solvers. The solvers built are the first to tightly integrate different reasoning techniques to compute answer sets from partial ground programs.Item Optimizing the computation of stable models using merged rules(Texas Tech University, 2002-05) Mellarkod, Veena S.Recently, logic programs under the stable model semantics, have emerged as a new paradigm for declarative programming. In this new approach, a logic program is used to represent the knowledge of the domain, and various tasks are reduced to computing the stable models of this program. This paradigm has been successfully used in a wide range of applications including planning, diagnostics, graph problems, etc. The basic algorithm for computing stable models is implemented by several efficient systems. The most efficient implementation to date is called Smodels. Even though Smodels was demonstrated to be capable of solving several large industrial problems, there are some simple logic programs for which Smodels' performance is unexpectedly slow. This problem is not related to the implementation. Rather, it is the result of the one rule at a time inference used by the basic algorithm. The goal of this work is to improve the efficiency of the basic algorithm extending the set of inference rules with a new rule called the Extended Evaluation Rule (EER). EER efficiently retrieves information spread across several rules of a program. An algorithm, newsmodels, was developed incorporating the EER. A system Surya, based on the newsmodels algorithm was implemented. It was found that the EER considerably improves the efficiency of the system.