search

w3c-cg / planning

Other
6 stars 0 forks source link

Knowledge Representation and Reasoning #12

Open AdamSobieski opened 1 year ago

AdamSobieski commented 1 year ago

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 commented 1 year ago

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 commented 1 year ago

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 commented 1 year ago

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

danielhz commented 1 year ago

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