Presentation is loading. Please wait.

Presentation is loading. Please wait.

REPRESENTAÇÃO DO CONHECIMENTO Terças – 13 hs – sala 512 RDC.

Similar presentations


Presentation on theme: "REPRESENTAÇÃO DO CONHECIMENTO Terças – 13 hs – sala 512 RDC."— Presentation transcript:

1 REPRESENTAÇÃO DO CONHECIMENTO Terças – 13 hs – sala 512 RDC

2 Definition: The study of propositions and their use in argumentation. Major task: establish a systematic way of deducing the logical consequences of a set of sentences. EnciclopÆdia Britannica. Logic

3 Lógica Matemática  Leibniz  Reduce reasoning to mathematical computation  Corpo = substância material = 2x3=6  Humano = 2x3x7x13x19=  Divide por 6 =>Humano é corpo  Não divide por 66(mineral) => Humano não é mineral

4 T-Box & A-Box  Brachman et al.  T-box – term definition  A-box – assertion definition  lattices

5 Álgebra Booleana  0 – false  1 – truth  Conjunction X – and  Disjunction + - or  Negation – not

6 Truth Tables

7 Portas Lógicas

8 Frege’s Begriffsschrift

9 Peirce  Σ – repeated or (logical sum)  Π – repeated and (logical product)

10 Peano

11 Propositional Logic  Every trailer truck has 18 wheels.

12 Propositional Logic  Every trailer truck has 18 wheels.  => p

13 Syllogism  Predicate and Subject

14 Predicate Logic  Universal with implication  Existential with conjuction

15 Logic and Ontology  Harder to read  Distracting detail from the variables – used to link parts of the formula  Logic is simple – half a dozen symbols. Level of detail depends on the predicates that do not belong to logic.  They represent an ontology of relevant things in the domain. Choices represent ontological commitments.  Predicates in an ontology  Domain dependent  Domain independent

16 Varieties of Logic  Syntax  Subsets  description logics  Proof theory  Model theory  Ontology  Uninterpreted logic: bunch of symbols, quatifiers, operators  Set theory for Math  Metalanguage

17 Typed Logic  Notational engineering  Avoids extra implications that accompany the universal quantifier

18 Lambda Calculus  Church  notation for defining functions and a method for converting any given definition into other equivalent definitions

19 Conceptual Graphs  System of logic  Based on  Existential graphs by Peirce  Semantic Networks A cat is on the Mat Every cat is on a mat

20 KIF  Knowledge Interchange Format  Version of typed predicate logic – Genesereth, Fikes et al.

21 KIF  Knowledge Interchange Format  Version of typed predicate logic – Genesereth, Fikes et al. A cat is on the Mat Every cat is on a mat

22 Logic  Vocabulary  Domain independent logical symbols  Constants: individuals, properties, relations  Variables  Punctuation  Syntax  Semantics  Rules of inference


Download ppt "REPRESENTAÇÃO DO CONHECIMENTO Terças – 13 hs – sala 512 RDC."

Similar presentations


Ads by Google