Knowledge Representation and Reasoning

[AdamSobieski]

This issue is about knowledge representation and reasoning, logic programming, semantics, and probabilistic approaches, e.g., probabilistic semantics.

Are there any notations, languages, technologies, or best practices which the group should consider, in these regards? Any thoughts on these topics?

[danielhz]

Do you know if there is an OWL ontology for defining planning domains? A use case is to integrate general resources described in RDF with planning domains described in such an ontology. Then we should be able to translate the planning domain to a language as PDDL to use a planner on it.

In a preliminary search, I found this paper:

Marco Cioffi, Simon G. Thompson: Planning with the Semantic Web by fusing Ontologies and Planning Domain Definitions. SGAI Conf. 2006: 289-302

[AdamSobieski]

Thanks @danielhz. In these regards, I recently found:

Freitas, Artur, Daniela Schmidt, Alison Panisson, Felipe Meneguzzi, Renata Vieira, and Rafael H. Bordini. "Semantic representations of agent plans and planning problem domains." In International Workshop on Engineering Multi-Agent Systems, pp. 351-366. Springer, Cham, 2014. [pdf]

[AdamSobieski]

@danielhz, I also started a list of relevant ontologies here: https://github.com/w3c-cg/planning/wiki/Ontologies .

[danielhz]

Great! I will take a look at the ontologies list.