logic Logic 22-23/03/2016 Posted on 23 March 2016 by Hykel / 1 Comment Preferential semantics. Soundness (and statement of Representation) theorem for rational consequence relations. Examples. Share this:FacebookTwitterLinkedInEmailPocket Hykel View all posts by Hykel →
An interesting file: https://www.doc.ic.ac.uk/~mjs/teaching/KnowledgeRep491/NonmonConseq_491-2×1.pdf Especially the last paragraph (“Three ways of constructing a nonmonotonic logic”) Reply
An interesting file:
https://www.doc.ic.ac.uk/~mjs/teaching/KnowledgeRep491/NonmonConseq_491-2×1.pdf
Especially the last paragraph (“Three ways of constructing a nonmonotonic logic”)