Older articles
On this page, my older articles and projects can be found, which I wrote for my BSc and MSc in Cognitive Artificial Intelligence. Please see also my published articles.A group-theoretical view of type IV (Logische methoden in de taal- en spraaktechnologie)
Some ideas about groups working on the 24 Grishin principles.
Some group-theoretical remarks on the Lambek-Grishin calculus (Logische methoden in de taal- en spraaktechnologie)
Some group-theoretical properties of a D4-group working on the 8 Grishin-interactions.
Stellingbewijzer voor Lambek-Grishin-calculus. (Logische methoden in de taal- en spraaktechnologie)
Een stellingbewijzer voor de Lambek-Grishin-calculus. Om dit programma uit te kunnen voeren is Haskell vereist.
Towards an axiomatized logic of Social Welfare (Computational Social Choice)
In computational social choice, it is hard to reason about social welfare functions. In this paper, a logic is presented to do this job. The logic is strong enough for representing higher order properties, like Arrows theorem. We present the syntax and semantics of this logic. For two sublanguages, L3 and L2, an axiomatization is given. We also make a start with giving an axiomatization for the system itself.
Semantic Incognito Website (Semantic Web)
The goal of this project was to investigate the possibilities of exporting the knowledge from a relational database to OWL through PHP. The website of Incognito (uscki.nl) was used as a knowledge source for this. Incognito is the study association for Cognitive Artificial Intelligence in Utrecht. This website provides features like a calendar, a forum, a picture archive, exams of previous years and a wiki. Due to the limited time available for this project, the goal of the project was to make a subset of the knowledge on the site available to the semantic web. This means that next to the Incognitology, only the forum and the agenda was made available. The Incognitology is an ontology, created to accommodate the tags that are added to media on the site like pictures. The tags that the users of the site produce are added to the ontology by administrators.
Presentatie bij 'Semantic Incognito Website' (Semantic Web)
Een presentatie bij het project 'Semantic incognito website'.
Logic, proof and trust (Semantic Web)
A presentation about logic, proof and trust in the semantic web.
Samen met Arlette van Wissen, Gwyneth Ouwehand, Melanie Kroes, Wietske Zuiderbaan and Wilco Bos.
Are insight problems really different from noninsight (CKI-B)
In this text, I will suggest an electroencephalogram (EEG) experiment with which it will be possible to see whether there is biological evidence for the frequently made distinction between insight and noninsight problems. What is meant with insight here is the 'aha'-experience, the sudden discovery of how a problem works.
First, I will give a summary of the research done by Auke Pols in his thesis 'Insight in problem solving' (Pols, 2002), an introductory text on insight. This part of this text consists of an overview of the questions Pols asks himself, the answers to these questions, and the methods he uses to find them. Secondly, I will formulate my own research question, and propose the methods with which I want to answer this question.
Broncode bij 'Conversion between four extensions of context-free grammars' (Computationele grammatica's)
De broncode bij 'Conversion between four extensions of context-free grammars'.
Om dit programma uit te kunnen voeren is Haskell vereist.
Conversion between four extensions of context-free grammars (Computationele grammatica's)
In this paper, an algorithm is presented which is capable of translating back and forth between four equivalent extensions of Context-Free Grammars. These grammars are Combinatory Categorial Grammars, Head grammars, Linear Indexed Grammars and Tree Adjoining Grammars. The algorithm does work, but turns out to be highly inefficient.
Broncode bij Deffects (Expertsystemen)
De broncode bij Deffects.
Om dit programma uit te voeren is CLIPS vereist.
Deffects - een heuristisch expertsysteem voor het (Expertsystemen)
Dit verslag hoort bij Deffects, een expertsysteem geschreven in CLIPS om problemen in elektronische schakelingen op te lossen. De naam is een samentrekking van deffacts, een construct in CLIPS om data te definiëren, en het woord defect.
Broncode bij SPORES (Expertsystemen)
De broncode bij SPORES.
Om dit programma uit te voeren is CLIPS vereist.
SPORES: het Simpel Paddenstoelen Onderscheidend Realtime Expert (Expertsystemen)
Dit verslag hoort bij SPORES, het Simpel Paddenstoelen Onderscheidend Realtime Expert Systeem. Dit systeem is ontworpen om te helpen bij het classificeren van in Nederland voorkomende paddenstoelen. Het programma vraagt de gebruiker om bepaalde kenmerken van de paddenstoel die hij/zij wilt determineren. De gebruiker kan deze vragen gewoon in Nederlandse zinnen beantwoorden.
Hertenpopulaties volgens Ricker en Verhulst (Modellen en Simulatie)
In dit verslag bestudeer ik de ontwikkeling van een populatie herten, levend op een groot landgoed. Ik zal deze simuleren met de modellen van Ricker en Verhulst. Tevens laat ik enkele manieren zien waarop deze ontwikkeling grafisch in beeld kan worden gebracht.
Broncode bij stellingbewijzer (Automatisch Redeneren)
Broncode bij de stellingbewijzer.
Om dit programma uit te kunnen voeren is Ruby vereist.
Stellingbewijzer (Automatisch Redeneren)
Een efficiënte stellingbewijzer voor propositielogica.
Einsteins tweede postulaat (Speciale relativiteitstheorie)
Het tweede postulaat van de speciale relativiteitstheorie van Einstein zegt dat de snelheid van licht in vacu¨um gelijk is in alle inertiaalstelsels. In dit paper worden enkele aspecten van dit postulaat besproken. Het laat zien dat veranderingen in de denkwijze over c hebben gezorgd voor een enorme opwaardering van de status van
deze constante. Tevens wordt besproken of c variabel kan zijn, en wordt aangetoond dat we experimenteel kunnen onderzoeken of de lichtsnelheid in alle richtingen even groot is.
Bewustzijn, qualia en het lichaam-geestprobleem (Filosofie van de Cognitiewetenschappen)
In dit essay ga ik kijken naar de verschijnselen zelfbewustzijn en qualia, eigenschappen van bewuste,
zintuiglijke ervaringen, en de relatie met het lichaam-geestprobleem. Dit probleem zoekt een antwoord op de vraag of lichaam en geest twee verschillende entiteiten zijn, of dat lichaam en
geest twee verschijningsvormen van dezelfde entiteit zijn. De twee voornaamste stromingen als reactie op deze vraagstelling zijn het dualisme en het materialisme.
Bewijsnetten (Natuurlijke taalverwerking)
Een programma voor het maken van zogenaamde 'bewijsnetten'.
Een goed beeld van de mogelijkheden van het programma kan verkregen worden door te kiezen voor 'Create', vervolgens een van de onderste zinnen te selecteren, en te klikken op 'Use'.
Samen met Aris van Dijk, Esther Bod, Peter van der Zee, Larix Kortbeek en Willem Geesink.
De Hongaarse taal (Inleiding Taalkunde)
Een website over onze analyse van een gedeelte van de Hongaarse taal.
Samen met Esther Bod, Teun de Reeper, Erik Geerts, Timme Romberg, Edwin Otten en Tim Verburg.
Robocode (Imperatief Programmeren)
Robots voor het programma RoboCode. In dit programma proberen virtuele robots elkaar dood te maken.
Onderdeel van de opdracht was dat er alleen geschoten mocht worden op de vijandelijke leider op het moment dat de vijandelijke 'droids' dood waren.
Om het programma uit te kunnen voeren is RoboCode nodig.
Samen met Peter van der Zee.
Sinn zonder Bedeutung (Taalfilosofie)
Beschrijvingen lijken altijd te verwijzen naar iets, tenminste wanneer ze in een juiste context gebruikt worden. Zoals de filosoof Frege heeft beschreven, bestaat er nog een tussenniveau tussen de beschrijving en het object waarnaar verwezen wordt. Er lijken echter beschrijvingen te bestaan die wel een zo'n tussenniveau hebben, maar niet naar een object verwijzen.
In dit essay beargumenteer ik dat zulke beschrijvingen toch naar een object verwijzen, namelijk naar 'het niets'.
Text-based adventure in Prolog (Logisch Programmeren)
Dit is een text-based adventure in de taal Prolog. De bedoeling is om het geheime metrostation op de Uithof te vinden.
Om dit programma uit te kunnen voeren is SWI-Prolog vereist.
Muziekperceptie (CKI-A)
Of we nou de radio aan hebben staan tijdens het werk, of mp3'tjes draaien tijdens het leren van dat lastige tentamen, het luisteren naar muziek lijkt ons geen enkele moeite te kosten. Toch zijn er complexe bewerkingen voor nodig om de wisseling in luchtdruk, waar muziek feitelijk uit bestaat, om te zetten in het muziekstuk zoals
wij dat in ons hoofd horen klinken. Wat er nou precies gebeurt in de hersenen als we luisteren naar muziek, zullen we in dit artikel proberen te onderzoeken.
Samen met Sebastiaan de Kruif.
Interview met Henkjan Honing (CKI-A)
Henkjan Honing is ex-muzikant en
onderzoeker op het gebied van
muziekcognitie, en houdt zich met name
bezig met de cognitie van ritme, timing
en tempo. Op een warme
donderdagmiddag in mei interviewden
wij hem in zijn kamer in het gebouw van
Muziekwetenschappen van de
Universiteit van Amsterdam.
Samen met Sebastiaan de Kruif.
Samenvatting Turing's "Computing Machinery" (CKI-A)
Een samenvatting van Alan Turing's beroemde artikel "Computing Machinery", waarin hij de Turing-test beschrijft.
Wat is de beste programmeertaal? (Profielwerkstuk, Stedelijk Gymnasium Breda)
In dit werkstuk vergelijk ik verschillende programmeertalen met
elkaar, en kijk wat de beste programmeertaal is.
Programmeren is het schrijven van een aantal opdrachten in een bepaalde computertaal, die de computer vertellen wat hij precies moet doen. Zo'n computertaal wordt een programmeertaal genoemd. Er zijn enkele honderden van dit soort talen. Sommige van die talen lijken erg op elkaar, terwijl andere totaal verschillen. In deze scriptie
worden die onderlinge overeenkomsten en verschillen behandeld. Het gaat hierbij om de syntaxis (de regels van een programmeertaal) en de gebruikersomgeving. Verder komen de
toepassingsgebieden van de talen aan bod, en ten slotte volgt de geschiedenis van programmeertalen.
Unicode (Informatica, Stedelijk Gymnasium Breda)
Presentatie over Unicode, een manier om tekst in talen met een andere alfabet als het onze op te kunnen slaan.