* Kunskapsrepresentation 12-12.45

* Objekt orienterad representation 13.00-13.45

* Stora kunskapsbaser 14.00-14.45

* Problemlösning: Schemata, Fall och Analogier 15.00-15.45

Kunskapsrepresentation

* data, information, kunskap

* syntax, semantik, pragmatik

* observationer, lagar, teorier, teoribildning

* modell: simulering, realisering, förebild

* mental model - begreppsmodell, konceptuell modell

* begrepp: symbol , intension, extension

* typ och förekomst (substantiv och egennamn)

* semantiska primitiv

* begrepps relationer

* begreppsstrukturer, begreppssystem, begreppsbildning

* generalisering och specialisering, taxonomier, begreppshierakier

* händelser, handlingar och kasus relationer (verb)

* kausala : modeller, teorier

* tempus och modaliteter

* semantiska fält resp. anomalier, kategori misstag, metaforer

* polysemi, metonymi, homonymi, synonymi, hyponymi

* ontologier, kategoristrukturer, analogier

* begrepps definitioner: klassiska, schematiska

probabilistiska, prototypbaserade

* meta: språk, beskrivning, kunskap, resonemang. Reflektion

Objektorienterad Representation

* poster, fält, värden, värderum (typning), polymorfism

* egendefinierade värderum

* attribut vektorer

* objekt, attribut relation, procedurer, abstrakt datatyp

* typ (klass), förekomst (instans, objekt), egenskap (attribut)

* specialisering (subklass), instansiering

* taxonomi (klass hierarki), arvsmekanismer

* monoton resp. ickemonoton slutsatsdragning

* semantiska nätverk, begrepps grafer, konceptuella grafer

* kasus relationer

* partionerade semantiska nät

* domänkunskap <-> problemlösnings kunskap

* logik <-> kontroll kunskap

* deklarativ <-> proceduriell kunskap

* frame (klass, objekt), slot (attribut), facet (värde, procedur..)

* metoder, procedurer

* meddelanden (proceduranrop)

* meta klasser

* hierarkisk sekventiell kontrol - korutiner- parallellism

Stora Kunskapsbaser

* Typ av kunskap: faktakunskap, färdighetskunskap, förtrogenhetskunskap

alt. specialistkunskap, generell problemlösningskunskap, sunt förnuft k.

* databas, kunskapsbas, inferens maskin

* Vad är elementen? fakta, regler, begreppsstrukturer, klassiska objekt (ADT), intelligenta agenter.

* Krav på homogenitet, lokalitet, etc

* ' Knowledge discovery in databases'

* Ontologi i Hayes mening 'Ontology for liquids'

* Kluster av kunskap i Hayes mening

* Ontologier som kommersiellt område, ' Data dictionaries'

* Reuse, interoperabilitet, distribuerad bearbetning

* CYC , MCC, Austin Texas, 1985, 1990, 1995

* Douglas Lenats tidigare arbeten ex. AM och EURISCO

* Knowledge base, CYCL (frames - FOL), knowledge entering

* Ontologi i CYC's mening

* Axiom i 'contexts or micro theories'

* ' Automatiska tillägg' genom användning av maskin inlärning

och naturligt språk gränssnitt

* Situerad kunskap -> ' theories and assumptions'

*Tillgänglighet, vem äger 'kunskap'

Problemlösning

* Deduktion i FOL, Produktionssystem (termomskrivning),

* Generate and Test, Debug, Divide and Conquer,

Forward and Backward

* Restriktions satisfiering, Delegering,

Funktionell transformation

* ' Anticipatory schemata ' och 'schematic anticipation'

* Selz and Bartlett, studies of chess by Simon

* Schemata är aktiva strukturer som triggas av händelser

* Klassisk planering <-> Reaktiv planering

* Marvin Minsky: A Framework for representing knowledge

* Terminals eller Slots : Filled =Defaults, Unfilled =Expectations

* Fokus, Överlappningar, Anomalier, Överföringar

* Ickesymboliska, syntaktiska, semantiska, tematiska och narrativa frames

* Roger Schank: Conceptual dependencies, Scripts, MOPS, Explanations

* 'Case-based reasoning' : Kolodner, Riesbeck .

