Artefacts in the scene are objects

Artefacts in the scene are objects that belong to the six classes (lines 1-4). For every class of artefacts, an object
is created and for some objects different materials are assigned (5-6). In addition, six stands that are made of metal
are created (7-8) and placed in different locations inside the granary (9-10). Furthermore, the positions of artefacts
are specified by a constraint—in a declarative way (which requires knowledge discovery) using rules encoded in the
Prova language (11-15). Every artefact that is currently not on any stand, is placed on a stand, on which there is
no artefact yet. It is only important to deploy all artefacts on some stands, but it is not important on which stand a
particular artefact is placed. In the rules notStandsOnOthers and nothingStandsOnIt, negation as failure is used.
Placing an artefact on a stand is performed by calculating the x, y and z coordinates of the artefact on the basis of the
coordinates of the stand (16-20).
Fig. 2. A 3D scene from a virtual museum of agriculture
1. : Ar t e f a c t rdf : type owl : Class .
2 . ( : Smoker , : Stamp , : Ring , : Coin , : St a tue , :
Sower )
3. rdf : type owl : Class ;
4. r d f s : subClassOf : Ar t e f a c t .
5 . ( : smoker , . . . , : sower ) r d f : type ( : Smoker , . . . ,
: Sower ) ;
6 . : madeOf ( ” c l a y ” , . . . , ”wood” ) .
7. ( : stand1 , . . . , : s tand6 ) r d f : type : Stand ;
8 . : madeOf ”me t a l ” ;
9. : inc ludedIn : granary ;
10. : p o s i t i o n ( ” . . . ” , . . . ) .
11. standsOn (A, B) :− A r t e f a c t (A) , Stand (B) ,
notStandsOnOthers (A) , nothingStandsOnIt (B) .
12. notStandsOnOthers (A) :− standsOn (A, B) , ! ,
f a i l ( ) .
13. notStandsOnOthers (A) .
14. nothingStandsOnIt (B) :− standsOn (A, B) , ! ,
f a i l ( ) .
15. nothingStandsOnIt (B) .
16. x (A, AX) :− standsOn (A, B) , x (B, BX) , AX = BX.
17. z (A, AZ) :− standsOn (A, B) , z (B, BZ) , AZ = BZ.
18. y (A, AY) :− standsOn (A, B) , y (B, BY) ,
h e i g h t (A, AHeight ) , h e i g h t (B, BHeight ) ,
AY = BY+(AHeight+BHeight ) / 2 .
Listing 1. The conceptual representation of the virtual museum scene
Mod

ผลลัพธ์ (ไทย) 1:

