The owner of the company asked me questions about first order logic translations. It seemed to be mostly a proof of logic competence interview. I mentioned I might also be interested in software engineering so we launched into an interview about this role right afterwards.
Domande di colloquio [1]
Domanda 1
How do you translate x bit of knowledge into first order predicate logic?
Ho presentato la mia candidatura online. Ho sostenuto un colloquio presso Cycorp
Colloquio
Ontologist candidates all go through 1 on 1 interview with CEO Doug Lenat in which he asks them questions to get at their ability to do precise logical thinking. Some questions are about logical representation ("How would you represent <foo> in first order logic?") and others are more like brain teasers.
Domande di colloquio [1]
Domanda 1
How would you represent "Horses have heads" in first order logic?
Ho presentato la mia candidatura online. La procedura ha richiesto 4 settimane. Ho sostenuto un colloquio presso Cycorp nel mese di set 2019
Colloquio
The first phone call was technical and lasted less than ten minutes, he asked one question. He didn't like my answer and said it would be a waste of time to continue.
Domande di colloquio [1]
Domanda 1
Describe the relationship "horses have heads" using first order logic.
