Kedves Laci, kedves mindnyajan!
László Nikházy <niklaci(a)hotmail.com> writes:
> Foglalkoztam kicsit az elsõ kisházival (a clp(MiniB) megvalósításával),
Nagyon jo, nagyon orulok!
> és lenne pár kérdésem, fõleg azzal kapcsolatban, hogy mit kell
> tudnia. Most elsõ körben a clp(MiniNat) példájára megcsináltam azt, hogy
> a kifejezést felbontja mûveletenként célokra, és aztán azokat meghívja.
Felraktam a http://www.cs.bme.hu/~szeredi/nlp/ honlapra a kishazi kiirasat
(ugyanaz mint a kiosztott foliamasolatokon), plusz egy kiegeszitest;
tovabba a csak futtathato mintamegvalositast. Ezekben (ill. a mintamegoldas
segitsegevel) a kerdeseid jo reszere valaszt kaphatsz, de azert ebben a
levelben is valaszolok.
> De pl. egy sat(A*B =:= A*B) esetén elõször ugye a célsorozat valahogy így
> néz ki: =:=(C,D,1), *(A,B,C), *(A,B,D). Aztán az elsõbõl kitalálja, hogy
> C=D, de maradnak ilyesmi felfüggesztett célok, hogy: *(A,B,C),
> *(A,B,C). És ugye a végeredmény szempontjából teljesen mindegy, hogy mi a
> behelyettesítés, ezért úgy érzem, hogy "true"-t kellene válaszolnia.
Idealisan ezt tenne, es a clpb konyvtar azt is teszi. De ahogyan a foliakon
szereplo mininat megvalositas sem true-val valaszol az | ?- {X+Y=X+Y}
kerdesre, hanem ket felfuggesztett cellal, ez a viselkedes (tehat a
felfuggesztett celok jelenlete) teljesen elfogadhato a minib-ben is.
> Hasonló helyzet van egy sat(A + ~A)-val, itt a jelenlegi vagy-om nem
> látja azt, hogy a kettõ közül legalább az egyik 1-es, és vár arra, hogy
> behelyettesítõdjön az A.
Igen, ez is elfogadhato.
> Az a kérdésem, hogy ilyeneket tudnia kell megoldani a sat-nak, és ha
> igen, akkor kaphatnék-e egy kis segítséget, hogy hogy érdemes csinálni.
Mivel most nem egy "igazi" sat megoldo a cel, hanem a korutinszervezes
gyakorlasa, ezert ilyeneket nem kell a sat-nak eszrevennie.
> Még az nem világos, hogy a count-nak mit kell tudni. Pl. kell olyat
> figyelnie, hogy a listában milyen behelyettesített értékek vannak már,
> és hogy akkor a maradék kitöltése már egyértelmû?
Igen.
> Mondjuk egy
> count([A,B,0,C,0,1],4) esetén ugye egyértelmû, hogy A=B=C=1, de a
> jelenlegi programom ezt nem látja.
Ezen javits...
> Még bonyolultabb az eset mondjuk egy
> count([A,A,0,B,0,1],3) esetén. Ezekbõl mit kell tudnia a programnak?
Ezt nem kell tudnia, azaz count-nak nem kell foglalkoznia a valtozok
azonossaganak vizsgalataval. Alabb beidezem a honlaprol is elerheto
"kiegeszites"-t, amely pontosan megmondja, mit kell tudnia a count-nak:
-Peter
Kiegészítés a count/2-höz
=========================
A count/2 predikátummal szemben elvárás:
a. ne csináljon választási pontot (lásd a 4. futási példát a fólián).
b. count(L, N)-ben, ha az L lista N db elemérõl kiderül, hogy 1-es, akkor nem
vár további változó-behelyettesítésre és a fennmaradó változókat
behelyettesíti 0-ra.
Pl. a `count([X,Y,Z], 1), Z=1' célsorozat az `X=0, Y=0, Z=1' eredményt adja.
c. count(L, N)-ben, ha az L lista len(L)-N db elemérõl kiderül, hogy 0, akkor nem
vár további változó-behelyettesítésre és a fennmaradó változókat
behelyettesíti 1-re.
Pl. a `count([X,Y,Z], 2), Z=0' célsorozat az `X=1, Y=1, Z=0' eredményt adja.
Sziasztok!
Mivel a szerda du mindenkinek elfogadható, az eloadas idopontja szerda
16:15-17:45, IB.134.
Elkeszult a targy honlapjanak kezdeti valtozata:
http://www.cs.bme.hu/~szeredi/nlp/
Felvittem a Neptun-kodjaitokat az NDP ETS rendszerebe:
http://cs.bme.hu/~szeredi/oktatas/nlp/ets.html
Kerlek jelentkezzetek be (a kezdokepernyon leirt, a DP targynal mar
megszokott modon), es igenyeljetek SICStus 4.1.2-es licenszet (ezt
hasznaljuk majd a targyhoz), toltsetek le es installaljatok.
Ha barmi gondot lattok, irjatok.
Akkor holnap, szerdan 16:15-kor talalkozunk.
-Peter
Sziasztok!
Felraktam a mai gyakorlat feladatait ide:
www.cs.bme.hu/~zombori/BME/ndp/gyak1b.pl
A korabban megbeszeltek alapjan az utolso 2 feladatnak nem raktam bele a
megoldasat, mivel ezek egy az egyben a hazi feladat reszei. Viszont
barmilyen megoldast, megoldaskezdemenyt atkuldhettek nekem, szivesen
megnezem es visszajelzek.
Udv
Zsolt
Kedves Mindnyajan!
Lassan veget er a Doodle szavazas, csak Domboróczky Attila valasza
hianyzik. Ket olyan idopont van, ami nem tartalmaz piros jelzest:
szerda 16-18 8 zold, 1 sarga
pentek 14-16 4 zold, 5 sarga
Mivel igertem egy vegso szavazast, ezert a kovetkezo ket kerdesre kerek
igen-nem valaszt Toletek, beleertve Attilat is:
A. Elfogadhato-e szamodra a szerda 16-18 idopont?
B. Ha valakinek nem elfogadhato az A varians, elfogadhato-e szamodra a
pentek 14-16 idopont?
Kerem, hogy a kerdesekre legeslegkesobb hetfo ejfelig valaszoljatok,
lehetoleg a levlistara.
Ha az A kerdesre mindenki igennel valaszol, akkor
az eloadas idopontja: szerda 16-18 (elso alkalom szept 8).
Egyebkent, ha a B kerdesre mindenki igennel valaszol, akkor
az eloadas idopontja: pentek 14-16 (elso alkalom szept 10).
Egyebkent az eloadas idopontja hetfo 8-10, elso alkalom szept 13.
(A fentiekbol kovetkezik, hogy ha valaki nem valaszol akkor az utolso
alternativa lep eletbe :-*()
Tehat holnap, hetfon NEM lesz eloadas, kesobb egy csutortoki reggelen
bepotoljuk ezt, ha -- sajnalatos modon -- az utolso alternativat kell
valasztani.
Udv,
Peter
Kedves NDP hallgatok!
Koszonom a gyors valaszokat. Mar csak Svigruha Gergo nem reagalt.
Alabb kuldom a beerkezett leveleket.
Mivel teljes egyetertes szukseges a valtashoz, ugy tunik a szerda 10-12
kiesik. Probalhatunk keresni egy masik, mindenkinek jo idopontot, annal
is inkabb, mert nekem sem a legjobb a hetfo reggel.
Felvettem minden erintettet az nhlp-l levlistara
http://www.cs.bme.hu/mailman/listinfo/nhlp-l
nhlp-l(a)cs.bme.hu
Azt kerem, hogy a fenti levlista cimre valaszoljatok, hogy minden erintett
megkapja.
Szeredi Peter
===========================================================================
from László Nikházy <niklaci(a)hotmail.com>
Kedves Péter, kedves hallgatótársak!
Az lenne a kérdésem, hogy a nagyon szerencsétlen hétfõ reggel 8-10-es
idõpontban lévõ Nagyhatékonyságú deklaratív programozás órát nem
tarthatnánk-e inkább szerdán, 10-12-ig. Hétfõn reggel szerintem még
mindenki nagyon álmos (illetve nekem lenne egy órám az eltén), ezért
javaslom ezt, emellett úgy tudom, hogy a szerda 10-12 idõpont nekünk
hallgatóknak jó.
üdvözlettel: Laci
===========================================================================
from Kiss György <gyurkolurko(a)yahoo.co.uk>
Tisztelt Tanár Úr!
Nekem szerdán 10-12 között Információs társadalom joga címû órám van.
A csütörtöki óra pedig már így is üti a Minõségmenedzsmentet (minden második héten).
Üdvözlettel:
Kiss György
===========================================================================
from Ildikó Fûkõ <fukoildi(a)gmail.com>
Nekem csak egy gazdhumán tárggyal ütközik, azt pedig át tudom pakolni,
részemrõl tehát rendben.
===========================================================================
from Domboróczky Attila <da651(a)hszk.bme.hu>
Támogatom az idõpont áthelyezést.
Domboróczky Attila
===========================================================================
from Bálint Ureczky <ubalint(a)gmail.com>
Kedves Péter!
Nekem megfelel,
Bálint
===========================================================================
from Engedy, Balazs <engedy.balazs(a)gmail.com>
Sziasztok!
A Hétfõ 12-14 nem lenne nektek inkább megfelelõ? Csak mert szerdánként én
egyébként nem jönnék be. Vagy nekem hiányos az kötelezõ órarendem? :)
Üdv,
Balázs
===========================================================================
from János Csorba <janos.csorba(a)gmail.com>
Sziasztok!
Nekem (és Lacinak úgyszintén) a hétfõ 12-14 nem jó, mert akkor lesz Bsz1 gyakorlatunk.
Szerdán valóban nincs (más) óránk, de nekem ettõl még jó lenne ekkor is.
János
===========================================================================
from Bankó Tibor <banko.tibor(a)gmail.com>
Sziasztok!
A szerda nekem is jó.
Tibi
===========================================================================
Csak erdekessegkeppen: A CHR eloadason szo volt a teruletfoglalas
feladvanyrol (163-165. folia). Most derult ki szamomra, hogy T Fruehwirth,
a CHR "atyja" is erdekesnek talalta ezt a feladvanyt, es sajat CHR
kurzusaban nagyhazikent adta fel:
http://www.informatik.uni-ulm.de/pm/fileadmin/pm/home/fruehwirth/pisa/u09.p…
-Peter
Kedves volt es jelenlegi N[LD]P-sek!
Javaslatom a CHR eloadasra: 2009 oktober 15, csutortok 16:15 (tegnaphoz
kepest 3 het). A tegnapi Mercury eloadason megjelenteknek ez
megfelelt. Kerem hamar szoljatok, ha valakinek ez nem jo, alternativ
(celszeruen csutortoki) javaslattal.
-Peter
Ugy tunik, hogy csutortok 16-tol okozza a legkevesebb gondot.
Tehat:
szept 24, csutortok, 16:00-17:30
A Mercury logikai programozasi nyelv,
http://www.mercury.cs.mu.oz.au/index.html
Hely: varhatoan az IB.135, de meg nincs helyfoglalasom, ha meglesz, irok.
A CHR eloadas idopontjat illetoen varok meg visszajelzest Zsbán Ambrustol,
hogy szept 24 utan legkozelebb mikor nem lesz Sztochasztika szeminariuma,
es akkorra teszem a CHR eloadast.
Udv,
Peter
Kedves volt NLP-sek!
Ezt irtam juniusban:
> Mas: beszeltunk rola, hogy a kimaradt reszekrol (Mercury, CHR) szivesen
> tartok eloadast. Erre peldaul az oszi felev elso heteiben kerithetunk sort.
A tavaszi NLP kurzus kiegeszitesekeppen szeptember elejen tehat tartanek
ket eloadast az alabbi ket temaban:
- A Mercury logikai programozasi nyelv, http://www.mercury.cs.mu.oz.au/index.html
- A Constraint Handling Rules (CHR) altalanos szabalyalapu korlatnyelv,
http://www.cs.kuleuven.ac.be/~dtai/projects/CHR/
Az eloadasok 90 percesek lennenek, es 16 ora utan tartanam meg (hetfo es
csut kozott). Kerem akit erdekel, irjon nekem, es irja meg mely idopontok
NEM jok neki.
Udv,
Peter
Gárdonyi László <gl648(a)hszk.bme.hu> writes:
> Szervusz Péter!
>
> A naptáram nemrég diszkréten figyelmeztetett, hogy érdeklõdjek nálad
> az elmaradt Mercury/CHR elõadások pótlásának mikéntjérõl :)
>
> Üdv:
> Laci
>
> Peter Szeredi<szeredi(a)cs.bme.hu> írta (2009. június 25. 19:51):
> > Heti egy ora gyakorlattal kibovitett formaban, Nagyhatekonysagu Deklarativ
> > Programozas cimmel a jovo felevben is indul az NLP, MSc szakiranyos
> > targykent, VISZM232 koddal. Ez tudomasom szerint valaszthato targykent mind
> > az oteves, mind az MSc, mind a BSc kepzesben felveheto.
> >
> > Mivel szakiranyos hallgatonk csak 1 van ;-), ezert alaphelyzetben a targy
> > oktatasa konzultacios formaban zajlik majd. De ha 5-6-an felveszik, akkor
> > mar rendes eloadast is tartok. Tehat ha valakinek most nem jott ossze az
> > NLP, de meg erdekli, esetleg felveheti az NDP-t. Vagy ha valakinek
> > sikerult, es tetszett, akkor ajanlhatja masoknak...
> >
> > Mas: beszeltunk rola, hogy a kimaradt reszekrol (Mercury, CHR) szivesen
> > tartok eloadast. Erre peldaul az oszi felev elso heteiben kerithetunk sort.
> >
> > -Peter
