BDI architektúra, AgentSpeak(L) és Jason ismertetı Mesterséges intelligencia, Dobrowiecki T., BME-MIT

Hasonló dokumentumok
Kooperáció és intelligencia

Jason platform. Intelligens Elosztott Rendszerek BME-MIT, 2018

Jason/AgentSpeak ismertetı

Intelligens Elosztott Rendszerek. Dobrowiecki Tadeusz és Eredics Péter, Gönczy László, Pataki Béla és Strausz György közreműködésével

Mesterséges Intelligencia MI

Mesterséges Intelligencia (MI)

Ágensek bevezető áttekintés:

Funkcionális Nyelvek 2 (MSc)

9. MPI

1. Informatikai trendek, ágensek, többágenses rendszerek. Intelligens Elosztott Rendszerek BME-MIT, 2018

Programozás burritokkal


Adatbázisok. 8. gyakorlat. SQL: CREATE TABLE, aktualizálás (INSERT, UPDATE, DELETE), SELECT október október 26. Adatbázisok 1 / 17

Komputeralgebra Rendszerek

Adattípusok, vezérlési szerkezetek. Informatika Szabó Adrienn szeptember 14.

Unit Teszt. Tóth Zsolt. Miskolci Egyetem. Tóth Zsolt (Miskolci Egyetem) Unit Teszt / 22

Excel ODBC-ADO API. Tevékenységpontok: - DBMS telepítés. - ODBC driver telepítése. - DSN létrehozatala. -Excel-ben ADO bevonása

Operációs rendszerek. Az Executive és a kernel Policy és mechanizmusok szeparálása Executive: policy - objektum kezelés Kernel: mechanizmusok:

Operációs Rendszerek II. labor. 2. alkalom

Debreceni Egyetem Matematikai és Informatikai Intézet. 13. Védelem

Komponens alapú fejlesztés

Adatbázisok* tulajdonságai

13. Tanulás elosztott rendszerekben/1. Intelligens Elosztott Rendszerek BME-MIT, 2017

SZERVER OLDALI JAVASCRIPT. 3. hét Javascript nyelvi elemek

FELHASZNÁLÓI DOKUMENTÁCIÓ

AWK programozás, minták, vezérlési szerkezetek

Autóipari beágyazott rendszerek. Integrált és szétcsatolt rendszerek

Tábla létrehozása: CREATE TABLE alma( ID INT( 3 ) NOT NULL PRIMARY KEY, Leiras VARCHAR( 100 ) );

Adatbányászat és Perszonalizáció architektúra

Imperatív programozás

Kooperatív és Tanuló Rendszerek. 1. Ágensek és szervezetek. Dobrowiecki Tadeusz Horváth Gábor

LabView Academy. 4. óra párhuzamos programozás

Tudásalapú információ integráció

A MATLAB alapjai. Kezdő lépések. Változók. Aktuális mappa Parancs ablak. Előzmények. Részei. Atomerőművek üzemtana

A C# programozási nyelv alapjai

Élő webes alkalmazások rendszerfelügyelete cím- és tartalomteszteléssel

Sztringkezelő függvények. A string típusú változók kezelése, használata és szerepük a feldolgozás során

Adatbázis-kezelés. Harmadik előadás

Webprogramozás szakkör

Szkriptnyelvek. 1. UNIX shell

DropsA VIP-5 Külső vezérlőegység Telepített és mobil alkalmazásokhoz. Kezelési és karbantartási utasítás

Kezelési Utasítás Bentel J400-as központhoz. HAGYOMÁNYOS TŰZJELZŐKÖZPONT 2-24 hurokig

Java I. A Java programozási nyelv

Adatbázisok webalkalmazásokban

Indexek és SQL hangolás

PC kártya és a szoftver telepítése, indítása után ( ID, jelszó : admin, admin)

Feldspar: Nyelv digitális jelfeldolgozáshoz

Számítógépes Hálózatok

Eseményvezérelt alkalmazások fejlesztése I 11. előadás. Szoftverek tesztelése

Java Programozás 5. Gy: Java alapok. Adatkezelő 1.rész

Adatbázis kezelés Delphiben. SQL lekérdezések

BASH script programozás II. Vezérlési szerkezetek

Aspektus-orientált nyelvek XML reprezentációja. Kincses Róbert Debreceni Egyetem, Informatikai Intézet

