SNePS

Tradurre in linguaggio naturale e rappresentare le seguenti asserzioni:

Semplici asserzioni

(assert member Tweety class canary)

(assert object Tweety ability fly)

(assert member Opus class bird)

Una rete più ampia

(assert object elephant isa animal)

(assert object circus\ elephant isa elephant)

(assert object Dumbo isa circus\ elephant)

(assert object Clyde isa elephant)

(assert object bird isa animal)

(assert object Tweety isa bird)

(assert object animal has head)

(assert object head has mouth)

(assert object elephant has trunk)

(assert trunk isa appendage)

Tradurre in linguaggio naturale e rappresentare le regole seguenti

(assert forall $dog1

ant (build member *dog1 class dog)

cq (build member *dog1 class pet))

(assert forall (*dog1 $cat1)

&ant ((build member *dog1 class dog)

(build member *cat1 class cat))

cq (build agent *dog1 act hates object *cat1))

Последнее изменение: среда, 23 апреля 2014, 16:08