Model-Based Knowledge Representation and Reasoning Via Answer Set Programming

View/ Open
Author(s)
Schaub, Torsten
Griffith University Author(s)
Year published
2008
Metadata
Show full item recordAbstract
The field of knowledge representation and reasoning has been going through a methodological shift during recent years. While the past was dominated by query-oriented reasoning, model-based techniques become more and more popular nowadays. This development was primarily driven by the availability of highly efficient Boolean constraint solvers, like satisfiability and answer set solvers. The general idea is to translate an application problem into a logical specification. This specification is in turn passed to a solver, which outputs models representing solutions to the initial application problem. The talk will provide an ...
View more >The field of knowledge representation and reasoning has been going through a methodological shift during recent years. While the past was dominated by query-oriented reasoning, model-based techniques become more and more popular nowadays. This development was primarily driven by the availability of highly efficient Boolean constraint solvers, like satisfiability and answer set solvers. The general idea is to translate an application problem into a logical specification. This specification is in turn passed to a solver, which outputs models representing solutions to the initial application problem. The talk will provide an introduction to answer set programming (ASP), its proof-theoretic foundations, methodology, implementation techniques along with a glimpse of an exemplary application. Besides knowledge representation and reasoning, ASP has its roots in deductive databases, nonmonotonic reasoning, and logic programming. Applications are specified in ASP in terms of sets of logical rules. Modern ASP solvers rely on high-performance Boolean constraint solving techniques, which allow them to tackle application domains consisting of millions of variables. Meanwhile, this approach proved to be an effective tool in a range of applications, like planning, model checking, and bio-informatics.
View less >
View more >The field of knowledge representation and reasoning has been going through a methodological shift during recent years. While the past was dominated by query-oriented reasoning, model-based techniques become more and more popular nowadays. This development was primarily driven by the availability of highly efficient Boolean constraint solvers, like satisfiability and answer set solvers. The general idea is to translate an application problem into a logical specification. This specification is in turn passed to a solver, which outputs models representing solutions to the initial application problem. The talk will provide an introduction to answer set programming (ASP), its proof-theoretic foundations, methodology, implementation techniques along with a glimpse of an exemplary application. Besides knowledge representation and reasoning, ASP has its roots in deductive databases, nonmonotonic reasoning, and logic programming. Applications are specified in ASP in terms of sets of logical rules. Modern ASP solvers rely on high-performance Boolean constraint solving techniques, which allow them to tackle application domains consisting of millions of variables. Meanwhile, this approach proved to be an effective tool in a range of applications, like planning, model checking, and bio-informatics.
View less >
Conference Title
Proceedings 9th International Symposium on Functional and Logic Programming (FLOPS 2008)
Copyright Statement
© 2008 Springer Berlin/Heidelberg. This is the author-manuscript version of this paper. Reproduced in accordance with the copyright policy of the publisher.The original publication is available at www.springerlink.com