MI PDDL házi segédlet forrásának megtekintése

{{GlobalTemplate|Infoalap|MestersegesIntelligenciaPDDLHaziSegedlet}}


Gyűjtsük ide azokat a tanácsokat, bugfixeket, amik megkönnyítik a háziírást.

==Hivatalos FAQ==

http://portal.mit.bme.hu/oktatas/hf/vimia313/faq.php

==Tanácsok==

* típusoknál, leszármaztatásnál '''pontosan egy''' szóközt kell tenni a '-' jel elé és után
* PDF-ből copy-paste-elés során figyelni kell rá, hogy a szóköz szóköz legyen, a mínuszjel pedig mínuszjel. A Word hajlamos többféle kötőjelet használni, ami bekeverhet.
* öröklést csak egybe, sose külön külön, mert elvileg mindkettő jó, gyakorlatilag nem
** <pre>(:types cargo - object city - object)</pre> '''helyett''' <pre>(:types cargo city - object)</pre>
* ugyanígy az action-ök paraméterlistáiban is
** <pre>:parameters (?c &#8211; cargo ?from ?to - cargocontainer)</pre>
* a változónév ne egyezzen a típusnévvel
** <pre>?cargo - cargo</pre> '''helyett''' <pre>?c - cargo</pre>
* ne használj nagybetűs típusneveket
** <pre>?c - Cargo</pre> '''helyett''' <pre>?c - cargo</pre>
* a változót jelentő kérdőjel után nincs szóköz, mert konstansnak nézi a változódat
** <pre>? c</pre> '''helyett''' <pre>?c</pre>

==Bugfixek==

'''Probléma:'''

''domain.pddl: syntax error in line 16, 'CARGO': action definition is not correct''

'''Megoldás:'''

Meg kell nézni, hogy a szóközök száma a mínusz előtt és után pontosan 1 db-e és hogy a leszármaztatást jelző mínuszjel tényleg mínuszjel-e és nem valami Word-ös kötőjel.

<hr>

'''Probléma:'''

''predicate IN is declared to use unknown or empty type CARGOCONTAINER''

'''Megoldás:'''

* Ellenőrizd a szóközöket és mínuszjeleket a fentiek szerint
* Nézd meg, hogy jól építetted-e föl a típushierarchiát
* Gondot okozhat az is, hogy az adott típusból nem létezik példány (mert pl. csak a leszármazottakat használod), ekkor célszerű lehet létrehozni egy példányt még ha nem is használod fel.

-- [[PallosTamas|Velias]] - 2008.12.14.

<hr />

'''Probléma:'''

''unknown constant TO in literal EQ. check input files''

'''Megoldás:'''
Nálam ez a sor okozta, szóköz volt a to előtt:
<pre>(not (= ?from, ? to))</pre>
És így javítottam:
<pre>(not (= ?from, ?to))</pre>
Ez ugyanaz a hiba, mint a hivatalos [http://portal.mit.bme.hu/oktatas/hf/vimia313/faq.php#02_17 FAQ 17-es kérdése.] Az EQ az az "=" predikátumot jelenti.

-- [[FrigoErzsebet|Böbe]] - 2011.11.16.

==Numerikus változók, a :fluents==

A tárgyhonlapon és a segédletben is azt írják, hogy a :fluents használata nem elvárás, nincs rá szükség a házikban. Ennek ellenére nem egy házi leírásában szerepelnek ilyen kitételek, mint pl. "[A szeméttelep] 20 adag szemét tárolására alkalmas", vagy "egy vonatnak maximum 7 kocsija lehet". Ezeket "elméletben" le lehet írni predikátumokkal, de gyakorlatban kínszenvedés.

A nagyobbik gond az, hogy az LPG, amiben dolgozni kell, egy bughalmaz, amihez (2010-ben) hat éve senki nem nyúlt hozzá. Ezért írtam ezt a kis segédletet, hogy másoknak ne kelljen végigszenvedni (vagy legalább kisebb mértékben).

<hr>

'''Exception: STATUS_ACCESS_VIOLATION''' vagy linux alatt '''Segmentation fault'''

Definiáltál egy numerikus változót, de nem adtál meg :metric-et a problem.pddl-ben.<br>
Ha nincs változód, amire optimalizálni szeretnél, akkor is meg kell adnod valamit (teljesen mindegy, hogy mit).

Vagy például definiáltál egy :action-t :effect nélkül.

<hr>

'''Generation of neighborhood for EQUAL_OP not yet implemented'''

A :goal megadásakor nem használhatsz = műveletet. Használj helyette "<= és >=" -t, azaz:

<pre>
(and (<= (valtozo) 5)
	  (>= (valtozo) 5))
</pre>

<hr>

'''Operator not yet supported in expression evaluation'''

:precondition részben jöhet elő, ha összeadunk/kivonunk/... Véletlenszerűen jön elő, pl. a (+ 1 1)-et megeszi, a (+ 1 2)-t már nem.<br>
Ezt nem tudtam megoldani, ha találsz megoldást, szívesen várjuk.<br>
Addig is próbáld másképpen értelmezni a feladatot.

<hr>

'''op ACTION-NAME has illegal precondition''' <br>
'''LPG: this is an ADL problem!''' <br>
'''can't be handled by this version.'''

:precondition részben valami hasonlót adtál meg:

<pre>
(not (= (val) 0))

vagy

(not (<= (val1) (val2)))
</pre>

Azaz egy not-on belüli összehasonlítást. "not <=" helyett írhatsz ">"-t, "not =" helyett "!="-t.

<hr>

'''Computing mutex...''' és itt lefagy, ki kell lőni

Ezzel nem jutottam semmire, én átszerveztem a saját programomat és valahogy megoldódott...

Itt egy példakód, ami előhozza:

"Egy szobát akkor tudunk kitakarítani, ha üres (benne lévő dolgok száma 0). <br>
Rendet rakni viszont akkor tudunk, ha nem üres (benne lévő dolgok száma > 0). <br>
Kezdetben a szoba nem üres, nincs kitakarítva és nincs benne rend. A feladat, hogy legyen benne rend, és legyen kitakarítva."

'''domain.pddl:'''

<pre>
(define (domain rendrakas)
 (:requirements :strips :equality :fluents)
 
 (:functions
  (dolgok-szama ?hol))
  
 (:predicates
  (kitakaritva ?hol)
  (rend-van ?hol))
  
(:action		 takarit
 :parameters	(?szoba)
 :precondition (= (dolgok-szama ?szoba) 0)
 :effect		 (kitakaritva ?szoba))

(:action		 rendet-rak
 :parameters	(?szoba)
 :precondition (> (dolgok-szama ?szoba) 0)
 :effect		 (rend-van ?szoba))

(:action		 kidob-egy-dolgot
 :parameters	(?szoba)
 :precondition (> (dolgok-szama ?szoba) 0)
 :effect		 (decrease (dolgok-szama ?szoba) 1)))
</pre>

'''problem.pddl:'''

<pre>
(define (problem rendrakas-problem)
 (:domain rendrakas)
 (:objects haloszoba)
 (:init	  (= (dolgok-szama haloszoba) 5))
 (:goal	  (and (rend-van haloszoba)
					  (kitakaritva haloszoba)))
 (:metric minimize (dolgok-szama haloszoba)))
</pre>

-- [[HalaszGabor|Hali]] - 2010.12.05.

==Cél megadásánál kvantorok használatának elkerülése==

http://portal.mit.bme.hu/oktatas/hf/vimia313/faq.php#02_01 STATUS_ACCESS_VIOLATION, "az LPG nem képes a célfeltételek közt több változó kvantifikálását lekezelni"

Ez a hiba a legtöbb esetben megkerülhető a következő módon: létre kell hozni egy "munkaBefejezesenekErzekelese" actiont, aminek megadni preconditionben az eredeti kvantifikált változókat és az effectben igazzá tenni egy "keszVagyunk" predikátumot, majd ezt vizsgálni a problem goaljában.

Nem feltétlen szép megoldás (a probléma és a domain összemosódása), de nálam működött és őszintén: LPG mellett ez már maga egy csoda.

-- [[KoczkaTamas]] - 2010.12.05.


[[Category:Infoalap]]