Skillscast coming soon.
When reasoning based on a set of sentences of the form "if A then usually B", classical logical system will not suffice. The use of ranking functions, that assign a degree of implausibility to every possible world is a popular approach to allow plausible relationships as logical formulas. A well known way of generating such a ranking function based on a set of plausible relationships is System Z.
During this talk, you will discover System Z as an example to show, how language features such as list comprehensions and higher order functions can be used to quickly implement a running prototype of a complex formal system.
YOU MAY ALSO LIKE:
- London Microservices User Group- July (in London on 5th July 2017)
- Infiniteconf 2017 - the conference on Big Data and Fast Data (in London on 6th - 7th July 2017)
- Masterclass: Reducing Technical Debt with Michael C. Feathers (in London on 21st - 22nd August 2017)
- Russ Miles' Microservices Workshop (in London on 4th - 6th September 2017)
Commonsense Reasoning using Haskell
Steven has a Master of Computer Science at the Trier University of Applied Sciences and is currently a Research assistant at the University of Hagen in the area of knowledge based systems.