Laskennallisen argumentaation ratkaisutavat ja sovellukset

Thumbnail Image

Files

Ohvo_Tuomo_2025.pdf (253.64 KB)

URL

Journal Title

Journal ISSN

Volume Title

Perustieteiden korkeakoulu | Bachelor's thesis
Unless otherwise stated, all rights belong to the author. You may download, display and print this publication for Your own personal use. Commercial use is prohibited.

Authors

Date

2025-05-25

Department

Major/Subject

Tietotekniikka

Mcode

SCI3027

Degree programme

Teknistieteellinen kandidaattiohjelma

Language

fi

Pages

21

Series

Abstract

Tekoälyn hyödyntämisen kehittyessä tekoälyjärjestelmien selitettävyyden merkitys on korostunut. Laskennallinen argumentaatio mahdollistaa argumenttien kuvaamisen formaalisti. Tämän avulla voidaan luoda selityksiä järjestelmien päätöksille. Työn tavoitteena on selittää laskennallisen argumentaation sovelluksia ja menetelmiä, jotta argumentaatiota voisi soveltaa tehokkaasti ja arvioida laskennallisen argumentaation menetelmien toimivuutta jokin ongelman ratkaisemiseen. Ratkaisumenetelmien osalta työ on rajattu abstraktiin argumentaatioon, joka on yksi laskennallisen argumentaation alalaji. Ratkaisumenetelmistä käännösmenetelmää tutkitaan tarkemmin, sillä menetelmä on suosittu ja tehokas. Sovelluksien osalla laskennallisen argumentaation käyttökohteita käsitellään laissa, robotiikassa ja tietoturvassa. Käännösmenetelmä on käytännöllinen ratkaisutapa argumentaatio-ongelmien tutkimiseen. Valmiina annettava SAT-ratkaisija suorittaa raskaan laskennan käyttäen algoritmeja, jotka on kehitetty merkittävien resurssien avulla eri alojen ongelmien ratkaisemiseen. Käännösmenetelmässä olennaista on argumentaatio-ongelman muunnos SAT-ratkaisijan käyttämälle propositiologiikan kielelle. Työssä käsitellään tarkemmin abstraktien argumentaatio-ongelmien muunnoksia havainnollistamaan käännösmenetelmän toimintaperiaatetta. Lähteiden mukaan laskennalliselle argumentaatiolle löytyy paljon mahdollisia käyttötarkoituksia. Selitettävyyden avulla käyttäjä tai kehittäjä voi ymmärtää, miksi järjestelmä tekee tietyissä olosuhteissa tietyn päätöksen. Järjestelmien selitettävyyden parantamisesta voisi olla merkittävää hyötyä käyttäjän luottamuksen saavuttamisessa sekä turvallisuuskriittisten järjestelmien rakentamisessa. Esimerkiksi tietoturvassa päätökset laitteiden tai tiedonsiirron turvallisuudesta voivat olla varsin monimutkaisia ja tarkasta selityksestä voisi olla hyötyä sekä käyttäjälle että kehittäjälle.

Description

Supervisor

Savioja, Lauri

Thesis advisor

Lehtonen, Tuomo

Keywords

tekoäly, laskennallinen argumentaatio

Other note

Citation

Permanent link to this item

https://urn.fi/URN:NBN:fi:aalto-202506104386

Collections

[kand] Perustieteiden korkeakoulu / SCI