Samenvatting van (vrijwel ) al het materiaal die je nodig hebt voor de final ZONDER PROLOG. Het materiaal van LPN staat in een aparte samenvatting. De final bevat ook vragen over de stof van het eerste deel van de cursus!
Intelligente Systemen: deel 2
Kennis representatie
Ontological engineering
Ontologie: een organisatie van concepten in een domein
→ Voorbeeld van concepten: objecten, acties, tijd, gebeurtenissen & gedachten
Upper ontology: het algemene framework voor concepten
→ Generaliseert over meerdere domeinen en is flexibel uit te breiden per domein of toepassing
De upper ontology van de wereld. Elke link houdt in dat het onderste concept een specialisatie is van het bovenste concept.
In de afbeelding hierboven is de upper ontology van de wereld weergegeven. Je begint bovenaan met het
meest algemene concept en met elk stapje naar beneden wordt het concept steeds specifieker.
Specialisaties zijn niet altijd disjoint; een mens is zowel een dier als een agent (rechts onderin).
Categorieën
Een belangrijke taak in kennis representatie is objecten opdelen in categorieën. We hebben interacties op
het niveau van objecten, maar we redeneren op het niveau van categorieën.
→ Iemand die winkelt heeft als doel om een basketbal te kopen, niet specifiek basketbal 341
In de eerste orde logica kan je categorieën op twee manieren representeren:
Als predikaat (eigenschap): Basketbal(b)
Als een object door reïficatie (’thingification’): Basketballen
Je mag nu zeggen: Member(b, Basketballen) of b ∈ Basketballen
Je kan ook subcategorieën specificeren: Subset(Basketballen, Ballen) of Basketballen ⊂ Ballen
Categorieën organiseren hun knowledge op basis van inheritance; als de supercategorie een bepaalde
eigenschap heeft, dan heeft de subcategorie van die supercategorie ook die eigenschap.
Intelligente Systemen: deel 2 1
, Taxonomie: de structuur van subcategorieën (of subklassen)
Feiten over categorieën in eerste orde logica
Een object is een member van een categorie
voorbeeld: BB9 ∈ Basketballen
Een categorie is een subklasse van een andere categorie
voorbeeld: Basketballen ⊂ Ballen
Alle members van een categorie hebben bepaalde eigenschappen
voorbeeld: x ∈ Basketballen → Rond(x)
Members van een categorie kunnen herkend worden aan de hand van bepaalde eigenschappen
voorbeeld: (Oranje(x) ∧ Rond(x) ∧ Diam(x) = 9.5′′ ∧ x ∈ Ballen) ⇒ x ∈ Basketballen
Categorieën als geheel hebben bepaalde eigenschappen
voorbeeld: Honden ∈ Huisdieren
Disjuncte categorieën: twee of meer categorieën zijn disjunct als ze geen members gemeen hebben
Notatie: Disjunct(s) ⇔ ∀c1, c2(c1 ∈ s ∧ c2 ∈ s ∧ c1 ≠ c2 ⇒ Doorsnede(c1, c2)= {})
Uitputtende ontbinding: elke member behoort tot minstens één categorie
Notatie: UitputtendeOntbinding(s, c) ⇔ ∀i(i ∈ c ⇔ ∃c2(c2 ∈ s ∧ i ∈ c2))
Partitie: de combinatie van een disjunct en een uitputtende ontbinding
Notatie: Partitie(s, c) ⇔ Disjunct(s) ∧ UitputtendeOpsomming(s, c)
Natural kinds
Natural kind categorieën: categorieën die geen duidelijke definities hebben
→ Voorbeeld: tomaten zijn over het algemeen rood en rond, maar kunnen ook groen of geel zijn en
een gekke vorm hebben
Natural kinds zijn problematisch voor de logical agent, hij kan zo nooit zeker weten of het object dat hij
observeert een tomaat is of niet, en ook al was hij er wel zeker van, dan kan hij niet zeker weten welke
eigenschappen van een typische tomaat deze tomaat heeft. De oplossing wordt gegeven door de functie
Typical (notatie Typical(c) ⊆ c), hiermee kan je informatie over categorieën noteren zonder exacte
definities.
→ Voor de tomaat: x ∈ Typical(Tomaten) → Rood(x) ∧ Rond(x)
Intelligente Systemen: deel 2 2
, Events
Event calculus: een logische taal voor het representeren en redeneren over events en hun effecten op
fluents
Fluent: een conditie die kan veranderen met de tijd
→ Voorbeeld: At(Shankar , Berkeley) betekent Shankar is op Berkely
Als de bovenstaande fluent waar is van een tijd punt t1 tot t2 schrijf je: T(At(Shankar, Berkeley), t1, t2).
∈
Een voorbeeld van een event E1 is dan: E1
Flyings∧Flyer(E1,Shankar)∧Origin(E1,SF)∧Destination(E1,DC). E1 houdt dus in dat Shankar van SF
naar DC vliegt. Na dit event is de fluent At(Shankar, SF) niet meer waar.
Interval: een paar tijdspunten i = (t1, t2), waarbij t1 < t2, beginnend bij t1 en eindigt bij t2
De complete set predikaten voor event calculus
T(f, i): Fluent f is waar tussen t1 en t2
Happens(e, i): Event e gebeurt over een tijdsinterval i (van t1 tot t2)
Initiates(e, f, t): Event e zorgt ervoor dat fluent f true wordt op tijd t
Terminates(e, f, t): Event e zorgt ervoor dat fluent f niet meer true is op tijd t
Initiated(f, i): Fluent f wordt true ergens tussen t1 en t2
Terminated(f, i): Fluent f stopt met true zijn ergens tussen t1 en t2
Een fluent is waar op een bepaald tijdspunt als de fluent voor dat tijdspunt geïnitieerd is door een event
en daarna niet meer beëindigd is door een tussenliggend event.
→ Happens(e, (t1, t2)) ∧ Initiates(e, f , t1) ∧ ¬Terminated(f, (t1, t)) ∧ t1 < t → T(f, t)
Een fluent is niet waar op een bepaald tijdspunt als de fluent is beëindigd door een event voor dat
tijdspunt en daarna niet meer geherïnitieerd is door een tussenliggend event.
→ Happens(e, (t1, t2)) ∧ Terminates(e, f, t1) ∧ ¬Initiated(f, (t1, t)) ∧ t1 < t → ¬T(f, t)
De complete set interval relaties
Meet(i, j) ←→ End(i) = Begin(j)
Stuvia customers have reviewed more than 700,000 summaries. This how you know that you are buying the best documents.
Quick and easy check-out
You can quickly pay through credit card or Stuvia-credit for the summaries. There is no membership needed.
Focus on what matters
Your fellow students write the study notes themselves, which is why the documents are always reliable and up-to-date. This ensures you quickly get to the core!
Frequently asked questions
What do I get when I buy this document?
You get a PDF, available immediately after your purchase. The purchased document is accessible anytime, anywhere and indefinitely through your profile.
Satisfaction guarantee: how does it work?
Our satisfaction guarantee ensures that you always find a study document that suits you well. You fill out a form, and our customer service team takes care of the rest.
Who am I buying these notes from?
Stuvia is a marketplace, so you are not buying this document from us, but from seller MarlindeD. Stuvia facilitates payment to the seller.
Will I be stuck with a subscription?
No, you only buy these notes for $6.47. You're not tied to anything after your purchase.
