---
title: "Domain Model Acquisition in the Presence of Static Relations in the LOP System"
authors:
  - "Peter Gregory"
  - "Stephen Cresswell"
doi: ""
url: "https://ijcai.org/proceedings/2016/622"
pdf: "https://ijcai.org/proceedings/2016/0622.pdf"
venue: "Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence"
year: 2016
pages: "4160-4163"
track: ""
keywords:
---

# Domain Model Acquisition in the Presence of Static Relations in the LOP System

Peter Gregory, Stephen Cresswell

*Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence*, pages 4160-4163.

## Abstract

We present a new domain model acquisition algorithm, LOP, that induces static predicates by using a combination of the generalised output from LOCM2 and a set of optimal plans as input to the learning system. We observe that static predicates can be seen as restrictions on the valid groundings of actions. Without the static predicates restricting possible groundings, the domains induced by LOCM2 produce plans that are typically shorter than the true optimal solutions. LOP works by finding a set of minimal static predicates for each operator that preserves the length of the optimal plan.