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:
- Well-Typed's Fast Track to Haskell (in London on 10th - 11th October 2017)
- HaskellX2gether Community Weekend (in London on 14th - 15th October 2017)
- Well-Typed's Guide to Haskell Performance and Optimization (in London on 16th - 17th October 2017)
- Well-Typed's Guide to the Haskell Type System (in London on 18th October 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.