สิ่งประดิษฐ์ในฉากคือ วัตถุที่อยู่ชั้น 6 (สาย 1-4) สำหรับทุกประเภทของสิ่งประดิษฐ์ วัตถุสร้าง และบางวัตถุวัสดุต่าง ๆ กำหนดให้ (5-6) นอกจากนี้ 6 หมายถึงที่ที่ทำจากโลหะจะสร้าง (7-8) และตำแหน่งที่ตั้งอื่นในภายใน granary (9-10) นอกจากนี้ ตำแหน่งของสิ่งเป็นไปตามข้อจำกัด — แบบ declarative (ซึ่งต้องค้นหาความรู้) โดยใช้กฎการเข้ารหัสในการภาษา Prova (11-15) ทุก artefact ที่กำลังไม่บนขาใด อยู่บนขาตั้ง ซึ่งมีartefact ไม่ยัง เท่านั้นเป็นสำคัญการจัดวางสิ่งทั้งหมดในบาง แต่ก็ไม่สำคัญบนขาตั้งที่มีartefact เฉพาะอยู่ เป็นใช้ปฏิเสธเป็นความล้มเหลวในกฎ notStandsOnOthers และ nothingStandsOnItวาง artefact ที่บนขาตั้งที่ดำเนินการ โดยคำนวณ x, y และ z พิกัดของ artefact บนพื้นฐานของการพิกัดของขา (16-20)Fig. 2 ฉาก 3D จากพิพิธภัณฑ์เสมือนของเกษตร1.: Ar t e f เป็น c t rdf: นกเค้าแมวชนิด: คลาส2 (: สูบบุหรี่,: แสตมป์,: แหวน,: เหรียญ,: เซนต์เป็นอังคาร,:Sower)3. rdf: นกเค้าแมวชนิด: คลา4. r s d f: subClassOf: Ar t e f c t5 (: สูบบุหรี่,...,: sower) r d f: ชนิด (: สูบบุหรี่,...,: Sower);6 : madeOf ("c l y แบบ", ..., "ไม้")7. (: stand1,...,: s tand6) r d f: ชนิด: ยืน8 : madeOf "ฉัน t l การ";9.: inc ludedIn: granary10.: p o s ฉันทีฉัน n o ("... ” , . . . ) .11. standsOn (A, B): − A r t e f t c (A), ขา (B),notStandsOnOthers (A), nothingStandsOnIt (B)12. notStandsOnOthers (A): − standsOn (A, B), ,i เป็น f l ()13. notStandsOnOthers (A)14. nothingStandsOnIt (B): − standsOn (A, B), ,i เป็น f l ()15. nothingStandsOnIt (B)16. x (A, AX): − standsOn (A, B), x (B, BX), AX = BX17. z (A, AZ): − standsOn (A, B), z (B, BZ), AZ = BZ18. y (A, AY): − standsOn (A, B), y (B, BY),h e ฉัน g t h (A, AHeight), h e ฉัน g t h (B, BHeight),AY =โดย +(AHeight+BHeight) / 2รายการ 1 นำเสนอแนวคิดของฉากเสมือนพิพิธภัณฑ์Mod

ผลลัพธ์ (ไทย) 2:

สิ่งของในที่เกิดเหตุเป็นวัตถุที่อยู่ในหกชั้นเรียน (สาย 1-4) สำหรับการเรียนของทุกสิ่งของวัตถุที่ถูกสร้างขึ้นและวัตถุบางอย่างที่แตกต่างกันวัสดุที่ได้รับมอบหมาย (5-6)
นอกจากนี้หกยืนที่ทำจากโลหะจะถูกสร้างขึ้น (7-8) และวางไว้ในสถานที่ที่แตกต่างกันภายในยุ้ง (9-10)
นอกจากนี้ตำแหน่งของสิ่งของที่ระบุไว้โดยข้อ จำกัด ในทางที่เปิดเผย (ซึ่งจะต้องค้นพบความรู้) โดยใช้กฎการเข้ารหัสในภาษาทดลอง(11-15) สิ่งประดิษฐ์ที่เป็นอยู่ในปัจจุบันไม่ได้อยู่บนขาตั้งใด ๆ ทุกที่วางอยู่บนขาตั้งซึ่งมีสิ่งประดิษฐ์ที่ยังไม่มี มันเป็นเพียงสิ่งที่สำคัญในการปรับใช้สิ่งของทั้งหมดที่อยู่บนอัฒจันทร์บางอย่าง แต่มันไม่สำคัญที่ยืนเป็นสิ่งประดิษฐ์ที่ถูกวางไว้โดยเฉพาะอย่างยิ่ง ในกฎระเบียบและ notStandsOnOthers nothingStandsOnIt ปฏิเสธเป็นความล้มเหลวที่จะใช้. วางสิ่งประดิษฐ์บนขาตั้งจะดำเนินการโดยการคำนวณ x, y และ z ที่พิกัดของสิ่งประดิษฐ์บนพื้นฐานของพิกัดของขาตั้ง(16-20). รูป 2. ภาพ 3 มิติจากพิพิธภัณฑ์เสมือนจริงของการเกษตร1 : Ar tefact RDF: นกฮูกพิมพ์:. ชั้น2 (: สูบบุหรี่: แสตมป์: แหวน: เหรียญ: เซนต์อังคารที่: หว่าน) 3 RDF: นกฮูกประเภท: ประเภท; 4 RDFS: subClassOf: Ar tefact. 5 (: สูบบุหรี่: หว่าน...) RDF: ชนิด (: สูบบุหรี่,...: หว่าน); 6 :. madeOf (... "ดิน", "ไม้") 7 (:... stand1,: s tand6) RDF: ประเภท: ยืน; 8 : madeOf "ฉันตาล"; 9 : อิงค์ ludedIn: ยุ้ง; 10 ตำแหน่ง ("..."....) 11 standsOn (A, B): - เป็น rtefact (A) ยืน (B),. notStandsOnOthers (A), nothingStandsOnIt (B) 12 notStandsOnOthers (A) - standsOn (A, B)! , ล้มเหลว (). 13 notStandsOnOthers (A). 14 nothingStandsOnIt (B): - standsOn (A, B)! , ล้มเหลว (). 15 nothingStandsOnIt (B). 16 x (A, ขวาน): -. standsOn (A, B) x (B, BX) AX = BX 17 ซี (A, AZ): - standsOn (A, B), ซี (B, BZ), AZ = BZ. 18 Y (A, AY): - standsOn (A, B), y (B, โดย) ความสูง (A, AHeight) ความสูง (B, BHeight). AY = จำแนก + (AHeight + BHeight) / 2 รายการ 1 การแสดงความคิดของพิพิธภัณฑ์เสมือนฉากมด

ผลลัพธ์ (ไทย) 3:

สิ่งประดิษฐ์ในฉากที่เป็นวัตถุที่เป็นของหกชั้น ( สาย 2 ) ทุกชั้นเรียนของสิ่งประดิษฐ์ , วัตถุ
ถูกสร้างขึ้นและสำหรับบางวัตถุวัสดุต่าง ๆที่ได้รับมอบหมาย ( 5-6 ) นอกจากนี้ หกยืนที่ทำจากโลหะ
ถูกสร้างขึ้น ( 7-8 ) และวางไว้ในสถานที่ที่แตกต่างกันในยุ้งฉาง ( 9-10 ) นอกจากนี้ ตำแหน่งของสิ่งประดิษฐ์
ที่ระบุไว้ตามข้อจำกัดในทางคำประกาศ ( ซึ่งจะต้องมีการค้นพบความรู้ ) โดยใช้กฎการเข้ารหัส
prova ภาษา ( 11-15 ) ทุก สิ่ง ประดิษฐ์ ที่ขณะนี้ไม่มีขาตั้ง วางบนขาตั้ง ซึ่งมีสิ่งประดิษฐ์
ไม่ยัง มันเป็นเพียงที่สำคัญที่จะใช้ทั้งหมดสิ่งประดิษฐ์บางอย่างอยู่ แต่มันไม่ได้เป็นสิ่งสำคัญที่ยืน
สิ่งประดิษฐ์โดยเฉพาะอยู่ในกฎและ notstandsonothers nothingstandsonit , ปฏิเสธความล้มเหลวใช้ .
วางสิ่งของบนขาตั้งโดยการคำนวณค่าพิกัด X , Y และ Z ของสิ่งประดิษฐ์บนพื้นฐานของ
พิกัดของขาตั้ง ( 16-20 ) .
รูปที่ 2 ฉาก 3 มิติจากพิพิธภัณฑ์เสมือนจริงของการเกษตร
1 : ar t E F A C T RDF : พิมพ์นกฮูก : Class .
2 ( : smoker : แสตมป์ , แหวน , เหรียญ , เซนต์เป็นวันอังคาร:
หว่าน )
3 ข้อมูล : ประเภทนกฮูก : ชั้น ;
4 R D F S : subclassof : ar t E F A C T .
5 ( : smoker . . . . . . . . , หว่าน ) R D F : ประเภท : smoker . . . . . . . .
: หว่าน , ) ;
6 : madeof ( " C L Y " . . . . . . . . " ไม้ " )
7 ( : stand1 , . . . . . . . . : s tand6 ) R D F : ประเภท : ยืน ;
8 : " ฉัน madeof T L " ;
9 : Inc ludedin : ยุ้งฉาง ;
10 : P O S T O N ( ฉัน " . . . . . . . " . . . . . . . . ) .
11 standson ( AB ) : − r T E F A C T ( A ) , ขาตั้ง ( B )
notstandsonothers ( ) , nothingstandsonit ( B )
12 notstandsonothers ( ) : − standson ( a , b ) !
, F ฉัน ( L )
13 notstandsonothers ( ) .
14 nothingstandsonit ( B ) : − standson ( a , b ) !
, F ฉัน ( L )
15 nothingstandsonit ( B )
16 X ( , ขวาน ) : − standson ( a , b ) x ( b , BX ) BX Ax = .
17 Z ( , AZ ) : − standson ( a , b ) z ( B , BZ ) , AZ = BZ .
18Y ( , . . ) : − standson ( A , B ) Y ( B )
, H E ชั้น G H ( , aheight ) H E ชั้น G H ( B , bheight )
. . = ( aheight bheight ) / 2 .
รายการ 1 การแสดงแนวคิดของพิพิธภัณฑ์เสมือนฉาก
.