A SAT probléma különböző reprezentációinak vizsgálata oktatási szempontból (újratöltve) Az általánosítás fegyvere a kutatásban Kusper Gábor, gkusper@aries.ektf.hu.

Slides:



Advertisements
Hasonló előadás
Deduktív adatbázisok.
Advertisements

5. Fejezet : Lebegőpontos számok
Algebrai struktúrák.
Adatbázisrendszerek elméleti alapjai 2. előadás
Számítógépes hálózatok
Diagnosztika szabályok felhasználásával, diagnosztikai következtetés Modell alapú diagnosztika diszkrét módszerekkel.
NEMMONOTON KÖVETKEZTETÉS (NONMONOTONIC REASONING).
Kódelmélet.
K-Chat Dr. Szepesvári Csaba Kutatási Alelnök mindmaker.
Az információ olyan új ismeret, amely megszerzőjének szükséges és érthető. Az adat az információ megjelenésének formája.  Az adat lehet: Szöveg Szám Logikai.
Függvények Egyenlőre csak valós-valós függvényekkel foglalkozunk.
Lambda kalkulus.
Determinisztikus programok. Szintaxis: X : Pvalt program változók E : Kifkifejezések B : Lkiflogikai kifejezések C : Utsutasítások.
Projektlabor, Projektmunka és Projekt szeminárium tapasztalatai és kérdései az informatika oktatásában az Eszterházy Károly Főiskolán dr. Kovács Emőd,
VALÓS IDŐBEN VÁLASZT ADÓ EGÉSZSÉGÜGYI PROFIL, MINT TÖBBDIMENZIÓS MEGSZORÍTÁS MÁTRIX, ALAPJÁN ÉLELMISZERT SZŰRŐ DOMAIN SPECIFIKUS ALGORITMUS Kusper Gábor.
Matematikai logika A diasorozat az Analízis 1. (Mozaik Kiadó 2005.) c. könyvhöz készült. Készítette: Dr. Ábrahám István.
1 Előhang Világunk dolgainak leírásához gyakran használunk kijelentő mondatokat. Pl. Minden anya szereti gyerekeit. Júlia anya és Júlia gyereke Máté. Következmény:
Indexelés Célok: gyors lekérdezés, gyors adatmódosítás,
Kocsisné Dr. Szilágyi Gyöngyi. Elérehet ő ség: aszt.inf.elte.hu/~szilagyi/ aszt.inf.elte.hu/~szilagyi Fogadó óra: hétf ő
Kocsisné Dr. Szilágyi Gyöngyi
Kocsisné Dr. Szilágyi Gyöngyi
Operációkutatás szeptember 18 –október 2.
MI 2003/5 - 1 Tudásábrázolás (tudásreprezentáció) (know- ledge representation). Mondat. Reprezentá- ciós nyelv. Tudás fogalma (filozófia, pszichológia,
MI 2003/7 - 1 Az egyesítési algoritmus Minden kapitalista kizsákmányoló. Mr. Smith kapitalista. Mr. Smith kizsákmányoló.
Csernoch Mária Adatábrázolás Csernoch Mária
Az informatika logikai alapjai
Bizonyítási stratégiák
Szimmetrikus Programozás, AZ ALAPOK
Műhelymunka az EKF Matematikai és Informatikai Intézetében
4. Fejezet : Az egész számok (integer) ábrázolása
A digitális számítás elmélete
A digitális számítás elmélete
Differenciál számítás
Reprezentációs függvény. Adva egy adattípus absztrakt és konkrét specifikációja: d a = ( A, F, E a ); d c = ( C, G, E c ); A = {A 0,..., A n };C = {C 0,...,
Számítógépes Hálózatok GY
Huffman Kódolás.
ISZAM III.évf. részére Bunkóczi László
MATEMATIKA ÉS INFORMATIKA I.
Halmazelmélet és matematikai logika
LOGIKA (LOGIC).
1 Boole-Algebrák. 2 más jelölések: ^ = *, &, П v = +, Σ ~ = ¬
A 100 Mbit/s sebességű Ethernet. A két fontosabb és elterjedtebb technológia a 100BASE-TX, amely réz UTP átviteli közeget használ, illetve a 100BASE-FX,
Természetes és formális nyelvek Jellemzők, szintaxis definiálása, Montague, extenzió - intenzió, kategóriákon alapuló gramatika, alkalmazások.
Kombinatorikus Programozás TDK vagy Szakdolgozat Téma Készítette: Kusper Gábor Minden jog fenntartva!
1 Hernyák Zoltán Web: Magasszintű Programozási Nyelvek I. Eszterházy.
Háttértárak csoportosítása
Számrendszerek óvodapedagógusoknak.
Számrendszerek.
Koncepció: Specifikáció: e par exp i = eb imp bod ib Specifikáció elemzése: tulajdonságok felírása a koncepció alapján + tulajdonságok bizonyítása.
Press a button to get started. Contents 0001: What is a computer? 0010: The main types of computers 0011: PC 0100: Desktop 0101: Laptop 0110: Netbook.
Lineáris algebra.

Az informatika logikai alapjai
Kommunikációs Rendszerek
MI 2003/6 - 1 Elsőrendű predikátumkalkulus (elsőrendű logika) - alapvető különbség a kijelentéslogikához képest: alaphalmaz. Objektumok, relációk, tulajdonságok,
Budapesti Műszaki és Gazdaságtudományi Egyetem Méréstechnika és Információs Rendszerek Tanszék Korlátkielégítési problémák Autonóm és hibatűrő információs.
Informatika Dr. Herdon Miklós Dr. Fazekasné dr. Kis Mária Magó Zsolt
T.5. tétel (minimálpolinom egyértelmű létezése)
Kiterjesztések szemantikája: Szemantikai tartomány : Adatoknak, vagy értékeknek egy nem üres halmazát szemantikai tartománynak nevezzük. Jelölése: D. Egy.
1 Relációs kalkulusok Tartománykalkulus (DRC) Sorkalkulus (TRC) - deklaratív lekérdezőnyelvek - elsőrendű logikát használnak - relációs algebra kifejezhető.
Az informatika logikai alapjai
Az informatika logikai alapjai
Analitikus fák kondicionálissal
II. konzultáció Analízis Sorozatok Egyváltozós valós függvények I.
Számításelmélet Tárgykód: NGM_IN006_1 és LGM_IN006_1
Nulladrendű formulák átalakításai
Elméleti probléma: vajon minden következtetés helyességét el tudjuk dönteni analitikus fával (véges sok lépésben)? Ha megengedünk végtelen sok premisszás.
Bevezetés a matematikába I
ÍTÉLETKALKULUS (NULLADRENDŰ LOGIKA)
Absztrakt problémák Q  I  S, az absztrakt probléma kétváltozós reláció az esetek (I) és a megoldások (S) halmazán Példa: legrövidebb út Eset: gráf és.
Előadás másolata:

A SAT probléma különböző reprezentációinak vizsgálata oktatási szempontból (újratöltve) Az általánosítás fegyvere a kutatásban Kusper Gábor, gkusper@aries.ektf.hu Kovásznai Gergely, kovasz@aries.ektf.hu Bíró Csaba, birocs@aries.ektf.hu

Áttekintés A SAT probléma A SAT probléma helye az oktatásban Reprezentációk előnyei / hátrányai Összefoglalás

A SAT probléma A logikai kielégíthetőség (SATisfiability) problémája alatt azt értjük, hogy valamely 0.-rendű logikai formula atomjaihoz olyan hozzárendelést keresünk, amely mellett a formula igaz. SAT problémáról beszélünk, ha a formula speciálisan konjunktív normál formában (KNF) van.

Konjunktív Normál Forma (KNF) ( a  c )  ( b  c )  (¬a  b  ¬c ) { { a, c }, { b, c }, {¬a, b, ¬c } } (a + c) * (b + c) * (¬a + b + ¬c) >= 1 + x + x + + - + -

A SAT probléma helye az oktatásban Számításelmélet Mesterséges Intelligencia Informatika logikai alapjai

Számításelmélet A SAT NP-nehéz [Cook 1971]: A SAT NP-teljes: Azaz minden NP-nehéz probléma visszavezethető a SAT problémára. P = NP ???

Mesterséges Intelligencia SAT: tétel bizonyítás cáfolat segítségével: Legyen T (Tudás bázis) az igaznak feltételezet állítások halmaza. A C (Cél) állítás akkor és csak akkor bizonyítható, ha T  {C} kielégíthetetlen.

Informatika logikai alapjai Konjunktív Normál Forma (KNF): ( a  c )  ( b  c )  (¬a  b  ¬c ) { { a, c }, { b, c }, {¬a, b, ¬c } } (a + c) * (b + c) * (¬a + b + ¬c) >= 1 + x + x + + - + -

Reprezentációk előnyei / hátrányai ( a  c )  ( b  c )  (¬a  b  ¬c ) { { a, c }, { b, c }, {¬a, b, ¬c } } Reprezentációk előnyei / hátrányai Logikai Halmazelméleti Algebrai Literál Mátrix + x + x + + - + - (a + c) * (b + c) * (¬a + b + ¬c) >= 0

Logikai Előnyei: Hátrányai: ( a  c )  ( b  c )  (¬a  b  ¬c ) Előnyei: Szemantikája jól definiált. Minden más visszavezethető erre. Hátrányai: Sok felesleges jel. 1 dimenziós (1D). Definíció (tiszta literál): Az x literál tiszta, ha ¬x nem fordul elő a formulában.

Halmazelméleti { { a, c }, { b, c }, {¬a, b, ¬c } } Előnyei: Tételek, definíciók kimondására nagyon jó! Hátrányai: Nem intuitív. 1 dimenziós (1D). Definíció (tiszta literál): Az x literál tiszta az F formulában, ha

Algebrai Előnyei: Hátrányai: Könnyen általánosítható: (a + c) * (b + c) * (¬a + b + ¬c) >= n Hátrányai: Sok felesleges jel. 1 dimenziós (1D). Definíció (tiszta literál): Szum(x) = Db(x) v Szum(¬x) = Db(x) (a + c) * (b + c) * (¬a + b + ¬c) >= 1

Literál Mátrix Előnyei: Hátrányai: - + - Előnyei: Nagyon intuitív, példákhoz nagyon jó! 2 dimenziós (2D). Hátrányai: Változó név információ nem látható. Definíció (tiszta literál): Az n. oszlop tiszta, ha csak (x,+) vagy csak (x,-) jeleket tartalmaz.

Definíciók újra Az x literál tiszta, ha ¬x nem fordul elő a formulában. Az x literál tiszta az F formulában, ha Szum(x) = Db(x) v Szum(¬x) = Db(x) Az n. oszlop tiszta, ha csak (x,+) vagy csak (x,-) jeleket tartalmaz.

3D-s reprezentációk

Unit propagáció alapú … klóz + x + x + + - + - x + + váltózó x + - unit prop. - x x -szal unit prop. + x x -szal + x + unit prop. x + x -szal … literál

Rezolúció alapú klóz + x + x + + - + - + x + x + + váltózó - + - + x + rezolúció + x + -szal rezolúció x + + -szal klóz

2-Literal reprezentáció Multi Domain Logic and its Applications to SAT Minden 2 változós logikai fg. kódolunk: A reprezentáció: 0000 FALSE 1000 ab 0001 ab 1001 ab 0010 ab 1010 b 0011 a 1011 ab 0100 ab 1100 a 0101 b 1101 ab 0110 ab 1110 ab 0111 ab 1111 TRUE a  b 0 1 0 0 0 1 1 0 0 1 1 1

Rezolúció alapú + x + x 0011 0011 x + + x 0101 0011 - + - x 1101 1100 klóz 1 1 1 0 1 1 0 1 0 0 változó 0 0 1 0 1 1 0 0 1 1 bit

Összefoglalás Ha valahol konstans értéket látunk, ott általánosítani lehet! Az általánosítás fontos kutatási eredményekhez vezethet!

Köszönjük a figyelmet!