Geschiedenis van de informatica: Het ontstaan van logisch programmeren
|
|
- Johanna de clercq
- 8 jaren geleden
- Aantal bezoeken:
Transcriptie
1 Geschiedenis van de informatica: Het ontstaan van logisch programmeren Bram Senders november 2008 Samenvatting Dit artikel geeft een overzicht van het ontstaan van logisch programmeren, van de eerste ideeën op dit gebied tot aan het moment waarop logisch programmeren als volwaardig onderzoeksgebied werd beschouwd. Het werd geschreven als afsluiting voor het vak Geschiedenis van de informatica (2R930), aan de Technische Universiteit Eindhoven.
2
3 Inhoudsopgave 1 Introductie 2 2 De eerste beginselen Newell, Simon en Shaw: Logic Theorist John McCarthy en zijn Advice Taker Cordell Green s QA1, QA2 en QA SIR QA Afleiding door resolutie QA Van vraag-antwoord naar probleemoplossing Robert Kowalski: logica als programmeertaal 8 5 Conclusie 11 1
4 1 Introductie In het boek Logic Programming uit 1982 van Clark en Tärnlund wordt logisch programmeren als volgt gekarakteriseerd: The key premise of logic programming is that computation is controlled inference. [CT82, p. vii] En in hetzelfde boek, in een artikel van Robert Kowalski: Recent developments in automated deduction [... ] have resulted in efficient schemes for processing logic by computer. These developments in turn have lead to the increasing use of logic as a very high level programming language. [CT82, p. 3] Zowel controlled inference als automated deduction wijzen op hetzelfde idee, namelijk gegeven een stel logische feiten of stellingen, het geautomatiseerd afleiden van nieuwe stellingen en feiten. Geautomatiseerd wijst in dit geval op het afleiden met behulp van de computer; het kan dus gezegd worden dat logisch programmeren niets anders is dan om met een computer op een gecontroleerde manier nieuwe feiten af te leiden uit bestaande feiten. In dit artikel zullen we zien hoe het vakgebied van logisch programmeren ontstaan is. Het doel van dit artikel is niet om alle ontwikkelingen op dit gebied in ogenschouw te nemen daar is het veel te breed voor maar om een kijkje te nemen in de ontwikkeling van de theorie erachter. Implementaties van specifieke programmeertalen (zoals Prolog, de bekendste logische programmeertaal) worden niet behandeld; wel de principes waar deze talen op gegrond zijn. Er zijn meerdere paden geweest die tot de ontwikkeling van logisch programmeren hebben geleid; ook dit zijn er helaas te veel om allemaal te volgen, dus zijn enkele specifieke hoogtepunten in de geschiedenis uitgelicht: in sectie 2 worden twee vroege ontwikkelingen, de Logic Theorist en de Advice Taker, aangestipt; in sectie 3 worden de vraag-antwoordsystemen van Cordell Green besproken, en de resolutie-techniek die er gebruikt wordt en zeer belangrijk zou blijken te zijn voor verdere ontwikkeling van logisch programmeren. Tenslotte wordt in sectie 4 het werk van Robert Kowalski waardoor definitief het vakgebied van logisch programmeren werd gevestigd. 2 De eerste beginselen In deze sectie worden twee ontwikkelingen besproken, namelijk de Logic Theorist en het idee van de Advice Taker, die een eerste stap vormden in de richting van logisch programmeren. 2
5 2.1 Newell, Simon en Shaw: Logic Theorist Zoals al gezegd bestaat logisch programmeren voor een belangrijk deel uit het met behulp van de computer automatisch afleiden van stellingen, en het eerste computerprogramma wat automatisch bewijzen kon oplossen verdient dus de nodige aandacht. Dit programma was de Logic Theory Machine, of kortweg Logic Theorist, dat werd ontwikkeld door Alan Newell, Herbert Simon en J.C. Shaw bij RAND Corporation in 1955 en De Logic Theorist (LT) werd ontwikkeld in een speciaal voor dat doel geschreven taal, IPL (Information Processing Language). In het begin was er nog geen implementatie van die taal, dus voor de eerste bewijzen m.b.v. LT werden programma s op indexkaarten geschreven en met de hand gesimuleerd: In January 1956, we assembled my wife and three children together with some graduate students. To each member of the group, we gave one of the cards, so that each one became, in effect, a component of the computer program. [Cre92, p. 45] Later zou het programma alsnog op een computersysteem geïmplementeerd worden. LT was gebaseerd op het logische systeem uit Principia Mathematica ( ) van Whitehead en Russel; niet omdat dat op dat moment nog een actueel werk was, maar omdat Herbert Simon het toevallig in de kast had staan. Het ging hiervoor dan ook niet om het actueel zijn van het onderliggende logische systeem, maar: There was no intention of making a contribution to symbolic logic, and the system of Principia was sufficiently outmoded by that time as to be inappropriate for that purpose. For us, the important consideration was not the precise task, but its suitability for demonstrating that a computer could discover problem solutions in a complex nonnumerical domain by heuristic search that used humanoid heuristics. [Sim98, p. 68] De Logic Theorist kon dan ook stellingen bewijzen uit Principia Mathematica (PM), niet door op elke stap in een bewijs alle mogelijke afleidingsregels te overwegen (want dat zou exponentieel veel mogelijke bewijsstappen opleveren), maar door met behulp van heuristieken te bepalen welke van de afleidingsregels mogelijk toegepast zou moeten worden: The problem will be solved if we can devise a program for constructing chains of theorems, not at random, but in response to cues that make discovery of a proof probable within a reasonable computing time. For example, suppose the rules of inference were such as to permit any given proof chain to be continued, on the average, in ten different ways. Then there would be ten thousand proofs chains four steps in length (10 4 ). The expected number of proof chains that would have to be examined to find any particular proof by random search is five thousand. Suppose, however, that LT responded to 3
6 cues that permitted eight of the ten continuations at each step to be eliminated from consideration. Then the number of proof chains four steps in length that would have to be examined in full would be only sixteen (2 4 ), and the expected number would be only eight. [NS56, p. 68] De Logic Theorist heeft uiteindelijk 38 van de eerste 52 stellingen bewezen uit hoofdstuk 2 van Principia Mathematica; een van die bewijzen was zelfs eleganter dan het bewijs uit PM zelf. 2.2 John McCarthy en zijn Advice Taker De informaticus John McCarthy was een van de eersten die met het idee kwam om met behulp van de computer vraagstukken op te lossen door met predicatenlogica te werken. Hij kwam met dit voorstel in een artikel uit 1959, getiteld Programs with common sense [McC59]. In dat artikel refereert McCarthy naar de Logic Theorist: The main difference between [the Advice Taker] and other programs or proposed programs for manipulating formal languages (the Logic Theory Machine of Newell, Simon and Shaw and the Geometry Program of Gelernter) is that in the previous programs the formal system was the subject matter but the heuristics were all embodied in the program. In this program the procedures will be described as much as possible in the language itself and, in particular, the heuristics are all so described. The main advantages we expect the advice taker to have is that its behavior will be improvable merely by making statements to it, telling it about its symbolic environment and what is wanted from it. To make these statements will require little if any knowledge of the program or the previous knowledge of the advice taker. [McC59, p. 75]. McCarthy was dus de eerste die voorstelde om de procedures en heuristieken in de taal zelf te beschrijven, en niet ingebakken in het programma wat ze uitvoert. Het idee was dat de advice taker gezond verstand (common sense) zou hebben, doordat het uit zichzelf vanuit een verzameling feiten nieuwe gevolgtrekkingen zou kunnen deduceren. Wij herkennen dit nu als zijnde logisch programmeren. McCarthy s advice taker was op dat moment echter slechts een idee zonder implementatie; dergelijke systemen zouden pas later daadwerkelijk geïmplementeerd worden. Qua idee was McCarthy op dat moment zijn tijd wel vooruit. 3 Cordell Green s QA1, QA2 en QA3 Cordell Green ontwikkelde rond 1967 drie vraag-antwoordsystemen (question answering systems) in samenwerking met Bertram Raphael; QA1 (Question 4
7 Answerer 1), QA2 en QA3. Vraag-antwoordsystemen stonden aan de wieg van het ontstaan van het volledige systeem van logisch programmeren, en dus is het relevant om deze drie systemen en hun ontstaansgeschiedenis te bespreken. 3.1 SIR De oorsprong van de QA-systemen ligt bij het SIR (Semantic Information Retrieval) systeem van Bertram Raphael [Rap64], een systeem geschreven in LISP, ontwikkeld om vragen in menselijke taal begrijpen en te beantwoorden. Het probleem van het SIR-systeem was dat het een erg ad-hoc systeem was; voor elk type vraag wat er aan het systeem gesteld kon worden, was aparte logica en datastructuren ingebouwd om deze vraag op te kunnen lossen. Het was dus geen flexibel systeem, en was daarom moeilijk uit te breiden met nieuwe soorten vragen en datastructuren [GR68, p. 170]. 3.2 QA1 Om over dit probleem heen te komen, kwam Green samen met Raphael op het idee om het opslaan van logische feiten (zowel algemeen heersende feiten zoals het feit dat een subset-relatie op verzamelingen transitief is, als feiten die specifiek gaan over de data waarover vragen gesteld kunnen worden, zoals het feit dat een zekere John een jongen is) los te koppelen van het gebruiken van die feiten om nieuwe feiten te deduceren. Het afleiden van nieuwe feiten uit oude, en het beantwoorden van vragen aan het systeem, gebeurde met behulp van de modus ponens-techniek: als je hebt P Q, en je hebt P, dan heb je ook Q. Hierbij is ook substitutie mogelijk: als je hebt P (X) Q(X) voor willekeurige X, en je hebt P (foo), dan kan je foo substitueren voor X in de implicatieregel en dus met modus ponens Q(foo) afleiden. QA1 wordt verder beschreven in hun artikel uit 1968, The use of theorem-proving techniques in question-answering systems [GR68, pp ]. 3.3 Afleiding door resolutie Het principe van computergestuurd bewijzen was nu gevestigd, maar het was nog steeds erg lastig om op het juiste moment de juiste afleidingsregels toe te passen. Voordat dit efficiënter gedaan zou kunnen worden, zou er dus eerst iets moeten veranderen waardoor dit proces versimpeld zou worden. Deze verandering kwam van de hand van J.A. Robinson, die in 1965 een artikel publiceerde getiteld A machine-oriented logic based on the resolution principle [Rob65]. Hierin bracht hij naar voren dat bestaande bewijssystemen voor predicatenlogica ontwikkeld waren voor menselijk gebruik, en dat computergestuurd bewijzen beter zou gaan met een bewijssysteem wat specifiek voor dat doel was ontwikkeld. Hij stelt een systeem voor met slechts één afleidingsregel, die hij de resolutie-regel noemt. Deze regel werkt simpel gezegd als volgt: Je hebt een aantal clausules, en elke clausule is een disjunctie van literals, en elke literal is ofwel een variabele, of de negatie van een variabele. De lege clausule een clausule bestaande uit nul disjuncties is gelijk aan false. Een clausule zou 5
8 bijvoorbeeld zijn: P Q R. Elke logische formule is om te schrijven naar een verzameling clausules, door ten eerste de formule om te schrijven naar een conjunctieve normaalvorm (CNF), en daarna elke disjunctie als aparte clausule te nemen. Resolutie houdt nu het volgende in: Als je twee clausules hebt, de ene (met n literals) van de vorm a 1... a i... a n en een tweede (met m literals) van de vorm b 1... b j... b m waarbij geldt dat b j = a i, dan kan daarvan met behulp van resolutie een nieuwe clausule worden afgeleid die de disjunctie is van de twee oorspronkelijke clausules, zonder a i en b j, waardoor je krijgt: a 1... a i 1 a i+1... a n b 1... b j 1 b j+1... b m Een simpel voorbeeld: Als geldt dat P Q R, en T Q, dan kan daaruit worden afgeleid dat P R T. Net als bij modus ponens kan hierbij ook substitutie gebruikt worden, zodat uit P Q(X) R(X) en T (foo) Q(foo) kan worden afgeleid dat P R(foo) T (foo). 3.4 QA2 Green en Raphael wilden met hun nieuwe systeem QA2 laten zien dat een echte theorem prover die gebruik maakt van de resolutie-techniek gebruikt kon worden om als vraag-antwoord systeem te werken. Ze wijden het tweede deel van hun The use of theorem-proving techniques in question-answering systems - artikel aan het uitweiden over de theorie hierachter [GR68, pp ], en het beschrijven van QA2 zelf [GR68, pp ]. Hoe wordt resolutie gebruikt in QA2? Een vraag aan het systeem is in zijn algemeenheid van de vorm: Geef een X zodat P (X) waar is, waarbij P (X) een predicaat is met X erin. Het vinden van een dergelijke X gaat via een bewijs uit het ongerijmde (reductio ad absurdum): We stellen P (X), en converteren deze stelling naar conjunctieve normaalvorm; de clausules die dit oplevert noemen we de set-of-support. Als het nu mogelijk is met alleen deze set-of-support door middel van resolutie de lege clausule (false) te bereiken, is P (X) onwaar, en geldt dus P (X). Als er op deze manier geen bewijs wordt gevonden, worden er aanvullende clausules geladen met feiten die al bekend zijn bij QA2, waarmee het mogelijk is resolutie toe te passen op de nieuwe clausules en die in de set-ofsupport. Als ook met deze nieuwe clausules nog geen bewijs wordt gevonden, worden er opnieuw nieuwe clausules geladen, net zolang tot het bewijs gevonden wordt; er worden heuristieken gebruikt om te bepalen welke clausules te laden, op welke manier er resolutie wordt toegepast, en hoe langer moet worden doorgegaan om te proberen een bewijs te vinden. [GR68, p. 176] Als er eenmaal een bewijs gevonden is voor P (X) (i.e., beginnend bij P (X) is de lege clausule afgeleid), dan is er ofwel door substitutie een specifieke waarde 6
9 voor X bereikt, in welk geval P (X) geldt voor de gevonden X; als X niet gesubstitueerd is, dan geldt P (X) voor alle X. Deze manier van werken was op dat moment vrij nieuw: The organization of QA2 represents a novel departure from previous comparable systems. In most systems (including SIR and QA1) memory organization and data-retrieval procedures were established first, and then logical deduction procedures were tacked on almost as an afterthought. For QA2 we first decided to use the most powerful logical tools available, and then structured the memory and the retrieval procedures for the convenience of the theorem prover. [GR68, p. 180] 3.5 Van vraag-antwoord naar probleemoplossing In de conclusie van het laatstgenoemde artikel realiseerde Green zich al dat een vraag-antwoordsysteem niet alleen gebruikt kon worden voor het beantwoorden van vragen, maar ook voor vraagstukken van een meer algemene probleemoplossende aard: Finally, a major goal for our current work is to apply QA2 to problem solving, in addition to question answering, tasks. If permissable actions are suitably axiomatized, then the steps in a proof of the assertion that a problem s goal is achievable can be used to indicate the sequence of actions that must be taken to achieve it. We have hand-simulated solutions to such diverse problems as writing a computer program and reaching the bananas, 1 with encouraging preliminary results. [GR68, p. 180] Green kwam dan ook een jaar later, in 1969, met een artikel getiteld Application of theorem proving to problem solving [Gre69], waarin hij aangeeft dat vraag-antwoordsystemen (zoals zijn QA2 en diens opvolger, QA3) niet alleen antwoorden kunnen geven op vragen, maar dat door een bepaalde toestandsruimte op te bouwen terwijl er een antwoord wordt afgeleid, het ook mogelijk is om algemenere problemen op te lossen. Het opbouwen van een toestandsruimte gaat als volgt in zijn werk: Zeg bijvoorbeeld dat object 1 op positie b is in toestand s 1, dan geldt het predicaat AT (object 1, b, s 1 ). Wil men nu weten waar object 1 is in toestand s 1, dan vraagt men het systeem om AT (object 1, X, s 1 ) op te lossen, wat resulteert in X = b. Stel dat de toestand veranderd kan worden door object 1 van plek b naar plek c te duwen, dan kan dat met een volgend axioma: AT (object 1, b, s) AT (object 1, c, push(object 1, b, c, s)). Er wordt dus steeds een toestandsvariabele 1 Dit duidt op het klassieke aap en bananen -probleem, bedacht door John McCarthy, waarbij een aap in een ruimte een kist moet verschuiven en erop klimmen om bij een tros bananen te komen; binnen de kunstmatige intelligentie, logisch programmeren en geautomatiseerde planning software is dit een simpel speelgoedprobleem wat geïmplementeerd kan worden in verschillende logische systemen, om te vergelijken hoe die systemen met dergelijke problemen omgaan. 7
10 s meegesleept die door geneste acties aangeeft hoe het systeem in die toestand terecht is gekomen [Gre69, p. 2]. Het op deze manier genereren van een toestandsruimte maakt het voor Green mogelijk om het eerder genoemde aap-bananen-probleem [Gre69, pp. 6 7] en het torens van Hanoi-probleem [Gre69, pp. 7 10] op te lossen. Ook heeft hij deze techniek gebruikt om een echte robot rond te laten manouvreren en objecten te manipuleren [Gre69, pp ]. Maar voor het logisch programmeren was de belangrijkste stap toch wel degene die Green automatisch programmeren noemt: het oplossen van programmeerproblemen door middel van zijn vraagantwoordsystemen. Hij onderscheidt hierin vier verschillende modi: checking (het controleren of een gegeven antwoord van een programma juist is), simulation (het simuleren van het uitvoeren van een programma, door gegeven een input, de output te bewijzen ), verifying (verifiëren of een programma correct is door te bewijzen dat voor elke input er de juiste output uitkomt) en program writing (gegeven een probleemstelling, het genereren van een programma wat dat probleem oplost) [Gre69, p. 13]. De cruciale modus is het simuleren: wat houdt dit precies in? Gegeven een programma P, met een invoer I, en een uitvoer O, dan kan de relatie tussen invoer en uitvoer omschreven worden met het predicaat P (I, O), en dit predicaat kan omschreven worden in logische termen zoals beschikbaar in QA2 en QA3. Maar dan is het simuleren van zo n programma niets anders dan het bewijzen van P (I, O) voor gegeven I en onbekende O, want het systeem bewijst dan P (I, O) door een O te vinden waardoor het predicaat waargemaakt wordt. En dit is precies wat logisch programmeren inhoudt. Zoals Green het zegt: The theorem prover may be considered an interpreter for a highlevel assertional or declarative language logic. [Gre69, p. 18] Hij zet interpreter nog tussen aanhalingstekens, omdat het systeem dusdanig traag was dat het meer als een simulatie van het uitvoeren van een programma gezien werd dan een daadwerkelijke interpretatie: He was forced to view the computational use as a simulation because the theorem prover was not specialised for this use, nor was it implemented with efficiency in mind. [CT82, p. xiii] Maar niet lang erna zouden er optimalisaties gevonden worden waardoor deze manier van programmeren daadwerkelijk werkbaar werd voor echte programmeerproblemen. 4 Robert Kowalski: logica als programmeertaal Na het werk van Green waren er nog enkele technieken nodig om tot logisch programmeren als volwaardige en efficiënte programmeeromgeving te komen. Deze technieken zijn kort en krachtig omschreven in een artikel van Robert Kowalski, getiteld Predicate logic as programming language [Kow74]. 8
11 Kowalski stelt daarin een manier van logisch programmeren voor die veel meer lijkt op het traditioneel procedureel programmeren zoals men toen gewend was, en hij doet dit door middel van Horn-clausules en SLD-resolutie. Horn-clausules zijn genoemd naar Alfred Horn, en zijn artikel uit 1951, On sentences which are true of direct unions of algebras [Hor51]. Een Horn-clausule is een clausule (een disjunctie van literals dus) met maximaal één positieve literal. SLD-resolutie is een verfijning van SL-resolutie van Kowalski en Kuehner [KK71] (die weer gebaseerd is op de resolutie-techniek van Robinson), voor het eerst beschreven in Predicate logic as programming language [Kow74] 2, en komt er op neer dat clausules worden gezien als procedure-declaraties, en het bewijzen van clausules als het aanroepen van procedures. De semantiek van Horn-clausules voor logisch programmeren wordt door Kowalski als volgt beschreven [Kow74, pp ]: Ongeacht het aantal positieve of negatieve literals, is een clausule B 1... B m A 1... A n met dus m positieve en n negatieve literals, altijd om te schrijven door de negaties buiten haakjes te halen en een implicatie toe te passen naar de vorm B 1... B m A 1... A n ofwel B 1... B m geldt als A 1 t/m A n geldt. We zullen dit schrijven als: B 1,..., B m A 1,..., A n Voor Horn-clausules (met dus m 1) heeft dit de volgende betekenis: Als m = 1 en n > 0, is de clausule van de vorm B A 1,..., A n. Dit kan geïnterpreteerd worden als een procedure-declaratie; B is de naam van de procedure, en de A i -literals zijn de body van de procedure, en bestaan uit aanroepen naar andere procedures. Als m = 1 en n = 0, hebben we een clausule B, en dit staat gelijk aan het stellen van een feit B; ofwel B is een procedure met een leeg body. Als m = 0 en n > 0 hebben we A 1,..., A n ; dit is een doel-statement, en het doel van het statement is om alle procedures A 1 t/m A n succesvol uit te voeren. Voor m = 0 en n = 0 levert het de lege clausule op, een halt-statement, wat wordt geschreven als. Het uitvoeren van SLD-resolutie op clausules van deze vorm gaat nu als volgt: Gegeven een doel-statement A 1,..., A i 1, A i, A i+1,... A n 2 In dit artikel wordt SLD-resolutie nog niet bij die naam genoemd; dit gebeurt pas in een later artikel van Apt en Van Emden [AvE82] 9
12 en gegeven een procedure B B 1,..., B m (dit kan ook een procedure met een leeg body zijn) waarbij de naam B overeenkomt met A i er is een substitutie Θ mogelijk waardoor A i en B gelijkgemaakt kunnen worden dan levert dit een nieuw doel-statement op: (A 1,..., A i 1, B 1,..., B m, A i+1,..., A n )Θ Deze vorm van resolutie is in principe hetzelfde als standaard -resolutie zoals gedefinieerd door Robinson, behalve dat de restricties aan clausules (namelijk Horn-clausules) en de vorm van toepassen (op een doel-statement en een procedure) er voor zorgen dat er veel minder vrijheid is bij het kiezen van clausules om resolutie op toe te passen. Dit gebrek aan vrijheid zorgt ervoor dat SLDresolutie op een veel gestructureerdere manier toegepast kan worden, namelijk als volgt [Kow74, pp ]: 1. Begin met een verzameling procedure-declaraties en één doel-statement. 2. Kies een van de procedure-clausules uit om resolutie op uit te voeren, en pas resolutie op toe op het doel-statement en die clausule. Als er geen procedure-clausules zijn waaruit te kiezen valt (doordat ze niet matchen met het doel-statement), dan is de afleiding onsuccesvol. Als er uit verschillende resolutie-stappen kan worden gekozen, kies er dan een uit (eventueel volgens heuristieken); als later blijkt dat deze keuze eindigt in een onsuccesvolle afleiding, kan er terug worden gegaan naar dit punt (backtracking), en een andere resolutie-stap worden geprobeerd. 3. Als het nieuwe doel-statement nu het halt-statement is, is de afleiding succesvol, en de substituties die zijn uitgevoerd geven aan hoe het oorspronkelijke doel-statement kan worden ingevuld (als er vrije variabelen in voorkwamen). Als het nieuwe doel-statement niet het halt-statement is, ga dan opnieuw door met stap 2. Deze manier van werken wordt backward reasoning genoemd; je begint met het doel wat bereikt moet worden, en vervangt bij iedere stap een deel van dat doel door datgene waardoor het doel bereikt kan worden, totdat alle onderdelen van het doel bereikt zijn; de substituties die ondertussen zijn uitgevoerd geven aan hoe het doel waargemaakt is (zoals ook bij resolutie in QA2, beschreven in sectie 3.4). Dit is ook het principe waarop Prolog 2 jaar eerder gecreëerd door Colmerauer et. al. in Marseille gebaseerd is: When applied to the Horn clause subset of predicate logic, SLresolution behaved very like a conventional program executor. The difference was that it was non-deterministic, and the process of unification did the work of parameter passing, and of data structure access and construction. Finally, by fixing on a backtracking search strategy, Colmerauer s research group at Marseilles produced an extremely efficient implementation of SL-resolution for the Horn clause subset of predicate logic. This was in The theorem prover/program executor was called PROLOG. [CT82, p. xiv] 10
13 5 Conclusie Sinds het artikel Predicate logic as programming language van Kowalski uit 1974 is logisch programmeren op de kaart gezet als zijnde een volwaardig onderzoeksgebied. Dit was met name te danken aan dat artikel: Kowalski s paper [... ] marked the beginning of logic programming as a separate research area. That paper has inspired many people to explore the consequences of viewing computation as inference. [CT82, p. xiv] Sindsdien is er natuurlijk nog veel meer gebeurd, logisch programmeren heeft zich verder voortgezet, er zijn allerlei verdere ontwikkelingen aan en varianten op Prolog gekomen; maar het basis-idee, het oplossen van logische problemen door met behulp van een theorem prover nieuwe stellingen en feiten af te leiden uit oude, is nooit veranderd. In het boek Logic Programming [CT82] wordt een overzicht geboden van toepassingen van logisch programmeren, alsmede andere ontwikkelingen sinds het ontstaan van het vakgebied. Gezien dat het een boek uit 1982 is, is het alweer enigszins gedateerd, maar het biedt toch een mooi begin voor diegenen die meer willen weten over de theorie en praktijk achter logisch programmeren. 11
14 Referenties [AvE82] Krzysztof R. Apt and M. H. van Emden. Contributions to the theory of logic programming. J. ACM, 29: , [Cre92] [CT82] [GR68] [Gre69] [Hor51] [KK71] Daniel Crevier. AI: the tumultuous history of the search for artificial intelligence. Basic Books, New York NY, K. L. Clark and S. A. Tärnlund. Logic Programming. Academic Press, Inc. Orlando, FL, USA, C. Cordell Green and Bertram Raphael. The use of theorem-proving techniques in question-answering systems. In Proceedings of the rd ACM national conference, pages ACM, C. Green. Application of theorem proving to problem solving. Proceedings of the International Joint Conference on Artificial Intelligence, pages , A. Horn. On sentences which are true of direct unions of algebras. The Journal of Symbolic Logic, 16:14 21, R. A. Kowalski and D. Kuehner. Linear resolution with selection function. Artificial Intelligence, 2: , [Kow74] R. A. Kowalski. Predicate logic as programming language. In Information Processing 74, Proc. IFIP Congr. 74, pages , Stockholm, [McC59] J. McCarthy. Programs with common sense. Proceedings of the Teddington Conference on the Mechanization of Thought Processes, pages 75 91, [NS56] A. Newell and H. Simon. The Logic Theory Machine a complex information processing system. Information Theory, IEEE Transactions on, 2:61 79, [Rap64] B. Raphael. SIR: A Computer Program for Semantic Information Retrieval. PhD thesis, Massachusetts Institute of Technology, [Rob65] J. A. Robinson. A machine-oriented logic based on the resolution principle. J. ACM, 12:23 41, [Sim98] Herbert A. Simon. Allen Newell: Annals of the History of Computing, IEEE, 20:63 76,
Four-card problem. Input
Four-card problem The four-card problem (also known as the Wason selection task) is a logic puzzle devised by Peter Cathcart Wason in 1966. It is one of the most famous tasks in the study of deductive
Nadere informatieSAMPLE 11 = + 11 = + + Exploring Combinations of Ten + + = = + + = + = = + = = 11. Step Up. Step Ahead
7.1 Exploring Combinations of Ten Look at these cubes. 2. Color some of the cubes to make three parts. Then write a matching sentence. 10 What addition sentence matches the picture? How else could you
Nadere informatieIntroductie in flowcharts
Introductie in flowcharts Flow Charts Een flow chart kan gebruikt worden om: Processen definieren en analyseren. Een beeld vormen van een proces voor analyse, discussie of communicatie. Het definieren,
Nadere informatieFOR DUTCH STUDENTS! ENGLISH VERSION NEXT PAGE. Toets Inleiding Kansrekening 1 8 februari 2010
FOR DUTCH STUDENTS! ENGLISH VERSION NEXT PAGE Toets Inleiding Kansrekening 1 8 februari 2010 Voeg aan het antwoord van een opgave altijd het bewijs, de berekening of de argumentatie toe. Als je een onderdeel
Nadere informatieLuister alsjeblieft naar een opname als je de vragen beantwoordt of speel de stukken zelf!
Martijn Hooning COLLEGE ANALYSE OPDRACHT 1 9 september 2009 Hierbij een paar vragen over twee stukken die we deze week en vorige week hebben besproken: Mondnacht van Schumann, en het eerste deel van het
Nadere informatieAdd the standing fingers to get the tens and multiply the closed fingers to get the units.
Digit work Here's a useful system of finger reckoning from the Middle Ages. To multiply $6 \times 9$, hold up one finger to represent the difference between the five fingers on that hand and the first
Nadere informatieFOR DUTCH STUDENTS! ENGLISH VERSION NEXT PAGE
FOR DUTCH STUDENTS! ENGLISH VERSION NEXT PAGE Tentamen Bewijzen en Technieken 1 7 januari 211, duur 3 uur. Voeg aan het antwoord van een opgave altijd het bewijs, de berekening of de argumentatie toe.
Nadere informatieGeneral info on using shopping carts with Ingenico epayments
Inhoudsopgave 1. Disclaimer 2. What is a PSPID? 3. What is an API user? How is it different from other users? 4. What is an operation code? And should I choose "Authorisation" or "Sale"? 5. What is an
Nadere informatieTravel Survey Questionnaires
Travel Survey Questionnaires Prot of Rotterdam and TU Delft, 16 June, 2009 Introduction To improve the accessibility to the Rotterdam Port and the efficiency of the public transport systems at the Rotterdam
Nadere informatieLONDEN MET 21 GEVARIEERDE STADSWANDELINGEN 480 PAGINAS WAARDEVOLE INFORMATIE RUIM 300 FOTOS KAARTEN EN PLATTEGRONDEN
LONDEN MET 21 GEVARIEERDE STADSWANDELINGEN 480 PAGINAS WAARDEVOLE INFORMATIE RUIM 300 FOTOS KAARTEN EN PLATTEGRONDEN LM2GS4PWIR3FKEP-58-WWET11-PDF File Size 6,444 KB 117 Pages 27 Aug, 2016 TABLE OF CONTENT
Nadere informatieData Handling Ron van Lammeren - Wageningen UR
Data Handling 1 2010-2011 Ron van Lammeren - Wageningen UR Can I answer my scientific questions? Geo-data cycle Data handling / introduction classes of data handling data action models (ISAC) Queries (data
Nadere informatieCambridge Assessment International Education Cambridge International General Certificate of Secondary Education. Published
Cambridge Assessment International Education Cambridge International General Certificate of Secondary Education DUTCH 055/02 Paper 2 Reading MARK SCHEME Maximum Mark: 45 Published This mark scheme is published
Nadere informatieKeuzetwijfels in de Emerging Adulthood rondom Studie- en Partnerkeuze. in Relatie tot Depressie
1 Keuzetwijfels in de Keuzetwijfels in de Emerging Adulthood rondom Studie- en Partnerkeuze in Relatie tot Depressie Open Universiteit Nederland Masterscriptie (S58337) Naam: Ilse Meijer Datum: juli 2011
Nadere informatieCambridge International Examinations Cambridge International General Certificate of Secondary Education
*3745107457* Cambridge International Examinations Cambridge International General Certificate of Secondary Education DUTCH 0515/03 Paper 3 Speaking Role Play Card One 1 March 30 April 2015 Approx. 15 minutes
Nadere informatieAlle opgaven tellen even zwaar, 10 punten per opgave.
WAT IS WISKUNDE (English version on the other side) Maandag 5 november 2012, 13.30 1.30 uur Gebruik voor iedere opgave een apart vel. Schrijf je naam en studentnummer op elk vel. Alle opgaven tellen even
Nadere informatieNever trust a bunny. D. J. Bernstein University of Illinois at Chicago. Tanja Lange Technische Universiteit Eindhoven
Never trust a bunny D. J. Bernstein University of Illinois at Chicago Tanja Lange Technische Universiteit Eindhoven The HB(n; ; 0 ) protocol (2001 Hopper Blum) Secret s 2 F n 2. Reader sends random C 2
Nadere informatieL.Net s88sd16-n aansluitingen en programmering.
De L.Net s88sd16-n wordt via één van de L.Net aansluitingen aangesloten op de LocoNet aansluiting van de centrale, bij een Intellibox of Twin-Center is dat de LocoNet-T aansluiting. L.Net s88sd16-n aansluitingen
Nadere informatie(1) De hoofdfunctie van ons gezelschap is het aanbieden van onderwijs. (2) Ons gezelschap is er om kunsteducatie te verbeteren
(1) De hoofdfunctie van ons gezelschap is het aanbieden van onderwijs (2) Ons gezelschap is er om kunsteducatie te verbeteren (3) Ons gezelschap helpt gemeenschappen te vormen en te binden (4) De producties
Nadere informatieL.Net s88sd16-n aansluitingen en programmering.
De L.Net s88sd16-n wordt via één van de L.Net aansluitingen aangesloten op de LocoNet aansluiting van de centrale, bij een Intellibox of Twin-Center is dat de LocoNet-T aansluiting. L.Net s88sd16-n aansluitingen
Nadere informatieUNIVERSITY OF CAMBRIDGE INTERNATIONAL EXAMINATIONS International General Certificate of Secondary Education
UNIVERSITY OF CAMBRIDGE INTERNATIONAL EXAMINATIONS International General Certificate of Secondary Education *7261263430* DUTCH 0515/03 Paper 3 Speaking Role Play Card One 1 March 30 April 2011 No Additional
Nadere informatieCambridge International Examinations Cambridge International General Certificate of Secondary Education
Cambridge International Examinations Cambridge International General Certificate of Secondary Education DUTCH 0515/03 Paper 3 Speaking Role Play Card One For Examination from 2015 SPECIMEN ROLE PLAY Approx.
Nadere informatieRisico s van Technologisch Succes in digitale transformatie S T R A T E G I C A D V I S O R
Risico s van Technologisch Succes in digitale transformatie 2e Risk Event 2019 11 april 2019 The S T R A T E G I C A D V I S O R Ymanagement school of the autonomous University of Antwerp 2 Prof. dr. Hans
Nadere informatieFOR DUTCH STUDENTS! ENGLISH VERSION NEXT PAGE
FOR DUTCH STUDENTS! ENGLISH VERSION NEXT PAGE Tentamen Analyse 6 januari 203, duur 3 uur. Voeg aan het antwoord van een opgave altijd het bewijs, de berekening of de argumentatie toe. Als je een onderdeel
Nadere informatieCOGNITIEVE DISSONANTIE EN ROKERS COGNITIVE DISSONANCE AND SMOKERS
COGNITIEVE DISSONANTIE EN ROKERS Gezondheidsgedrag als compensatie voor de schadelijke gevolgen van roken COGNITIVE DISSONANCE AND SMOKERS Health behaviour as compensation for the harmful effects of smoking
Nadere informatieS e v e n P h o t o s f o r O A S E. K r i j n d e K o n i n g
S e v e n P h o t o s f o r O A S E K r i j n d e K o n i n g Even with the most fundamental of truths, we can have big questions. And especially truths that at first sight are concrete, tangible and proven
Nadere informatieCambridge International Examinations Cambridge International General Certificate of Secondary Education
Cambridge International Examinations Cambridge International General Certificate of Secondary Education *4667995398* DUTCH 0515/04 Paper 4 Writing May/June 2016 1 hour Candidates answer on the Question
Nadere informatieNMOZTMKUDLVDKECVLKBVESBKHWIDKPDF-WWUS Page File Size 9,952 KB 29 May, 2016
NAVIJVEN MINILAMPJES OM ZELF TE MAKEN KERSTFIGUREN UIT DE LAPPENMAND VOOR DE KINDERSSALOON EN COWBOYS VAN LOLLYSTOKJES KAMERBREED BOEKENREK VOOR EEN SMAL BUDGETGEBAKKEN KOEKFIGUURTJES HANGEN WE IN DE KERSTBOOM
Nadere informatieCambridge International Examinations Cambridge International General Certificate of Secondary Education
Cambridge International Examinations Cambridge International General Certificate of Secondary Education DUTCH 0515/04 Paper 4 Writing For Examination from 2015 SPECIMEN PAPER Candidates answer on the Question
Nadere informatieAim of this presentation. Give inside information about our commercial comparison website and our role in the Dutch and Spanish energy market
Aim of this presentation Give inside information about our commercial comparison website and our role in the Dutch and Spanish energy market Energieleveranciers.nl (Energysuppliers.nl) Founded in 2004
Nadere informatieWaarmaken van Leibniz s droom
Waarmaken van Leibniz s droom Artificiële intelligentie Communicatie & internet Operating system Economie Computatietheorie & Software Efficiënt productieproces Hardware architectuur Electronica: relais
Nadere informatieTECHNISCHE UNIVERSITEIT EINDHOVEN Faculteit Wiskunde en Informatica. Examination 2DL04 Friday 16 november 2007, hours.
TECHNISCHE UNIVERSITEIT EINDHOVEN Faculteit Wiskunde en Informatica Examination 2DL04 Friday 16 november 2007, 14.00-17.00 hours. De uitwerkingen van de opgaven dienen duidelijk geformuleerd en overzichtelijk
Nadere informatieUNIVERSITY OF CAMBRIDGE INTERNATIONAL EXAMINATIONS International General Certificate of Secondary Education
UNIVERSITY OF CAMBRIDGE INTERNATIONAL EXAMINATIONS International General Certificate of Secondary Education *0535502859* DUTCH 0515/03 Paper 3 Speaking Role Play Card One 1 March 30 April 2010 No Additional
Nadere informatieVerschillen in het Gebruik van Geheugenstrategieën en Leerstijlen. Differences in the Use of Memory Strategies and Learning Styles
Verschillen in het Gebruik van Geheugenstrategieën en Leerstijlen tussen Leeftijdsgroepen Differences in the Use of Memory Strategies and Learning Styles between Age Groups Rik Hazeu Eerste begeleider:
Nadere informatieDavide's Crown Caps Forum
pagina 1 van 6 Davide's Crown Caps Forum A Forum for Crown Cap Collectors Zoeken Uitgebreid zoeken Zoeken Forumindex Crown Caps Unknown Caps Lettergrootte veranderen vriend Afdrukweergave Gebruikerspaneel
Nadere informatieGroup work to study a new subject.
CONTEXT SUBJECT AGE LEVEL AND COUNTRY FEATURE OF GROUP STUDENTS NUMBER MATERIALS AND TOOLS KIND OF GAME DURATION Order of operations 12 13 years 1 ste year of secundary school (technical class) Belgium
Nadere informatiei(i + 1) = xy + y = x + 1, y(1) = 2.
Kenmerk : Leibniz/toetsen/Re-Exam-Math A + B-45 Course : Mathematics A + B (Leibniz) Date : November 7, 204 Time : 45 645 hrs Motivate all your answers The use of electronic devices is not allowed [4 pt]
Nadere informatieEsther Lee-Varisco Matt Zhang
Esther Lee-Varisco Matt Zhang Want to build a wine cellar Surface temperature varies daily, seasonally, and geologically Need reasonable depth to build the cellar for lessened temperature variations Building
Nadere informatieCover Page. The handle holds various files of this Leiden University dissertation
Cover Page The handle http://hdl.handle.net/1887/22618 holds various files of this Leiden University dissertation Author: Schans, Martin van der Title: Blowup in the complex Ginzburg-Landau equation Issue
Nadere informatieCambridge International Examinations Cambridge International General Certificate of Secondary Education. Paper 4 Writing May/June hour
*9572620256* Cambridge International Examinations Cambridge International General Certificate of Secondary Education DUTCH 0515/04 Paper 4 Writing May/June 2015 1 hour Candidates answer on the Question
Nadere informatiePuzzle. Fais ft. Afrojack Niveau 3a Song 6 Lesson A Worksheet. a Lees de omschrijvingen. Zet de Engelse woorden in de puzzel.
Puzzle a Lees de omschrijvingen. Zet de Engelse woorden in de puzzel. een beloning voor de winnaar iemand die piano speelt een uitvoering 4 wat je wil gaan doen; voornemens 5 niet dezelfde 6 deze heb je
Nadere informatieSettings for the C100BRS4 MAC Address Spoofing with cable Internet.
Settings for the C100BRS4 MAC Address Spoofing with cable Internet. General: Please use the latest firmware for the router. The firmware is available on http://www.conceptronic.net! Use Firmware version
Nadere informatieInteraction Design for the Semantic Web
Interaction Design for the Semantic Web Lynda Hardman http://www.cwi.nl/~lynda/courses/usi08/ CWI, Semantic Media Interfaces Presentation of Google results: text 2 1 Presentation of Google results: image
Nadere informatiez x 1 x 2 x 3 x 4 s 1 s 2 s 3 rij rij rij rij
ENGLISH VERSION SEE PAGE 3 Tentamen Lineaire Optimalisering, 0 januari 0, tijdsduur 3 uur. Het gebruik van een eenvoudige rekenmachine is toegestaan. Geef bij elk antwoord een duidelijke toelichting. Als
Nadere informatiePesten onder Leerlingen met Autisme Spectrum Stoornissen op de Middelbare School: de Participantrollen en het Verband met de Theory of Mind.
Pesten onder Leerlingen met Autisme Spectrum Stoornissen op de Middelbare School: de Participantrollen en het Verband met de Theory of Mind. Bullying among Students with Autism Spectrum Disorders in Secondary
Nadere informatieEngels op Niveau A2 Workshops Woordkennis 1
A2 Workshops Woordkennis 1 A2 Workshops Woordkennis 1 A2 Woordkennis 1 Bestuderen Hoe leer je 2000 woorden? Als je een nieuwe taal wilt spreken en schrijven, heb je vooral veel nieuwe woorden nodig. Je
Nadere informatieSummary 124
Summary Summary 124 Summary Summary Corporate social responsibility and current legislation encourage the employment of people with disabilities in inclusive organizations. However, people with disabilities
Nadere informatiePERSONAL DIVERSITY BOB MAN DERS
PERSONAL DIVERSITY BOB MAN DERS BOB MANDERS ARCHITECTURE PREFACE We all know the clichés, travel broadens the mind and it s not about the destination, it s about the journey but they re clichés, of course,
Nadere informatieUNIVERSITY OF CAMBRIDGE INTERNATIONAL EXAMINATIONS International General Certificate of Secondary Education
*2942209982* UNIVERSITY OF CAMBRIDGE INTERNATIONAL EXAMINATIONS International General Certificate of Secondary Education DUTCH 0515/03 Paper 3 Speaking Role Play Card One 1 March 30 April 2012 15 minutes
Nadere informatieIt s all about the money Group work
It s all about the money Group work Tijdsduur: 45 minuten Kernwoorden: money (geld) coin (munt), banknote (bankbiljet), currency (munteenheid) Herhalings-/uitbreidingswoorden: debate (debat), proposal
Nadere informatieFOR DUTCH STUDENTS! ENGLISH VERSION NEXT PAGE. Toets Inleiding Kansrekening 1 22 februari 2013
FOR DUTCH STUDENTS! ENGLISH VERSION NEXT PAGE Toets Inleiding Kansrekening 1 22 februari 2013 Voeg aan het antwoord van een opgave altijd het bewijs, de berekening of de argumentatie toe. Als je een onderdeel
Nadere informatieALGORITMIEK: answers exercise class 7
Problem 1. See slides 2 4 of lecture 8. Problem 2. See slides 4 6 of lecture 8. ALGORITMIEK: answers exercise class 7 Problem 5. a. Als we twee negatieve (< 0) getallen bij elkaar optellen is het antwoord
Nadere informatieZakelijke correspondentie Brief
- Adressering Mr. J. Rhodes Rhodes & Rhodes Corp. 212 Silverback Drive California Springs CA 92926 Mr. J. Rhodes Rhodes & Rhodes Corp. 212 Silverback Drive California Springs CA 92926 Amerikaanse adressering:
Nadere informatieFOR DUTCH STUDENTS! ENGLISH VERSION NEXT PAGE
FOR DUTCH STUDENTS! ENGLISH VERSION NEXT PAGE Tentamen Analyse 8 december 203, duur 3 uur. Voeg aan het antwoord van een opgave altijd het bewijs, de berekening of de argumentatie toe. Als jeeen onderdeel
Nadere informatieOntpopping. ORGACOM Thuis in het Museum
Ontpopping Veel deelnemende bezoekers zijn dit jaar nog maar één keer in het Van Abbemuseum geweest. De vragenlijst van deze mensen hangt Orgacom in een honingraatpatroon. Bezoekers die vaker komen worden
Nadere informatieContextanalyse. Patrick v/d Vlist
Contextanalyse Patrick v/d Vlist Contextanalyse Patrick v/d Vlist Krimpen ad IJsel 10-01-2016 Verdoold Installatiebedrijf Voorwoord Ik heb dit rapport geschreven naar aanleiding van een communicatieopdracht
Nadere informatieCambridge International Examinations Cambridge International General Certificate of Secondary Education
Cambridge International Examinations Cambridge International General Certificate of Secondary Education *8258262135* DUTCH 0515/04 Paper 4 Writing May/June 2017 1 hour Candidates answer on the Question
Nadere informatieHomework assignment 7 (Intensionality)
Homework assignment 7 (Intensionality) Semantiek 2013 Solutions Opgave 1 Bekijk de volgende zinnen: A. Lewis Carroll is Charles Dodgson, en Tina ontmoette Charles Dodgson. B. Lewis Carroll is Charles Dodgson,
Nadere informatieBijlage 2: Informatie met betrekking tot goede praktijkvoorbeelden in Londen, het Verenigd Koninkrijk en Queensland
Bijlage 2: Informatie met betrekking tot goede praktijkvoorbeelden in Londen, het Verenigd Koninkrijk en Queensland 1. Londen In Londen kunnen gebruikers van een scootmobiel contact opnemen met een dienst
Nadere informatieMyDHL+ Van Non-Corporate naar Corporate
MyDHL+ Van Non-Corporate naar Corporate Van Non-Corporate naar Corporate In MyDHL+ is het mogelijk om meerdere gebruikers aan uw set-up toe te voegen. Wanneer er bijvoorbeeld meerdere collega s van dezelfde
Nadere informatieHet Verband Tussen Negatieve Levensgebeurtenissen, 5-HTTLPR en Reactieve. Agressie. Pien S. Martens. Open Universiteit Heerlen
REACTIEVE AGRESSIE Het Verband Tussen Negatieve Levensgebeurtenissen, 5-HTTLPR en Reactieve Agressie Pien S. Martens Open Universiteit Heerlen Naam student: Pien Sophie Martens Studentnummer: 850945172
Nadere informatieHonours projecten BSc Informatica: twee voorstellen
Honours projecten BSc Informatica: twee voorstellen mogelijk ook geschikt voor BSc Kunstmatige Intelligentie Alban Ponse section Theory of Computer Science Informatics Institute, University of Amsterdam
Nadere informatieANGSTSTOORNISSEN EN HYPOCHONDRIE: DIAGNOSTIEK EN BEHANDELING (DUTCH EDITION) FROM BOHN STAFLEU VAN LOGHUM
Read Online and Download Ebook ANGSTSTOORNISSEN EN HYPOCHONDRIE: DIAGNOSTIEK EN BEHANDELING (DUTCH EDITION) FROM BOHN STAFLEU VAN LOGHUM DOWNLOAD EBOOK : ANGSTSTOORNISSEN EN HYPOCHONDRIE: DIAGNOSTIEK STAFLEU
Nadere informatieArtificiële intelligentie 1 ( ) Voorbeelden van examenvragen
Artificiële intelligentie 1 (2002-2003) Voorbeelden van examenvragen Tony Belpaeme, Bart de Boer, Bart De Vylder, Bart Jansen Vraag 1. Wat zal het effect zijn van een convolutiekernel a. Contrast wordt
Nadere informatieInternational Leiden Leadership Programme
International Leiden Leadership Programme Information Evening 1 November 2016 Universiteit Leiden.. LLP Programme team Menno Mennes Lucille Brakefield Janna van Helden Ratna Lachmansingh Programme Bij
Nadere informatie8+ 60 MIN Alleen te spelen in combinatie met het RIFUGIO basisspel. Only to be played in combination with the RIFUGIO basicgame.
8+ 60 MIN. 2-5 Alleen te spelen in combinatie met het RIFUGIO basisspel. Only to be played in combination with the RIFUGIO basicgame. HELICOPTER SPEL VOORBEREIDING: Doe alles precies hetzelfde als bij
Nadere informatieThe first line of the input contains an integer $t \in \mathbb{n}$. This is followed by $t$ lines of text. This text consists of:
Document properties Most word processors show some properties of the text in a document, such as the number of words or the number of letters in that document. Write a program that can determine some of
Nadere informatieQuestion-Driven Sentence Fusion is a Well-Defined Task. But the Real Issue is: Does it matter?
Question-Driven Sentence Fusion is a Well-Defined Task. But the Real Issue is: Does it matter? Emiel Krahmer, Erwin Marsi & Paul van Pelt Site visit, Tilburg, November 8, 2007 Plan 1. Introduction: A short
Nadere informatieProcess Mining and audit support within financial services. KPMG IT Advisory 18 June 2014
Process Mining and audit support within financial services KPMG IT Advisory 18 June 2014 Agenda INTRODUCTION APPROACH 3 CASE STUDIES LEASONS LEARNED 1 APPROACH Process Mining Approach Five step program
Nadere informatieEmotionele Arbeid, de Dutch Questionnaire on Emotional Labor en. Bevlogenheid
Emotionele Arbeid, de Dutch Questionnaire on Emotional Labor en Bevlogenheid Emotional Labor, the Dutch Questionnaire on Emotional Labor and Engagement C.J. Heijkamp mei 2008 1 ste begeleider: dhr. dr.
Nadere informatieInstallatie van Windows 10 op laptops. Windows 10 installation on laptops
Installatie van Windows 10 op laptops In mei vindt de migratie naar Windows 10 plaats op de laptops. Per dag worden ongeveer 25 laptops gemigreerd. Elke laptop heeft een ISSC-sticker met een laptop-nummer.
Nadere informatieOpgave 2 Geef een korte uitleg van elk van de volgende concepten: De Yield-to-Maturity of a coupon bond.
Opgaven in Nederlands. Alle opgaven hebben gelijk gewicht. Opgave 1 Gegeven is een kasstroom x = (x 0, x 1,, x n ). Veronderstel dat de contante waarde van deze kasstroom gegeven wordt door P. De bijbehorende
Nadere informatieKaren J. Rosier - Brattinga. Eerste begeleider: dr. Arjan Bos Tweede begeleider: dr. Ellin Simon
Zelfwaardering en Angst bij Kinderen: Zijn Globale en Contingente Zelfwaardering Aanvullende Voorspellers van Angst bovenop Extraversie, Neuroticisme en Gedragsinhibitie? Self-Esteem and Fear or Anxiety
Nadere informatie2019 SUNEXCHANGE USER GUIDE LAST UPDATED
2019 SUNEXCHANGE USER GUIDE LAST UPDATED 0 - -19 1 WELCOME TO SUNEX DISTRIBUTOR PORTAL This user manual will cover all the screens and functions of our site. MAIN SCREEN: Welcome message. 2 LOGIN SCREEN:
Nadere informatieChapter 4 Understanding Families. In this chapter, you will learn
Chapter 4 Understanding Families In this chapter, you will learn Topic 4-1 What Is a Family? In this topic, you will learn about the factors that make the family such an important unit, as well as Roles
Nadere informatieB1 Woordkennis: Spelling
B1 Woordkennis: Spelling Bestuderen Inleiding Op B1 niveau gaan we wat meer aandacht schenken aan spelling. Je mag niet meer zoveel fouten maken als op A1 en A2 niveau. We bespreken een aantal belangrijke
Nadere informatieAcademisch schrijven Inleiding
- In this essay/paper/thesis I shall examine/investigate/evaluate/analyze Algemene inleiding van het werkstuk In this essay/paper/thesis I shall examine/investigate/evaluate/analyze To answer this question,
Nadere informatieDe relatie tussen Stress Negatief Affect en Opvoedstijl. The relationship between Stress Negative Affect and Parenting Style
De relatie tussen Stress Negatief Affect en Opvoedstijl The relationship between Stress Negative Affect and Parenting Style Jenny Thielman 1 e begeleider: mw. dr. Esther Bakker 2 e begeleider: mw. dr.
Nadere informatieFOR DUTCH STUDENTS! ENGLISH VERSION NEXT PAGE. Toets Inleiding Kansrekening 1 7 februari 2011
FOR DUTCH STUDENTS! ENGLISH VERSION NEXT PAGE Toets Inleiding Kansrekening 1 7 februari 2011 Voeg aan het antwoord van een opgave altijd het bewijs, de berekening of de argumentatie toe. Als je een onderdeel
Nadere informatieUnderstanding and being understood begins with speaking Dutch
Understanding and being understood begins with speaking Dutch Begrijpen en begrepen worden begint met het spreken van de Nederlandse taal The Dutch language links us all Wat leest u in deze folder? 1.
Nadere informatieCalculator spelling. Assignment
Calculator spelling A 7-segmentdisplay is used to represent digits (and sometimes also letters). If a screen is held upside down by coincide, the digits may look like letters from the alphabet. This finding
Nadere informatie3e Mirror meeting pren April :00 Session T, NVvA Symposium
3e Mirror meeting pren 689 13 April 2017 14:00 Session T, NVvA Symposium steps since April 2016 The enquiry (June to August 2016) performed by the national bodies. Resulting in 550 comments. Three/Four
Nadere informatieZakelijke correspondentie
- Aanhef Engels Nederlands Dear Mr. President, Geachte heer President Zeer formeel, geadresseerde heeft een speciale titel die in plaats van de naam wordt gebruikt Dear Sir, Formeel, mannelijke geadresseerde,
Nadere informatieCambridge International Examinations Cambridge International General Certificate of Secondary Education
Cambridge International Examinations Cambridge International General Certificate of Secondary Education *5131550995* FIRST LANGUAGE DUTCH 0503/02 Paper 2 Writing May/June 2016 2 hours Candidates answer
Nadere informatieVerklaring van het beweeggedrag van ouderen door determinanten van. The explanation of the physical activity of elderly by determinants of
Verklaring van het beweeggedrag van ouderen door determinanten van het I-change Model The explanation of the physical activity of elderly by determinants of the I-change Model Hilbrand Kuit Eerste begeleider:
Nadere informatieZakelijke correspondentie
- Aanhef Nederlands Engels Geachte heer President Dear Mr. President, Zeer formeel, geadresseerde heeft een speciale titel die in plaats van de naam wordt gebruikt Geachte heer Formeel, mannelijke geadresseerde,
Nadere informatieNieuwsbrief NRGD. Editie 11 Newsletter NRGD. Edition 11. pagina 1 van 5. http://nieuwsbrieven.nrgd.nl/newsletter/email/47
pagina 1 van 5 Kunt u deze nieuwsbrief niet goed lezen? Bekijk dan de online versie Nieuwsbrief NRGD Editie 11 Newsletter NRGD Edition 11 17 MAART 2010 Het register is nu opengesteld! Het Nederlands Register
Nadere informatieCambridge International Examinations Cambridge International General Certificate of Secondary Education
Cambridge International Examinations Cambridge International General Certificate of Secondary Education *3659867115* DUTCH 0515/04 Paper 4 Writing May/June 2018 1 hour Candidates answer on the Question
Nadere informatieCambridge International Examinations Cambridge International General Certificate of Secondary Education
Cambridge International Examinations Cambridge International General Certificate of Secondary Education *7715461843* FIRST LANGUAGE DUTCH 0503/02 Paper 2 Writing May/June 2017 2 hours Candidates answer
Nadere informatiePreschool Kindergarten
Preschool Kindergarten Objectives Students will recognize the values of numerals 1 to 10. Students will use objects to solve addition problems with sums from 1 to 10. Materials Needed Large number cards
Nadere informatieWaarmaken van Leibniz s droom
Waarmaken van Leibniz s droom Artificiële intelligentie Communicatie & internet Operating system Economie Computatietheorie & Software Efficiënt productieproces Hardware architectuur Electronica: relais
Nadere informatieStephanie van Dijck De integrale aanpak maakt complexiteit hanteerbaar
Titel, samenvatting en biografie Stephanie van Dijck De integrale aanpak maakt complexiteit hanteerbaar Samenvatting: Nieuwe projecten nemen toe in complexiteit: afhankelijkheden tussen software componenten,
Nadere informatieSOLVING SET PARTITIONING PROBLEMS USING LAGRANGIAN RELAXATION
SOLVING SET PARTITIONING PROBLEMS USING LAGRANGIAN RELAXATION Proefschrift ter verkrijging van de graad van doctor aan de Universiteit van Tilburg, op gezag van de rector magnificus, prof. dr. F.A. van
Nadere informatieAngststoornissen en hypochondrie: Diagnostiek en behandeling (Dutch Edition) Click here if your download doesn"t start automatically
Angststoornissen en hypochondrie: Diagnostiek en behandeling (Dutch Edition) Click here if your download doesn"t start automatically Angststoornissen en hypochondrie: Diagnostiek en behandeling (Dutch
Nadere informatieDe grondbeginselen der Nederlandsche spelling / Regeling der spelling voor het woordenboek der Nederlandsche taal (Dutch Edition)
De grondbeginselen der Nederlandsche spelling / Regeling der spelling voor het woordenboek der Nederlandsche taal (Dutch Edition) L. A. te Winkel Click here if your download doesn"t start automatically
Nadere informatieDALISOFT. 33. Configuring DALI ballasts with the TDS20620V2 DALI Tool. Connect the TDS20620V2. Start DALISOFT
TELETASK Handbook Multiple DoIP Central units DALISOFT 33. Configuring DALI ballasts with the TDS20620V2 DALI Tool Connect the TDS20620V2 If there is a TDS13620 connected to the DALI-bus, remove it first.
Nadere informatieRisk & Requirements Based Testing
Risk & Requirements Based Testing Tycho Schmidt PreSales Consultant, HP 2006 Hewlett-Packard Development Company, L.P. The information contained herein is subject to change without notice Agenda Introductie
Nadere informatieTI1300: Redeneren en Logica. TI1300 Redeneren en Logica College 1: Inleiding en Bewijstechnieken. Blackboard: enroll!
TI1300: Redeneren en Logica TI1300 Redeneren en Logica College 1: Inleiding en Bewijstechnieken Tomas Klos TI1300 bestaat uit 2 delen: Th: Theorie, Tomas Klos Pr: Practicum, Tomas Klos plus student-assistenten
Nadere informatieClassification of triangles
Classification of triangles A triangle is a geometrical shape that is formed when 3 non-collinear points are joined. The joining line segments are the sides of the triangle. The angles in between the sides
Nadere informatieOnline Resource 1. Title: Implementing the flipped classroom: An exploration of study behaviour and student performance
Online Resource 1 Title: Implementing the flipped classroom: An exploration of study behaviour and student performance Journal: Higher Education Authors: Anja J. Boevé, Rob R. Meijer, Roel J. Bosker, Jorien
Nadere informatieNCTS - INFORMATIE INZAKE NIEUWIGHEDEN VOOR 2010
NCTS - INFORMATIE INZAKE NIEUWIGHEDEN VOOR 2010 Op basis van het nieuwe artikel 365, lid 4 (NCTS) en het nieuwe artikel 455bis, lid 4 (NCTS-TIR) van het Communautair Toepassingswetboek inzake douane 1
Nadere informatie