Knowledge - PowerPoint PPT Presentation

About This Presentation
Title:

Knowledge

Description:

Knowledge & Ontology , Epistemology the science of knowledge EPISTEMOLOGY ( Gr. episteme, – PowerPoint PPT presentation

Number of Views:599
Avg rating:3.0/5.0
Slides: 79
Provided by: hck3
Category:
Tags: base | fuzzy | knowledge | rule

less

Transcript and Presenter's Notes

Title: Knowledge


1
Knowledge Ontology
  • ????, ????

2
Epistemology
  • the science of knowledge
  • EPISTEMOLOGY ( Gr. episteme, "knowledge" logos,
    "theory"),
  • branch of philosophy concerned with the theory of
    knowledge. The main problems with which
    epistemology is concerned are the definition of
    knowledge and related concepts, the sources and
    criteria of knowledge, the kinds of knowledge
    possible and the degree to which each is certain,
    and the exact relation between the one who knows
    and the object known.

Infopedia 1996
3
Knowledge Definitions
  • Knowledge
  • 2 a
  • (1) the fact or condition of knowing
    something with familiarity gained through
    experience or association
  • (2) acquaintance with or understanding of a
    science, art, or technique
  • 4 a the sum of what is known the body of
    truth, information, and principles acquired by
    mankind

Merriam-Webster, 1994
4
Knowledge in Expert Systems
  • Conventional Programming
  • Knowledge-Based Systems

Knowledge Inference Intelligent
System (Expert System)
Algorithms Data Structures Programs
N. Wirth
5
Knowledge Pyramid
Meta-K
Knowledge
Information
Data
Noise
6
Types of Knowledge
  • a priori knowledge
  • comes before knowledge perceived through senses
  • considered to be universally true
  • a posteriori knowledge
  • knowledge verifiable through the senses
  • may not always be reliable
  • procedural knowledge
  • knowing how to do something
  • declarative knowledge
  • knowing that something is true or false
  • tacit knowledge
  • knowledge not easily expressed by language

7
Knowledge Base
  • A set of representations of facts about the world
  • Knowledge representation language
  • tell what has been told to the knowledge base
    previously
  • ask a question and the answer
  • Inference what follows from what the KB has
    been told
  • Background knowledge a knowledge base which may
    initially contained
  • Sentence individual representation of a fact

8
Semantic Networks
  • A semantic network is a simple representation
    scheme that uses a graph of labeled nodes and
    labeled, directed arcs to encode knowledge.
  • Usually used to represent static, taxonomic,
    concept dictionaries
  • Semantic networks are typically used with a
    special set of accessing procedures that perform
    reasoning
  • e.g., inheritance of values and relationships
  • Semantic networks were very popular in the 60s
    and 70s but are less frequently used today.
  • Often much less expressive than other KR
    formalisms
  • The graphical depiction associated with a
    semantic network is a significant reason for
    their popularity.

9
Nodes and Arcs
  • Arcs define binary relationships that hold
    between objects denoted by the nodes.

mother
age
Sue
john
5
wife
age
father
husband
mother(john,sue) age(john,5) wife(sue,max) age(max
,34) ...
34
Max
age
10
Semantic Networks
  • The ISA (is-a) or AKO (a-kind-of) relation is
    often used to link instances to classes, classes
    to superclasses
  • Some links (e.g. hasPart) are inherited along ISA
    paths.
  • The semantics of a semantic net can be relatively
    informal or very formal
  • often defined at the implementation level

11
Reification
  • Non-binary relationships can be represented by
    turning the relationship into an object
  • This is an example of what logicians call
    reification
  • reify v consider an abstract concept to be real
  • We might want to represent the generic give event
    as a relation involving three things a giver, a
    recipient and an object, give(john,mary,book32)

giver
john
give
recipient
object
mary
book32
12
Individuals and Classes
Genus
  • Many semantic networks distinguish
  • nodes representing individuals and those
    representing classes
  • the subclass relation from the instance-of
    relation

Animal
instance
subclass
hasPart
Bird
subclass
Wing
Robin
instance
instance
Red
Rusty
13
Link types
14
Inference by Inheritance
  • One of the main kinds of reasoning done in a
    semantic net is the inheritance of values along
    the subclass and instance links.
  • Semantic networks differ in how they handle the
    case of inheriting multiple different values.
  • All possible values are inherited, or
  • Only the lowest value or values are inherited

15
Semantix Net Example
Abraracourcix
Astérix
is-boss-of
is-boss-of
Cétautomatix
is-a
is-a
is-friend-of
is-a
buys-from
Gaul
Obélix
is-a
fights-with
is-a
AKO
Dog
Panoramix
is-a
takes-care-of
lives-with
Human
is-a
sells-to
barks-at
Idéfix
Ordralfabetix
http//www.asterix.tm.fr
16
OAV-Triples
  • object-attribute-value triplets
  • can be used to characterize the knowledge in a
    semantic net
  • quickly leads to huge tables

Object Attribute Value
Astérix profession warrior
Obélix size extra large
Idéfix size petite
Panoramix wisdom infinite
17
Multiple inheritance
  • A node can have any number of superclasses that
    contain it, enabling a node to inherit properties
    from multiple parent nodes and their ancestors
    in the network.
  • These rules are often used to determine
    inheritance in such tangled networks where
    multiple inheritance is allowed
  • If XltAltB and both A and B have property P, then X
    inherits As property.
  • If XltA and XltB but neither AltB nor BltZ, and A and
    B have property P with different and inconsistent
    values, then X does not inherit property P at
    all.

18
Nixon Diamond
  • This was the classic example circa 1980.

Person
subclass
subclass
pacifist
Republican
Quaker
pacifist
FALSE
TRUE
instance
instance
Person
19
Problems Semantic Nets
  • expressiveness
  • no internal structure of nodes
  • relationships between multiple nodes
  • no easy way to represent heuristic information
  • extensions are possible, but cumbersome
  • best suited for binary relationships
  • efficiency
  • may result in large sets of nodes and links
  • search may lead to combinatorial explosion
  • especially for queries with negative results
  • usability
  • lack of standards for link types
  • naming of nodes
  • classes, instances

20
Schemata
  • suitable for the representation of more complex
    knowledge
  • causal relationships between a percept or action
    and its outcome
  • deeper knowledge than semantic networks
  • nodes can have an internal structure
  • for humans often tacit knowledge
  • related to the notion of records in computer
    science

21
Concept Schema
  • abstraction that captures general/typical
    properties of objects
  • has the most important properties that one
    usually associates with an object of that type
  • may be dependent on task, context, background and
    capabilities of the user,
  • similar to stereotypes
  • makes reasoning simpler by concentrating on the
    essential aspects
  • may still require relationship-specific inference
    methods

22
Schema Examples
  • the most frequently used instances of schemata
    are
  • frames Minsky 1975
  • scripts Schank 1977
  • frames consist of a group of slots and fillers to
    define a stereotypical objects
  • scripts are time-ordered sequences of frames

23
Frame
  • represents related knowledge about a subject
  • provides default values for most slots
  • frames are organized hierarchically
  • allows the use of inheritance
  • knowledge is usually organized according to cause
    and effect relationships
  • slots can contain all kinds of items
  • rules, facts, images, video, comments, debugging
    info, questions, hypotheses, other frames
  • slots can also have procedural attachments
  • procedures that are invoked in specific
    situations involving a particular slot
  • on creation, modification, removal of the slot
    value

24
Simple Frame Example
Slot Name Filler
name Astérix
height small
weight low
profession warrior
armor helmet
intelligence very high
marital status presumed single
25
Overview of Frame Structure
  • two basic elements slots and facets (fillers,
    values, etc.)
  • typically have parent and offspring slots
  • used to establish a property inheritance
    hierarchy (e.g., specialization-of)
  • descriptive slots
  • contain declarative information or data (static
    knowledge)
  • procedural attachments
  • contain functions which can direct the reasoning
    process (dynamic knowledge) (e.g., "activate a
    certain rule if a value exceeds a given level")
  • data-driven, event-driven ( bottom-up reasoning)
  • expectation-drive or top-down reasoning
  • pointers to related frames/scripts - can be used
    to transfer control to a more appropriate frame

Rogers 1999
26
Slots
  • each slot contains one or more facets
  • facets may take the following forms
  • values
  • default
  • used if there is not other value present
  • range
  • what kind of information can appear in the slot
  • if-added
  • procedural attachment which specifies an action
    to be taken when a value in the slot is added or
    modified (data-driven, event-driven or bottom-up
    reasoning)
  • if-needed
  • procedural attachment which triggers a procedure
    which goes out to get information which the slot
    doesn't have (expectation-driven top-down
    reasoning)
  • other
  • may contain frames, rules, semantic networks, or
    other types of knowledge

Rogers 1999
27
Usage of Frames
  • filling slots in frames
  • can inherit the value directly
  • can get a default value
  • these two are relatively inexpensive
  • can derive information through the attached
    procedures (or methods) that also take advantage
    of current context (slot-specific heuristics)
  • filling in slots also confirms that frame or
    script is appropriate for this particular
    situation

Rogers 1999
28
Restaurant Frame Example
  • generic template for restaurants
  • different types
  • default values
  • script for a typical sequence of activities at a
    restaurant

Rogers 1999
29
Generic Restaurant Frame
  • Generic RESTAURANT Frame
  • Specialization-of Business-Establishment
  • Types
  • range (Cafeteria, Fast-Food,
    Seat-Yourself, Wait-To-Be-Seated)
  • default Seat-Yourself
  • if-needed IF plastic-orange-counter
    THEN Fast-Food,
  • IF stack-of-trays THEN
    Cafeteria,
  • IF wait-for-waitress-sig
    n or reservations-made THEN Wait-To-Be-Seated,
  • OTHERWISE
    Seat-Yourself.
  • Location
  • range an ADDRESS
  • if-needed (Look at the MENU)
  • Name
  • if-needed (Look at the MENU)
  • Food-Style
  • range (Burgers, Chinese,
    American, Seafood, French)
  • default American
  • if-added (Update Alternatives of
    Restaurant)

Rogers 1999
30
Restaurant Script
  • EAT-AT-RESTAURANT Script
  • Props (Restaurant,
    Money, Food, Menu, Tables, Chairs)
  • Roles
    (Hungry-Persons, Wait-Persons, Chef-Persons)
  • Point-of-View Hungry-Persons
  • Time-of-Occurrence (Times-of-Operation of
    Restaurant)
  • Place-of-Occurrence (Location of Restaurant)
  • Event-Sequence
  • first Enter-Restaurant Script
  • then if (Wait-To-Be-Seated-Sign or
    Reservations)
  • then Get-Maitre-d's-Attent
    ion Script
  • then Please-Be-Seated Script
  • then Order-Food-Script
  • then Eat-Food-Script unless
    (Long-Wait) when Exit-Restaurant-Angry Script
  • then if (Food-Quality was better
    than Palatable)
  • then Compliments-To-The-Ch
    ef Script
  • then Pay-For-It-Script
  • finally Leave-Restaurant Script

Rogers 1999
31
Frame Advantages
  • fairly intuitive for many applications
  • similar to human knowledge organization
  • suitable for causal knowledge
  • easier to understand than logic or rules
  • very flexible

32
Frame Problems
  • it is tempting to use frames as definitions of
    concepts
  • not appropriate because there may be valid
    instances of a concept that do not fit the
    stereotype
  • exceptions can be used to overcome this
  • can get very messy
  • inheritance
  • not all properties of a class stereotype should
    be propagated to subclasses
  • alteration of slots can have unintended
    consequences in subclasses

33
(No Transcript)
34
Representation, Reasoning and Logic
  • two parts to knowledge representation language
  • syntax
  • describes the possible configurations that can
    constitute sentences
  • semantics
  • determines the facts in the world to which the
    sentences refer
  • tells us what the agent believes

Rogers 1999
35
Reasoning
  • process of constructing new configurations
    (sentences) from old ones
  • proper reasoning ensures that the new
    configurations represent facts that actually
    follow from the facts that the old configurations
    represent
  • this relationship is called entailment and can be
    expressed asKB alpha
  • knowledge base KB entails the sentence alpha

Rogers 1999
36
Logical Knowledge base
  • The knowledge level saying what it knows to KB
    ? Golden Gates Bridge links San Francisco and
    Marin Country
  • The logical level the knowledge is encoding
    into sentences ? Links(GGBridge, SF, Marin)
  • The implementation level the level that runs
    on the agent architecture (data structures to
    represent knowledge or facts)

37
Knowledge
  • declarative/procedural
  • love(john, mary).
  • can_fly(X) - bird(X), not(can_fly(X)), !.
  • learning general knowledge about the
    environment given a series of percepts
  • Commonsense knowledge

38
Specifying the environment
39
Domain specific knowledge
  • Domain specific knowledge
  • In the squares directly adjacent to a pit, the
    agent will perceive a breeze
  • Commonsense knowledge
  • logical reasoning
  • stench(1,2) setnch(2,1) ? wumpus(2,2)
  • wumpus(1,3) ?
  • stench(2,1) stench(2,3) stench(1,4)

40
Inference in Wumpus world(I)
41
Inference in Wumpus world(II)
42
Logics
  • Boolean logic
  • Symbols represent whole propositions (facts)
  • Boolean connectives
  • First-order logic
  • objects, predicates
  • connectives, quantifiers

43
Wrong logical reasoning
  • FIRST VILLAGER We have found a witch. May we
    burn her?
  • ALL A witch! Burn her!
  • BEDEVERE Why do you think she is a witch?
  • SECOND VILLAGER She turned me into a newt.
  • BEDEVERE A newt?
  • SECOND VILLAGER (after looking at himself for
    some time) I got better.
  • ALL Burn her anyway.
  • BEDEVERE Quiet! Quiet! There are ways of telling
    whether she is a witch.
  • BEDEVERE Tell me What do you do with witches?
  • ALL Burn them.
  • BEDEVERE And what do you burn, apart from
    witches?
  • FOURTH VILLAGER Wood?
  • BEDEVERE So why do witches burn?
  • SECOND VILLAGER (pianissimo) Because theyre
    made of wood?
  • BEDEVERE Good.
  • ALL I see. Yes, of course.
  • BEDEVERE So how can we tell if she is made of
    wood?
  • FIRST VILLAGER Make a bridge out of her.
  • BEDEVERE Ah but can you not also make bridges
    out of stone?

44
Ontological and epistemological commitments
  • Ontological commitments to do with the nature
    of reality
  • Propositional logic(true/false), Predicate logic,
    Temporal logic
  • Epistemological commitments to do with the
    possible states of knowledge an agent can have
    using various types of logic
  • degree of belief
  • fuzzy logic

45
Commitments
Formal languages and their and ontological and
epistemological commitments
Language Ontological Commitment (What exists in the world) Epistemological Commitment (What an agent believes about facts)
Propositional logic First-order logic Temporal logic Probability theory Fuzzy logic facts facts, objects, relations times facts degree of truth true/false/unknown true/false/unknown true/false/unknown degree of belief 01 degree of belief 01
46
Wumpus world
  • Initial state
  • S1,1 B1,1
  • S2,1 B2,1
  • S1,2 B1,2
  • Rule
  • R1 S1,1 -gt W1,1 W1,2 W2,1
  • R2 S2,1 -gt W1,1 W2,1 W2,2 W3,1
  • R3 S1,2 -gt W1,1 W1,2 W2,2 W1,3
  • R4 S1,2 -gt W1,3 V W1,2 V W2,2 V W1,2

47
Finding the wumpus
  • Inference process
  • Modus ponens
  • S1,1 and R1 ? W1,1 W1,2 W2,1
  • And-Elimination
  • W1,1 W1,2 W2,1
  • Modus ponens and And-Elimination
  • W2,2 W2,1 W3,1
  • Modus ponens
  • S1,2 and R4 ? W1,3 V W1,2 V W2,2 V W1,1

48
Inference process(cont.)
  • unit resolution
  • W1,1 and W1,3 V W1,2 V W2,2 V W1,1
  • ? W1,3 V W1,2 V W2,2
  • unit resolution
  • W2,2 and W1,3 V W1,2 V W2,2
  • ? W1,3 V W1,2
  • unit resolution
  • W1,2 and W1,3 V W1,2 ? W1,3

49
Translating knowledge into action
  • A1,1 EastA W2,1 -gt Forward
  • EastA facing east
  • Propositional logic is not powerful enough to
    solve the wumpus problem easily

50
First-order logic
  • A stronger set of ontological commitments
  • A world in FOL consists of objects, properties,
    relations, functions
  • Objects ? people, houses, number, colors, Bill
    Clinton
  • Relations ? brother of, bigger than, owns, love
  • Properties ? red, round, bogus, prime
  • Functions ?father of, best friend, third inning of

51
First order logics
  • Objects? relations
  • ??, ??, ???? ?? ???? ??
  • ??? ?? ???? ??? ??? ? king? ??? property? ? ?
    ??, ??? ??? ???? relation? ? ?? ??
  • ??????? ? ??? ??, ? ??? ??? ???

52
?
  • Constant symbols A, B, John,
  • Predicate symbols Round, Brother
  • Function symbols Cosine, FatherOf
  • Terms King John, Richards left leg
  • Atomic sentences Brother(Richard,John),
    Married(FatherOf(Richard), MotherOf(John))
  • Complex sentences Older(John,30)gtyounger(John
    ,30)

53
Quantifiers
  • World a, b, c
  • Universal quantifier (?)
  • ?x Cat(x) gt Mammal(x) ?
  • Cat(a) gt Mammal(a)
  • Cat(a) gt Mammal(a)
  • Cat(a) gt Mammal(a)
  • Existential quantifier (?)
  • ?x Sister(x, Sopt) Cat(x)

54
Nested quantifiers
  • ?x,y Parent(x,y) gt Child(y,x)
  • ?x,y Brother(x,y) gt Sibling(y,x)
  • ?x?y Loves(x,y)
  • ?y?x Loves(x,y)

55
?! (The uniqueness quantifier)
  • ?!x King(x)
  • ?x King(x) ?y King(y) gt xy
  • world? ???? ???? gt object? 1, 2, 3?? ?
  • a w0 ? king, w1 ? kinga ? w1? model
  • a,b w0 ? king, w1 ? kinga,
  • w2 ?b, w3 ? a,b ? w1, w2? model

56
Representation of sentences by FOPL
  • Ones mother is ones female parent
  • ?m,c Mother(c)m ? Female(m) Parent(m)
  • Ones husband is ones male spouse
  • ?w,h Husband(h,w) ? Male(h) Spouse(h,w)
  • Male and female are disjoint categories
  • ?x Male(x) ? Female(x)
  • A grandparent is a parent of ones parent
  • ?g,c Grandparent(g,c) ? ?p parent(g,p)
    parent(p,g)

57
Representation of sentences by FOPL
  • A sibling is another child of ones parents ?x,y
    Sibling(x,y) ? x?y ?p Parent(p,x) Parent(p,y)
  • Symmetric relations
  • ?x,y Sibling(x,y) ? Sibling(y,x)

58
Asking questions and getting answers
  • Tell(KB, (?m,c Mother(c)m ? Female(m)
    Parent(m,c)))
  • Tell(KB, (Female(Maxi) Parent(Maxi,Spot)
    Parent(Spot,Boots)))
  • Ask(KB,Grandparent(Maxi,Boots)
  • Ask(KB, ?x Child(x, Spot))
  • Ask(KB, ?x Mother(x)Maxi)
  • Substitution, unification, x/Boots

59
KR Languages and Programming Languages
  • how is a knowledge representation language
    different from a programming language (e.g. Java,
    C)?
  • programming languages can be used to express
    facts and states
  • what about "there is a pit in 2,2 or 3,1 (but
    we don't know for sure)" or "there is a wumpus in
    some square"
  • programming languages are not expressive enough
    for situations with incomplete information
  • we only know some possibilities which exist

Rogers 1999
60
KR Languages and Natural Language
  • how is a knowledge representation language
    different from natural language
  • e.g. English, Spanish, German,
  • natural languages are expressive, but have
    evolved to meet the needs of communication,
    rather than representation
  • the meaning of a sentence depends on the sentence
    itself and on the context in which the sentence
    was spoken
  • e.g. Look!
  • sharing of knowledge is done without explicit
    representation of the knowledge itself
  • ambiguous (e.g. small dogs and cats)

Rogers 1999
61
Good Knowledge Representation Languages
  • combines the best of natural and formal
    languages
  • expressive
  • concise
  • unambiguous
  • independent of context
  • what you say today will still be interpretable
    tomorrow
  • efficient
  • the knowledge can be represented in a format that
    is suitable for computers
  • practical inference procedures exist for the
    chosen format
  • effective
  • there is an inference procedure which can act on
    it to make new sentences

Rogers 1999
62
Ontologies
  • principles
  • definition of terms
  • lexicon, glossary
  • relationships between terms
  • taxonomy, thesaurus
  • purpose
  • establishing a common vocabulary for a domain
  • graphical representation
  • UML, topic maps,
  • examples
  • IEEE SUO, SUMO, Cyc, WordNet

63
1st Attempt Ontologies in CS
  • An ontology is ...
  • an explicit specification of a conceptualization
    Gruber93
  • a shared understanding of some domain of interest
    Uschold, Gruninger96
  • Different aspects
  • a formal specification (reasoning and
    execution)
  • ... of a conceptualisation of a domain
    (community)
  • ... of some part of the world of interest
    (application, science domain)
  • Provides
  • A common vocabulary of terms
  • Some specification of the meaning of the terms
    (semantics)
  • A shared understanding for people and machines

64
Origin and History
  • Humans require words (or at least symbols) to
    communicate efficiently. The mapping of words to
    things is indirect. We do it by creating concepts
    that refer to things.
  • The relation between symbols and things has been
    described in the form of the meaning triangle

Ogden, C. K. Richards, I. A. 1923. "The Meaning
of Meaning." 8th Ed. New York, Harcourt, Brace
World, Inc
before Frege, Peirce see Sowa 2000
Carole Goble, Nigel Shadbolt, Ontologies and the
Grid Tutorial
65
Terminology
  • ontology
  • provides semantics for concepts
  • words are used as descriptors for concepts
  • lexicon
  • provides semantics for all words in a language by
    defining words through descriptions of their
    meanings
  • thesaurus
  • establishes relationships between words
  • synonyms, homonyms, antonyms, etc.
  • often combined with a taxonomy
  • taxonomy
  • hierarchical arrangement of concepts
  • often used as a backbone for an ontology

66
What is the Semantic Web?
  • Based on the World Wide Web
  • Characterized by resources, not text and images
  • Meant for software agents, not human viewers
  • Defined by structured documents that reference
    each other, forming potentially very large
    networks
  • Used to simulate knowledge in computer systems
  • Semantic Web documents can describe just about
    anything humans can communicate about

67
Ontologies and the Semantic Web
  • Ontologies are large vocabularies
  • Defined within Semantic Web documents (OWL)
  • Define languages for other documents (RDF)
  • Resources can be instances of ontology classes
  • Upper Ontologies define basic, abstract concepts
  • Lower Ontologies define domain-specific concepts
  • Meta-ontologies define ontologies themselves

68
Ontology Terms
  • precision
  • a term identifies exactly one concept
  • expressiveness
  • the representation language allows the
    formulation of very flexible statements
  • descriptors for concepts
  • ideally, there should be a one-to-one mapping
    between a term and the associated concept (and
    vice versa) high precision, and high
    expressiveness
  • this is not the case for natural languages
  • parasitic interpretation of terms often implies
    meaning that is not necessarily specified in the
    ontology

69
IEEE Standard Upper Ontology
  • project to develop a standard for ontology
    specification and registration
  • based on contributions of three SUO candidate
    projects
  • IFF
  • OpenCyc/CycL
  • SUMO
  • Standard Upper Ontology Working Group (SUO WG),
    Cumulative Resolutions, 2003, http//suo.ieee.org/
    SUO/resolutions.html

70
OpenCyc
  • derived from the development of Cyc
  • a very large-scale knowledge based system
  • Cycorp, The Syntax of CycL, 2002,
    http//www.cyc.com/cycdoc/ref/cycl-syntax.html

71
SUMO
  • stands for Suggested Upper Merged Ontology
  • Niles, Ian, and Adam Pease, Towards a Standard
    Upper Ontology, 2001
  • Standard Upper Ontology Working Group (SUO WG),
    Cumulative Resolutions, 2003, http//suo.ieee.org/
    SUO/resolutions.html

72
WordNet
  • online lexical reference system
  • design is inspired by current psycholinguistic
    theories of human lexical memory
  • English nouns, verbs, adjectives and adverbs
  • organized into synonym sets, each representing
    one underlying lexical concept
  • related efforts for other languages

73
Lojban
  • artificial, logical, human language derived from
    a language called Loglan
  • one-to-one correspondence between concepts and
    words
  • high precision
  • high expressiveness
  • audio-visually isomorphic nature
  • only one way to write a spoken sentence
  • only one way to read a written sentence
  • Logical Language Group, Official Baseline
    Statement, 2005
  • http//www.lojban.org/llg/baseline.html

74
What is Lojban?
  • A constructed/artificial language
  • Developed from Loglan
  • Dr. James Cooke Brown
  • Introduced between 1955-1960
  • Maintained by The Logical Language Group
  • Also known as la lojbangirz.
  • Branched Lojban off from Loglan in 1987

Brandon Wirick, 2005
75
Main Features of Lojban
  • Easy to Learn
  • Large Vocabulary
  • No Exceptions
  • Fosters Clear Thought
  • Variety of Uses
  • Demonstrated with Prose and Poetry
  • Usable by Humans and Computers
  • Culturally Neutral
  • Based on Logic
  • Unambiguous but Flexible
  • Phonetic Spelling

Brandon Wirick, 2005
76
Lojban at a Glance
  • Example sentence in English Wild dogs bite.
  • Translation into Lojban loi cicyge'u cu batci
  • cilce (cic) - x1 is wild/untamed
  • gerku (ger, ge'u) - x1 is a dog/canine of
    species/breed x2
  • batci (bat) - x1 bites/pinches x2 on/at specific
    locus x3 with x4
  • cilce gerku ? (cic) (ge'u) ? cicyge'u

Brandon Wirick, 2005
77
How Would Lojban and the Semantic Web Work
Together?
  • Currently, most upper ontologies use English
  • Not really English, but arbitrary class names
  • Classes meanings cannot be directly inferred
    from their names, nor vice-versa
  • Translating English prose into Semantic Web
    documents would be difficult
  • Class choices depend on context within prose
  • English prose is highly idiomatic
  • Lojban does not have these problems

Brandon Wirick, 2005
78
English v. Lojban
Brandon Wirick, 2005
79
OWL to the Rescue
  • XML-based. RDF on steroids.
  • Designed for inferencing.
  • Closer to the domain.
  • Dont need a PhD to understand it.
  • Information sharing.
  • RDF-compatible because it is RDF.
  • Growing number of published OWL ontologies.
  • URIs make it easy to merge equivalent nodes.
  • Different levels
  • OWL lite
  • OWL DL (description logics)
  • OWL full (predicate logic)

Frank Vasquez, 2005
80
(No Transcript)
Write a Comment
User Comments (0)
About PowerShow.com