Marcus mu Marcus m un g in g it Ceresa rt Ceresar u

Một phần của tài liệu Biểu diễn tri thức nhờ logic vị từ bậc một (Trang 50 - 52)

M ts ts nh nh xn xé ét 2 \

Marcus mu Marcus m un g in g it Ceresa rt Ceresar u

\

\ MM i ngi ng i i đđ u trung thu trung thàành vnh v i mi m t ngt ng i ni nàào o đđóó

∀X, X, ∃∃Y LOYALTO(X, Y)Y LOYALTO(X, Y) hoho cc ∃∃Y, Y, ∀∀X LOYALTO(X, Y)X LOYALTO(X, Y) \

\ Nhân dân chNhân dân ch mumu n gin gi t nht nh ng kng k cc m quym quy nn

m

màà hh không trung thkhông trung thàànhnh∀ ∀

∀X, X, ∀∀Y PERSON(X) Y PERSON(X) ∧∧ RULER(Y) RULER(Y) ∧∧ TRYASSASSINATE(X, Y) TRYASSASSINATE(X, Y) →→

¬

¬LOYALTO(X, Y)LOYALTO(X, Y) M

M nh nh đđ nànày ty t ra mra m p mp m (ambiguous). Có(ambiguous). Có phph i chi ch nhnh ng kng k cc m m quy

quy n mn màà nhân dân munhân dân mu n gin gi t lt làà nhnh ng kng k hh không trung thkhông trung thàành (theo nh (theo ngh

ngh a a đđã biã bi u tr ngu tr ng) hay ch) hay ch nhnh ng ng đđii u mu màà nhân dân cnhân dân cóó ý ý đđ nh lnh làà gigi t t nh

nh ng kng k cc m quym quy n mn màà hh không trung thkhông trung thàành ?nh ? \

\ Marcus muMarcus mu n gin gi t Ceresart Ceresaru u

u TRYASSASSINATE(marcus, caesar)TRYASSASSINATE(marcus, caesar) \

51/

51/6969

B

Bàài ti t p 2p 2

\

\ Cho cCho cáác câu sau :c câu sau :u u

u Marcus lMarcus làà mm t ngt ng ii

u

u Marcus lMarcus làà ng ng i Pompeiii Pompeii

u

u Marcus sinh n m Marcus sinh n m 40 trong công nguyên (A.D.: Anno Domini)40 trong công nguyên (A.D.: Anno Domini)

u

u MM i ngi ng i i đđ u (ai cu (ai c ng phng ph i) chi) ch tt

u

u TT t ct c mm i ngi ng i dân Pompeii i dân Pompeii đđ u bu b chch tt v

vìì nnúúi li l a phun va phun vàào n m o n m 79 A.D.79 A.D.

u

u Không cKhông cóó ng ng i ni nàào (không ai) so (không ai) s ng nhing nhi u h n u h n 150 tu150 tu ii

u u Bây giBây gi llàà n m n m 20072007 u u Còn sCòn s ng cng cóó nghngh a la làà không chkhông ch tt u u NN u ai u ai đđóó chch t, tht, thìì ng ng i i y cy cóó thth chch t t mm i thi th i i đđii m sau m sau đđóó u

u Marcus còn sMarcus còn s ng không ?ng không ? \

\

Một phần của tài liệu Biểu diễn tri thức nhờ logic vị từ bậc một (Trang 50 - 52)

Tải bản đầy đủ (PDF)

(69 trang)