Download presentation

Presentation is loading. Please wait.

Published byArielle Gooding Modified over 2 years ago

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= 10.374 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

Similar presentations

OK

2004/9/15fuzzy set theory chap02.ppt1 Classical Logic the forms of correct reasoning - formal logic.

2004/9/15fuzzy set theory chap02.ppt1 Classical Logic the forms of correct reasoning - formal logic.

© 2017 SlidePlayer.com Inc.

All rights reserved.

Ads by Google

Ppt on uses of metals and nonmetals Doc convert to ppt online reader Ppt on three phase ac circuits Ppt on chemical bonding and molecular structure Ppt on spinal muscular atrophy Ppt on suspension type insulators for sale Ppt on email etiquettes and conventions Ppt on emotional intelligence at workplace Ppt on asymptotic notation of algorithms book Download ppt on historical places in india