1 / 10

The Open University Node

The Open University Node. Dr. Max Garagnani, Mr. Yucheng Ding (Ms. Marina Davidson) [Dr. Shailey Minocha, Ms. Liisa Dowson] Department of Computing Milton Keynes - UK. Domain Description Languages. EPSRC-funded assessment project on: Model-based (analogical) Planning

ann
Download Presentation

The Open University Node

An Image/Link below is provided (as is) to download presentation Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author. Content is provided to you AS IS for your information and personal use only. Download presentation by click this link. While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server. During download, if you can't get a presentation, the file might be deleted by the publisher.

E N D

Presentation Transcript

  1. The Open University Node Dr. Max Garagnani, Mr. Yucheng Ding (Ms. Marina Davidson) [Dr. Shailey Minocha, Ms. Liisa Dowson] Department of Computing Milton Keynes - UK

  2. Domain Description Languages • EPSRC-funded assessment project on: Model-based (analogical) Planning [Syntacticstructure of the model is isomorphic to the semantics of the problem domain ] • This formalism allows capturing more naturally and efficiently the spatial and topological structure of a significant classof domains (so called “move” domains) involving the 're-arrangement' of a set of objects over a set of locations.

  3. Office Home B B Home Home B P P C C Office Office Example: Briefcase domain • Propositional description: • relations: at(x,y), inB(z), x{H,O}, y{C,P,B},… • State = { inB(C), at(H,B), at(H,P), ...} Model-based description using arrays ofchars: B

  4. Office Home B D Briefcase C A model-based representation • Based on abstract structure: SetGraph P1 = { Home{B{}, D{}}, Office{}, Briefcase{C{}} } R1 = { (Home,Office), (B,Briefcase) }

  5. x y x y Put-in/Take-out x x Move-B A model-based representation • Action schemata (to be extended…)

  6. Preliminary Results • Briefcase domain (m-n) = m locations, n portables

  7. Preliminary Results • Gripper domain (2 rooms) (m-n) = no. balls in room A and B

  8. Preliminary Results • Miconic domain (four floors)

  9. PLANSERVE - MainContribution: • Objective 3: “We will produce a re-usable set of generic knowledge structures that capture the common dynamic behaviour of objects in groups of application domains.” • This will involve research into re-using abstract description of • types of domains to act as templates for new domains • …induction of characteristics of patternsin planning applications… • model-based repres. of ontologies (e.g., templates of common structures in planning domains) for application areas • Work to do: repres. state-change, resources, uncertainty...

  10. PLANSERVE - OtherContributions: • Objective 4: “…formulate and agree upon standards for web-based, knowledge-rich domain model languages” • Objective 2: “..develop automatedacquisition techniques for capturing… definitions of domainactions. […]…using online knowledge of applications via available ontologies…” • Objective 4:“…create and evaluate a prototype of an on-line IPSG…” •  evaluate the IPSG also from a usability perspective • Usability evaluation: heuristic evaluations, user-observations (contextual enquiry) & eye-tracking techniques

More Related