I saw this great job posting this morning for a PhD student in Logic based at the University of Groningen in the Netherlands:
Job Posting for PhD candidate in Logic
They are looking for a candidate with... a strong interest in Logic (especially in areas such as Modal Logic, Epistemic Logic, Dynamic Logic, Belief Revision theory, Game Logic, Quantum Logic, Linear Logic, Conditionals or Game Semantics) and its applications to modelling information flow, learning, agency, interaction and rationality in Artificial Intelligence, Theoretical Philosophy, Computer Science, Quantum Physics (including Quantum Information and Quantum Computation) or Game Theory. Fluent English is a prerequisite.
Is logic really a strong component of AI learning,interaction and rationality? In looking at the projects we are working on it seems to me that the easy part is anything that is logical. The difficult part is making sense of things that are not logical...ie the way we humans think and respond. In many respects this is why pattern matching has run it's course in 'chatbots'. Pattern Matching is a logical approach to responding to a conversation. ie I take your input..find a key word and then match it to a response. In real life we do something far more complicated and take significant illogical paths through a conversation.
In our dialog engine we are working on numerous paths that try to mirror how a conversation will flow. This is based on the context, content, tone and pace of the conversation. Being able to make 'jumps' from one topic to another or even introduce nonsensical components into a conversation mimic what happens in real life. Rarely does a conversation follow a fully logical path.
BTW I am going to take a wild guess here that having no social life is probably also a pre-requisite for that job.
No comments:
Post a Comment