Answer set based design of knowledge systems

Authors:
Marcello Balduccini;Michael Gelfond;Monica Nogueira
Affiliations:
Computer Science Department, Texas Tech University, Lubbock, USA 79409;Computer Science Department, Texas Tech University, Lubbock, USA 79409;Center for Logistics and Digital Strategy, Kenan Institute of Private Enterprise, Kenan-Flagler Business School, The University of North Carolina at Chapel Hill, Chapel Hill, USA 27599
Venue:
Annals of Mathematics and Artificial Intelligence
Year:
2006

Citing 0
Cited 17

Justifications for logic programs under answer set semantics

Theory and Practice of Logic Programming
Integrating answer set programming and constraint logic programming

Annals of Mathematics and Artificial Intelligence
A logical framework for configuration software

PPDP '09 Proceedings of the 11th ACM SIGPLAN conference on Principles and practice of declarative programming
Constraint Answer Set Solving

ICLP '09 Proceedings of the 25th International Conference on Logic Programming
Splitting a CR-Prolog Program

LPNMR '09 Proceedings of the 10th International Conference on Logic Programming and Nonmonotonic Reasoning
Decision supporting system based on fuzzy default reasoning

HSI'09 Proceedings of the 2nd conference on Human System Interactions
Logic programs with abstract constraint atoms: The role of computations

Artificial Intelligence
CR-MODELS: an inference engine for CR-Prolog

LPNMR'07 Proceedings of the 9th international conference on Logic programming and nonmonotonic reasoning
Enhancing ASP systems for planning with temporal constraints

LPNMR'07 Proceedings of the 9th international conference on Logic programming and nonmonotonic reasoning
Logic programs with abstract constraint atoms: the role of computations

ICLP'07 Proceedings of the 23rd international conference on Logic programming
Integrating answer set reasoning with constraint solving techniques

FLOPS'08 Proceedings of the 9th international conference on Functional and logic programming
Reducts of propositional theories, satisfiability relations, and generalizations of semantics of logic programs

Artificial Intelligence
Approximation of action theories and its application to conformant planning

Artificial Intelligence
Learning and using domain-specific heuristics in ASP solvers

AI Communications - Answer Set Programming
ASP as a cognitive modeling tool: short-term memory and long-term memory

Logic programming, knowledge representation, and nonmonotonic reasoning
Homage to Michael Gelfond on his 65th birthday

Logic programming, knowledge representation, and nonmonotonic reasoning
On rule systems whose consistency can be locally maintained

AI Communications - Intelligent Engineering Techniques for Knowledge Bases

Quantified Score

Hi-index	0.00

Visualization

Abstract

The aim of this paper is to demonstrate that A-Prolog is a powerful language for the construction of reasoning systems. In fact, A-Prolog allows to specify the initial situation, the domain model, the control knowledge, and the reasoning modules. Moreover, it is efficient enough to be used for practical tasks and can be nicely integrated with programming languages such as Java. An extension of A-Prolog (CR-Prolog) allows to further improve the quality of reasoning by specifying requirements that the solutions should satisfy if at all possible. The features of A-Prolog and CR-Prolog are demonstrated by describing in detail the design of USA-Advisor, an A-Prolog based decision support system for the Space Shuttle flight controllers.