Snapshots of AI methods and applications Agnar Aamodt and Keith Downing Institutt for datateknikk og informasjonsvitenskap Seksjon for Intelligente Systemer NTNU
Hva er Kunstig Intelligens 1 AI = Things that make you go WOW! eller?? Software: Pro-aktive beslutnignsstøtte- systemer Lærende systemer, f.eks.: Anbefalingssystemer AI i spill Ansiktsgjenkjenning Naturlig språk Robotnavigering, syn, planlegging Adapterende GUI... Embedded systems Intelligente komponenter i totalsystemer Annen hardware: Autonome roboter Online bildefortolking Samarbeid Planleggingssystemer Hjernesimulering Selvorganiserende systemer Evolusjonære metoder
Hva er Kunstig Intelligens 2 INFORMATIKK STUDIE AV INTELLIGENTE SYSTEMER RELATERT TIL KOMPUTASJONELLE PROSESSER er delfelt av REALISERE DATASYSTEMER SOM KAN SIES Å OPPVISE INTELLIGENT ADFERD - DVS. ' SMARTERE ' SYSTEMER har vitenskapelig perspektiv er koblet via empirisk vitenskapelig metode KUNSTIG INTELLIGENS (AI) har teknologisk perspektiv MATEMATIKK bygger bl.a. på har har metoder metoder FILOSOFI KOGNITIV PSYKOLOGI BIOLOGI KUNNSKAPSBASERTE METODER SUBSYMBOLSKE METODER
KUNNSKAPSBASERTE METODER - UTVIKLINGSTRENDER Heuristiske regler Regelbaserte systemer (f.eks.: MYCIN)
KUNNSKAPSBASERTE METODER - UTVIKLINGSTRENDER Kontroll-kunnskap Heuristiske regler Eksplisitt kontrollkunnskap (f.eks. NEOMYCIN) - kunnskap om typer regler for typer tilstander
KUNNSKAPSBASERTE METODER - UTVIKLINGSTRENDER Kontroll-kunnskap Heuristiske regler Spesifikke case Dyp kunnskap Fra generell kunnskap til situasjons-spesifikke case (f.eks. CYRUS, PROTOS) - case-basert resonnering
KUNNSKAPSBASERTE METODER - UTVIKLINGSTRENDER Kontroll-kunnskap Heuristiske regler Spesifikke case Dyp kunnskap Integrerte systemer (f.eks. SOAR, CREEK, META-AQUA) - totalarkitekturer for intelligent problemløsning
The Case-Based Reasoning (CBR) Cycle (Aamodt&Plaza 1994)
Subsymbolic / Bio-inspired AI Methods
Emergence The signal feature of life is not the carbon-based substrate...(but)...that the local dynamics of a set of interacting entities (e.g. molecules, cells, etc.) supports an emergent set of global dynamical structures which stabilize themselves by setting the boundary conditions within which the local dynamics operates (Charles Taylor, biologist, UCLA)
Swarm Intelligence e = mc 2 2 2 2 z = x + y Follow Trail Find Food Make Trail
Termite Arch-Building (Stigmergy) Turtles, Termites and Traffic Jams: Explorations in Massively Parallel Microworlds (Resnick, 1994) pheremone
Columns to Arches Positive Feedback: Pheromone Concentration in middle gets higher and higher as more dirt balls are added.
Ubiquity of Emergence
Emergence & Intelligence Emergence Spectrum How does intelligent behavior arise from the interactions of 100 billion neurons, without central control? How has the brain evolved?
Evolutionary Progressions along the Intelligence Spectrum Living organisms Computers Sense & Act: 10,000,000+ years. 15+ years Reason: 100,000+ years. 30+ years Calculate: 1,000+ years 50+ years Evolution of reasoning was tightly constrained and influenced by sensorimotor capabilities. Else extinction! GOFAI systems are often in their own little worlds, making unreasonable assumptions about independent sensorimotor apparatus. To achieve AI s scientific goal of understanding human intelligence, the road from sense-and-act to reasoning via simulated evolution may be the only way.
Cognitive Incrementalism Tacit assumption of SEAI research. Cognition (and hence common sense) is an extension of sensorimotor behavior. This is the idea that you do indeed get full-blown, human cognition by gradually adding bells and whistles to basic (embodied, embedded) strategies of relating to the present at hand Mindware, pg. 135 (Andy Clark, 2001). I am, therefore I think. Brooks, Steels, Pfeifer, Scheier, Beer, Thelens, Nolfi, Floreano
Evolutionary Computation
Artificial Neural Networks
World Model Behav Gen Body GOFAI World Brain Connectionism World Model Behav Gen Body World SEAI The world is its own best model Rodney Brooks World Model Brain Behav Gen Body World
GOFAI -vs- SEAI Brittle Nerds -vs- Well-Rounded Insects Knowledge Selection Pressure GOFAI SEAI Knowledge Cramming -vs- Adaptive Systems
MSc thesis in AI at IDI a few examples
Eksempler på MSc-oppgaver (1) Improved game AI through case-based and statistical reasoning
Eksempler på MSc oppgaver (2)
Eksempler på MSc oppgaver (3)
Eksempler på MSc oppgaver (4) Bilde- og/eller Video-analyse (Her: Segmentere bilder av karbonfiberarmert epoxy)
Eksempler på MSc oppgaver (5)
Eksempler på MSc oppgaver (6) Robots (pictured) that interact with either a real or simulated other robot. Within our PUCKER system, researchers and students can easily test their AI control strategies on this type of robot (e-pucks).
Eksempler på MSc oppgaver (7) Computer Assisted Assessment and Treatment of Pain Probabilistic networks, Rules, CBR, meta-level reasoning
Eksempler på MSc oppgaver (8) Improved decision support through experience capture and reuse pa5ern analysis case based reasoning
Drilling challenge Unwanted down=me One day of unwanted downtime on this rig means increased cost of 1,6 MNOK for the ongoing drilling operation. Providing the relevant experience and getting the right information precisely when needed will reduce unwanted operational downtime. The result is a more reliable drilling process, reduced drilling costs, and increased productivity.
Business Confidential (Project Internal)
.. done in cooperation with:
DIS har deltatt i etablering av tre spin-off selskaper: - LingIT AS - naturlig språk tolkning og dialogsystemer - Trollhetta AS - bildeanalyse og beslutningsstøtte - Verdande Technology AS - erfarings-lagring og aktiv gjenbruk, primært innen oljeboring
AI - covers a lot of methods and application areas - is interesting, useful, and fun So, learn your - basic AI formalisms, such as - logics - representations - state-space search methods Link to videos shown (and more!): http://videolectures.net/aaai07/ http://videolectures.net/aaai08/ http://videolectures.net/ijcai09_video_competition/ A useful link to all of AI: http://www.aaai.org/aitopics