We start by defining a simple belie

We start by defining a simple belief language and
model theory to be able to talk about the mental states of
various. We model beliefs using a modal operator BEL,
e.g. (BEL bill (have joe hammer)), with the usual
possible worlds semantics [Cohen & Levesque, 1990]. We
need to be able to talk about ‘pieces’ of information, which
in this present context refer syntactically to sentences, but
semantically are equivalent to constraints over possible
worlds, i.e. those worlds satisfying the expression. Goals,
however, refer to specific steps in plans in MALLET, to
which agents can make commitments.

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

เราเริ่ม โดยการกำหนดภาษาความเชื่อง่าย และทฤษฎีแบบจำลองเพื่อให้สามารถพูดคุยเกี่ยวกับสถานะทางจิตของต่าง ๆ เราแบบความเชื่อที่ใช้ตัวดำเนินการโมดอลเบลเช่น (บิลเบล (มีโจค้อน)), กับปกติความหมายของโลกได้ [โคเฮนและ Levesque, 1990] เราต้องสามารถพูดคุยเกี่ยวกับชิ้นส่วนของข้อมูล ซึ่งในบริบทนี้อยู่ดูตามไวยากรณ์ประโยค แต่ประโยคจะเท่ากับข้อจำกัดไปได้โลก เช่นโลกที่ตรงกับนิพจน์ เป้าหมายอย่างไรก็ตาม อ้างถึงขั้นตอนในแผนในค้อน การตัวแทนที่สามารถทำให้ภาระผูกพัน

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

เราเริ่มต้นด้วยการกำหนดเป็นภาษาที่เรียบง่ายและความเชื่อ
ทฤษฎีแบบจำลองจะสามารถที่จะพูดคุยเกี่ยวกับรัฐจิตของ
ต่างๆ เราเชื่อรูปแบบการใช้ประกอบกิริยาเบล
เช่น (บิล BEL (มีโจค้อน)) กับปกติ
ของโลกที่เป็นไปได้ความหมาย [โคเฮนและ Levesque 1990] เรา
จะต้องสามารถที่จะพูดคุยเกี่ยวกับชิ้นส่วนของข้อมูลซึ่ง
ในบริบทปัจจุบันนี้ดูไวยากรณ์ประโยค แต่
ความหมายเทียบเท่ากับข้อ จำกัด ที่เป็นไปได้มากกว่า
โลกคือโลกผู้ที่ความพึงพอใจของการแสดงออก เป้าหมาย
แต่หมายถึงขั้นตอนที่ระบุในแผนในตะลุมพุกไป
ที่ตัวแทนสามารถทำให้ภาระผูกพัน

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

เราเริ่มต้นโดยการกำหนดภาษาและความเชื่อง่ายทฤษฎีแบบจำลองสามารถพูดคุยเกี่ยวกับจิตใจของสหรัฐอเมริกาต่าง ๆ เราใช้แบบจำลองความเชื่อ ( Modal เบลเช่น ( เบลบิล ( มีโจค้อน ) กับปกติที่สุดโลกอรรถศาสตร์ [ Cohen & เลเวสก์ 1990 ] เราต้องสามารถพูดคุยเกี่ยวกับ ' ชิ้น ' ของข้อมูล ซึ่งในบริบทปัจจุบัน นี้หมายถึงการประโยค แต่ความหมายคือเทียบเท่ากับข้อจำกัดมากกว่าที่สุดโลกโดยโลกเป็นเพียงการแสดงออก เป้าหมายแต่ดูที่ขั้นตอนที่ระบุในแผนในค้อน ,ซึ่งตัวแทนสามารถให้ผูกพัน