Programozási nyelvek (ADA)

AWK programozás, minták, vezérlési szerkezetek

Data Integrátorok a gyakorlatban Oracle DI vs. Pentaho DI Fekszi Csaba Ügyvezető Vinnai Péter Adattárház fejlesztő február 20.

Kommunikáció Androidon GSM hívás SMS küldés, fogadás Bluetooth NFC USB

Objektumorientált paradigma és programfejlesztés Bevezető

15kA / EN szerint Kioldási jelleggörbék: Védettség: elõlapon (piros/zöld érintkezõnként) Csatlakoztatható vezeték: 1-25mm 2

Pénzügyi algoritmusok

Nyilvántartási Rendszer

Szoftver-technológia II. Szoftver újrafelhasználás. (Software reuse) Irodalom

Felhasználók hitelesítése adatbiztonság szállításkor. Felhasználóknak szeparálása

Programok értelmezése

Hálózati ismeretek. Az együttműködés szükségessége:

Programozó Meta riasztókhoz és Activepark parkolásérzékelőhöz

2019, Funkcionális programozás. 2. el adás. MÁRTON Gyöngyvér

Projekt beszámoló. NEWSIT News basedearlywarning System forintradaytrading: Hír alapú Korai Figyelmeztető Rendszer Napon belüli Kereskedéshez

Szoftvertechnológia alapjai Java előadások

3. Gyakorlat Ismerkedés a Java nyelvvel

Számítógépes Hálózatok Felhasználói réteg DNS, , http, P2P

Felhasználói réteg. Számítógépes Hálózatok Domain Name System (DNS) DNS. Domain Name System

Processzusok (Processes), Szálak (Threads), Kommunikáció (IPC, Inter-Process Communication)

Komputeralgebra Rendszerek

B I T M A N B I v: T M A N

Tartalom. Alapelemek. Célok. Eszközök. Szerkezet. Alapelvek. Prezentáció. Folyamat

Folyamattervezéstıl a megvalósításig

GPU Lab. 4. fejezet. Fordítók felépítése. Grafikus Processzorok Tudományos Célú Programozása. Berényi Dániel Nagy-Egri Máté Ferenc

SZÁMÍTÓGÉPES PROBLÉMAMEGOLDÁS

Szemléletmód váltás a banki BI projekteken

S z á m í t ó g é p e s a l a p i s m e r e t e k

Szoftverminőségbiztosítás

C# gyorstalpaló. Készítette: Major Péter

Objektum Orientált Programozás IV.

Alapszintű formalizmusok

Using the CW-Net in a user defined IP network

Autóipari beágyazott rendszerek. Kockázatelemzés

Tuesday, 22 November 11

Kooperatív és Tanuló Rendszerek. 4. ACL-KQML-szabványok Dobrowiecki Tadeusz Horváth Gábor

VIRGO SMART BT A EGYÉB JELLEMZŐK

1. Egyszerű (primitív) típusok. 2. Referencia típusok

Junior Java Képzés. Tematika

Haladó DBMS ismeretek 1

A Feldspar fordító, illetve Feldspar programok tesztelése

Modbus kommunikáció légkondícionálókhoz

NONPROFIT ÉRDEKVÉDELMI SZERVEZETEK FEJLESZTÉSE (PL.3346) Java-script nyelv. programozás alapjai. Haramia László

Digitális technika VIMIAA01 9. hét Fehér Béla BME MIT

(Teszt)automatizálás. Bevezető

Digitális technika VIMIAA01 9. hét

Átírás:

BDI architektúra, AgentSpeak(L) és Jason ismertetı 1

BDI Szándék Bratman 1987 Szándék: gyakorlati érvelés lényegi eleme, cselekvéshez vezet Szándék az eszköz-cél analízis motorja Szándékok tartósok Szándékok alakulását emóciók befolyásolják Szándékok korlátozzák a jövıbeli érveléseket Szándékok befolyásolják az emóciókat XYZ-nek szándéka van jól levizsgázni. Elvárjuk, hogy könyvtárban bukkan fel, hogy este könyvel a kezében látjuk, hogy szórakozás ajánlatát elhárítja. Nem ér meglepetés, ha mogorva hangulatban látjuk. Meglep minket, ha moziban találkozunk vele. Szándék Kívánalom =/= Szándék Szándék ismerete lehetıvé teszi: - jövıbeli cselekvések jóslását, - cselekvések magyarázatát, - konzisztencia vizsgálatot. Kívánalom kívánt állapot Szándék ennek (korlátos) eszközei 2

