Progress Report Phd

Ingmar Dasseville

05/06/2014

Overview

Introductie

Educatie

Doctoral School

Gedaan werk

Planning

IDP: Knowledge Base System

 vocabulary V {
	type e isa int
	Op(e,e):e
}

 theory T : V{
	//Op = intern -> functieconstraint

	//Op = associatief
	Op(Op(a,b),c) = Op(a,Op(b,c)).	//Neutraal element
	!x : Op(x,1) = x = Op(1,x).	//Invers element
	! x : ? y : Op(x,y) = 1.	//Niet commutatief
	?x y : Op(x,y) ~= Op(y,x).
}

structure S : V {
	e = {1..6}
}

Inferenties

Modelexpansie

genereer een groep

Model checking

is dit een groep?

Minimalisatie

zoek een groep die zo weinig
mogelijk generators heeft

Educatie

Modellering van complexe systemen
- Oefenzittingen
- Project (opstellen + correctie)
- Examenvragen (opstellen)
Begeleiden Thesis
- DSL voor IDP in Scala
ADS
- Startdag: 'Wat is een goede oefenzitting'

Doctoral Training

DTAI seminaries
ESSLLI 2014

The European Summer School in Logic, Language and Information
11-22 augustus
University of Tübingen

Gedaan werk (Semester 1)

Verkennen IDP

Opendeurdag
(MCS)

Klein implementatiewerk

Kardinaliteitsaggregaat -> FO(.)

Doctoraat van Broes begrijpen
IDP DSL in Haskell

(on the side: leesclubje Complexiteitstheorie)

Gedaan Werk (semester 2)

KRR-week
2 reviews
Herschrijven van de Parser
Schrijven Paper
"Experimental Evaluation of a State-Of-The-Art Grounder"
Alldifferent constraint
Top-level templates

templates

 vocabulary V {
	type e isa int
	template Groep
	G1(e,e):e
	G2(e,e):e
	morfisme(e):e
}

theory T : V {
	Groep(G1).
	Groep(G2).
	! a b : morfisme(G1(a,b)) = G2(morfisme(a),morfisme(b)).
	injective(morfisme). //Higher-Order constraint door aggregaat!
}

template Groep(Op){
	Op(Op(a,b),c) = Op(a,Op(b,c)).
	!x : Op(x,1) = x = Op(1,x).
	! x : ? y : Op(x,y) = 1.
}

Planning

Templates veralgemenen naar formuleniveau
FO(.) liften naar HO(.)

Ondersteuning van "echte" 2-de orde formules
"Orakels" als oplossingsstrategie:
```
 !x : P(x) -> ~ (?x : P(x))
```

momenteel niet mogelijk als "x"
een predicaat is

Made with Slides.com