Sumários
27ª
25 maio 2016, 12:30 • Helena Sofia Andrade Nunes Pereira Pinto
Watson.
Final decisions by consensus in the Cooking Ontology.
14ª
24 maio 2016, 09:30 • Helena Sofia Andrade Nunes Pereira Pinto
Representing Knowledge in Reiter's Default Logic.
Inheritance Networks.
14ª
24 maio 2016, 08:00 • Helena Sofia Andrade Nunes Pereira Pinto
Representing Knowledge in Reiter's Default Logic.
Inheritance Networks.
26ª
20 maio 2016, 14:30 • Helena Sofia Andrade Nunes Pereira Pinto
Computing extensions for Default theories. Semi-normal default rules and properties of semi-normal default theories.
Inheritance - translational and topological approaches. Credulous and Skeptical approaches. Nodes, links, polarity and type (strict vs defeasible). Paths. Ambiguity, Redundancy and Preemption. Problems with shortest path strategy. Inferential path - the notions of admissibility of path and edge, Preemptors, and redundant links. Topological solution of inheritance networks. Preferred extensions.