BDI BDI ágens architektúra B = Belief (Hiedelem) ágens által ismert (igaznak tartott) tények D = Desire (Kivánalom) olyan tények, amiket ágens valamilyen módon igazzá szeretne tenni, a célok I = Intention (Szándék) a célok megvalósításához vezetı elhatározások, a tervek Belief + Intention Desire Intention Action új Belief 3

BDI programozási nyelv AgentSpeak(L) Ágens viselkedése: receptkönyvtár ( tervek ) = reaktiv tervvégrehajtó rendszer terv: (i) elérendı cél (triggering event) (ii) helyzet, a terv használható (logikai feltétel = context condition) (iii) a terv törzse te : C B te ::= +!g, +?g,!g,?g, +b, b achievement goal, query goal, belief) C ::= b (C & C) (C C) C x.c B ::= act +b b?c!te P;P (primitív cselekvés, hiedelmek hozzáadása, törlése, feltétel tesztelése, esemény aktivizálása, szekvenciális kompozíció) Tip.: te : b1... bm h1 ;... ; hn. 4

BDI programozási nyelv AgentSpeak(L) +concert(artist,venue) : likes(artist)!book tickets(artist,venue). +!book tickets(artist,venue) : busy(phone)?phone number(venue,number); call(number);...;!choose seats(artist,venue). CWA OWA: negálás, mint kudarc, erıs negálás: (John McCarthy) Iskolabusz haladhat át egy vasuti átjárón, ha a vonat nem közeledik. Át not Vonatjön (ha nem tudjuk, hogy a vonat közeledik) Át -Vonatjön (ha tudjuk, hogy a vonat nem közeledik) 5

BDI programozási nyelv AgentSpeak(L) Végrehajtási ciklus: 1. esemény aktivizálódik (pl. új elfogadott cél, új érzékelés, lényeges változás hiedelmekben, stb.) 2. eseménykezelı tervek kikeresése (releváns tervek) 3. igaz helyzetfeltétellel rendelkezı terv alkalmazható (applicable) alkalmazható terv kiválasztása, törzsének lefuttatása 4. ha a terv kudarcba fullad, alternatív alkalmazható terv futtatása amíg van választás, különben a kudarc tova terjesztése. +!move-to(a,b) : available(car)!get(car); drive(a,b). +!move-to(a,b) : available(car)!walk(a,b). AgentSpeak nyelv: elsıdlegesen a döntéshozatal belsı mechanizmusa: (rész)célok létesítése az azokat megvalósító tervek végrehajtása Társított problémák: kommunikáció, több ágenses kölcsönhatások: alap ötletben nincs megvalósítva (de lesz!) 6

AgentSpeak(L) interpreter 7

Jason AgentSpeak platform Javaban Environment: Percepts, Environment actions Internal actions, Beliefs, Goals un. beszéd aktus alapú inter-ágens kommunikáció tell, untell achieve, unachieve tellhow, untellhow askif, askall, askhow - 1 rendő nyelv, nincs modalitás - terv cimkék, hiedelmek annotálása (honnan van?) hiedelem [source(ag)] hiedelem [source(percept)] hiedelem [source(self)] - elosztott ágensszervezet létesítése - szabadon kiterjeszthetı, felhasználói szinten módositható (Java) -... 8

Jason beépített belsı cselekvések BDI BB Plan Communication Lists and Sets String Execution Meta progr. Misc. desire, drop_desire, drop_all_desires intend, drop_intention, drop_all_intentions, current_intention drop_event, drop_all_events succeed_goal, fail_goal suspend, resume abolish, findall, count add_plan, remove_plan, plan_label, relevant_plans send, broadcast, my_name member, length, concat, delete, reverse, nth, max, min sort, list, difference, intersection, union length, concat, delete: delete, reverse, substring, string, term2string if, while, for atom, structure, literal, list, ground, number, string add_annot, add_nested_source at, wait, create_agent, kill_agent, stopmas, date, time fail, perceive, range 9

10

11

12