* Episodic memory, Casebase, memorization, recall, adaption

* 'Analogical reasoning'

* Likhetsmått mellan begreppsstruktur, begrepp och objekt

AI och KV: Moment 3: Fredagen den 1/12 8-13.30

* Metaforer och deras betydelse 8-9.15

* Dumma och Intelligenta agenter 9.30-10.30

* Personliga Programvaru Assistenter 11.30-12.15

* Agenter: standards, arkitekturer, språk 12.30-13.15

och tillämpningar

Metaforer och deras egenskaper

* Huvudmetafor: Agent som animistisk företeelse

* Piagets utvecklingsstadier

* Agent - Omgivning - Perception - Handlingar

* Programvaru agenter = Softbots <-> Robots

* Agenter i Cyberspace, ex i WWW.

* Graf traverserings metaforen

* Direkt manipulations metaforen

* Konkreta operationer - trolleri

* Personlig Assistent - Individualiserad Intellektuell partner

* Indirekt manipulation

* Den spatiala metaforen (3D = Virtual Reality)

* Projektion mellan verklighet och Virtuell Värld

* Simulerade visualiserade fiskar i ett simulerat VR ekosystem

* Visualisering av agenter med känslor - The Oz project (ANI)

* Visualiserad Personlig Programvaru Assistent

* Specialiserade metaforer: Skrivbord, Arkiv, Sammanträdesrum

* Andra metaforer: Krig, kärlek, politik

* Intressant forskningsfråga - hur kan användning av

flera olika metaforer integreras i konkreta tillämpningar

implementerade som system av programvaru agenter.

Dumma och Intelligenta Agenter - AOP

* Dumma (enkla) agenter -

* Dynamiska objekt - utvidgad OOP, COOP

* Aktörsspråk, Carl Hewitt, 1975, ACT1 and DIRECTOR

* Actor, proxy, continuation, message passing

* Autonomi, reaktivitet, proaktivitet,

* Persistens, mobilitet, parallelitet, delegering

* Enkapsulering - agent wrapper

* Standardiserad kommunikation, gemensamma ontologier

* Intelligenta (komplexa) agenter

* Distribuerad Problemlösning - Distribuerad AI (DAI)

* Kunskap, tro, önskningar, attityder

* Mål, intentioner, planer, handlingar

* Sanningsenlighet, rationalitet, allvetande, godhet, nytta

* Agentsystem

* Etik

* Sociala konventioner

* Agentteorier, Agent arkitekturer, Agentspråk

* Modal - , epistemisk,- deontisk, doxastisk och konativ logik...

* Talaktsteori

Personliga Assistenter (PSAs)

* Intellektuella programvaru partners

* Gränssnittsagenter

* Adaptiva till användarens vanor och önskningar

* Visionärer: Nicholas Negroponte, Alan Kay

* Framtidsvisioner: Apple, HP och Digital.

* KOMPETENS , TILLTRO, RIMLIGA FÖRVÄNTNINGAR

* SÄKERHET, SKYDD

* Kompetensutveckling

- härma användaren

- direkt eller indirekt feedback

- exempel från användaren

- fråga andra assistenter

* Hur bör en PSA visualiseras?

* CAP - ett mötesbokningssystem

* COACH - ett lärande undervisningssystem

* MAXIMS - ett elpost system med filter

* NEWT - ett USENET NEWS filter system

* RODNEY - en UNIX Softbot

* RINGO - rekommenderar musik

* M - ett CSCW verktyg

Agenter: Standarder, Arkitekturer, Språk etc

* Standarder - System Integration

* ACL - Agent Communication Language

* KQML - Knowledge Query and Manipulation Language

* KIF - Knowledge Interchange Format

* Ontolingua

* Arkitekturer

* BDI - Belief, Desire, Intention

* PRS - Procedural Reasoning System

* Touringmachines

* Språk för agentorienterad programmering

* TeleScript, Java,

* Agent0

* Oz, OASIS

* KidSim - (LOGO, Smalltalk) Programming by demonstration

* Internet tillämpningar

* WebSpiders - Web Crawler, Web Worm, Web Ants

* Electronic commerce

* Worms and Viruses

* MUD (MOO) agents

* Open Distributed Computing