Idp Cheat Sheet

ADVERTISEMENT

IDP Cheat Sheet
Blokken:
vocabulary VocNaam {
structure StrucNaam : VocNaam {
type Type
Type = { A, B, C }
type Getal isa int
type Getal = { 1..9 }
Relatie(Arg1,Arg2)
Relatie = { A,B ; B, C }
Functie(Arg1,Arg2): Waarde
Functie = { A,B -> C; B,C -> A }
}
}
theory ThNaam: VocNaam {
query QueryNaam: Vocnaam {
{ x y : P(x,y) }
Formule1.
}
Formule2.
term TermNaam: Vocnaam {
X + Y
}
}
Logische operatoren:
Vergelijkingsoperatoren:
Operator
IDP notatie
Wiskundige notatie
Operator
IDP notatie
Wiskundige notatie
¬
=
niet
gelijk aan
=
̸ =
~=
en
&
verschillend van
|
of
kleiner dan
<
<
als, dan
=>
kleiner of gelijk aan
=<
als en slechts als
<=>
groter of gelijk aan
>=
voor alle
!
er bestaat
?
Varianten van de kwantoren:
Betekenis van afgeleide operatoren:
!x y: P(x,y) => Q(x,y).
?x y: P(x,y) & Q(x,y).
F | G
~(~F & ~G)
!(x y) in P: Q(x,y).
?(x y) in P: Q(x,y).
F => G
~F | G
!(x y) sat P(x,y): Q(x,y).
?(x y) sat P(x,y): Q(x,y).
F <=> G
~F & ~G | F & G
?x : P(x)
~(!x: ~P(x)
Inferentietaken:
Model checking
procedure main() {
print(query(QueryNaam,StrucNaam))
}
Query answering
procedure main() {
print(query(QueryNaam,StrucNaam))
}
Model expansion
procedure main() {
stdoptions.nbmodels = 0
printmodels(modelexpand(ThNaam,StrucNaam))
}
Optimisation
procedure main() {
printmodels(minimize(ThNaam, StructNaam, TermNaam))
}
1

ADVERTISEMENT

00 votes

Related Articles

Related forms

Related Categories

Parent category: Education
Go