Answer Set Programming
Answer Set Programming (ASP) is a declarative logic problem solving approach based in stable model semantics. It is tailored to modeling problems in the area of knowledge representation and reasoning (KRR). Frankly, most of this is over my head. But, answer set programming seems like it is a step in the right direction. Here are some resources:
- University of Vienna
- Knowledge Representation, Reasoning, and the Design of Intelligent Agents The Answer-Set Programming Approach
- Potassco
- Answer Set Programming Tutorial
- Online demo
- Clingo
- Answer Set Programming in Practice
It seems like answer set programming is similar to description logic.
Reader Comments