'

Компонента KIFConverter проекта KNOWLEDGE.NET

Понравилась презентация – покажи это...





Слайд 0

Компонента KIFConverter проекта KNOWLEDGE.NET Санкт-Петербургский Государственный Университет Докладчик Сигалин Максим Владимирович Научный руководитель Сафонов Владимир Олегович, проф., д.т.н.


Слайд 1

KIF (Knowledge Interchange Format) Обмен знаниями Язык исчисления предикатов первого порядка Не имеет конструкций для описания фреймов/онтологий http://logic.stanford.edu/kif/dpans.html


Слайд 2

Система Ontolingua Надстройка над KIF Имеет конструкции для описания фреймов/онтологий Набор трансляторов в другие языки представления знаний http://www.ksl.stanford.edu/software/ontolingua/


Слайд 3

Процесс конвертации


Слайд 4

Конструкции Knowledge.NET Фреймы Онтологии


Слайд 5

Конструкции Ontolingua DEFINE-CLASS DEFINE-FRAME DEFINE-RELATION DEFINE-INSTANCE


Слайд 6

DEFINE-CLASS (DEFINE-CLASS <structure-name> (<arg>) {:def | :iff-def} <sent-with-arg-vars> [:constraints <sent-with-arg-vars>] [:class-slots (<slot-spec>*)] [:instance-slots (<extended-slot-spec>*)] [:default-slot-values (<slot-spec>*)] )


Слайд 7

Пример (define-class female-person (?person) "female humans" :iff-def (and (human ?person) (= (gender ?person) female)) )


Слайд 8

Слоты Предопределенные собственные слоты: INSTANCE-OF SUBCLASS-OF ...


Слайд 9

DEFINE-RELATION (define-relation FR_NAME.SL_NAME (?Frame ?Value) :Def (And (FR_NAME ?Frame) (SL_TYPE ?Value)))


Слайд 10

DEFINE-INSTANCE (define-instance <instance-name> (<class-name>+) ... )


Слайд 11

Конструкции KIF DEFRELATION DEFOBJECT Unrestricted type (defrelation constant sentence*) (defobject constant sentence*)


Слайд 12

Пример (defrelation Human (Documentation Human “Class frame Human") (Subclass-Of Human Thing) (Class Human)) (defrelation Human.Name (Documentation Human.Name “Slot Name of frame Human") (Range Human.Name String) (Domain Human.Name Human) (Slot Human.Name)) (defobject Jack (Human Jack) (Human.Name Jack “Jack”) (Documentation Jack “Instance frame Jack"))


Слайд 13

Запуск из Visual Studio 2005


Слайд 14

?


×

HTML:





Ссылка: