libcats.org
Главная

A Logic of Arbitrary and Indefinite Objects

Обложка книги A Logic of Arbitrary and Indefinite Objects

A Logic of Arbitrary and Indefinite Objects

A Logic of Arbitrary and Indefinite Objects, La, has been developed as the logic for knowledge representation and reasoning systems designed to support natural language understanding and generation, and commonsense reasoning. The motivations for the design of La are given, along with an informal introduction to the theory of arbitrary and indefinite objects, and to Lа itself. La is then formally defined by presenting its syntax, proof theory, and semantics, which are given via a translation scheme between La and the standard classical First-Order Predicate Logic. Soundness and completeness theorems are stated, and their proofs are sketched. L is being implemented as the logic of SNePS 3, the latest member of the SNePS family of Knowledge Representation and Reasoning systems.
EPUB | FB2 | MOBI | TXT | RTF
* Конвертация файла может нарушить форматирование оригинала. По-возможности скачивайте файл в оригинальном формате.
Популярные книги за неделю:

50 рецептов для аэрогриля

Автор:
Категория: house, house, cook
Размер книги: 771 Kb

Ключ к сверхсознанию

Автор:
Категория: Путь к себе
Размер книги: 309 Kb

Contemporary Theatre, Film and Television, Volume 97

Автор:
Размер книги: 3.18 Mb
Только что пользователи скачали эти книги:

Ирод

Автор:
Размер книги: 367 Kb

Следы на снегу

Автор:
Размер книги: 1.83 Mb

Барбара Картленд. Отомщенное сердце

Автор:
Размер книги: 245 Kb

Professional PHP4

Автор: , Автор: , Автор: , Автор:
Категория: Computer science
Размер книги: 12.31 Mb

Psychology, 8th Edition

Автор: , Автор: , Автор: , Автор:
Размер книги: 43.17 Mb

Don Juan

Автор:
Категория: fiction
Размер книги: 1.96 Mb

Life Application Study Bible (NIV) (Mobi)

Автор:
Категория: Bibles, Christian
Размер книги: 34.95 Mb