|
|
libcats.org
A Logic of Arbitrary and Indefinite ObjectsShapiro S.C.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
* Конвертация файла может нарушить форматирование оригинала. По-возможности скачивайте файл в оригинальном формате.
Популярные книги за неделю:
Проектирование и строительство. Дом, квартира, садАвтор: Петер Нойферт, Автор: Людвиг Нефф
Размер книги: 20.83 Mb
Система упражнений по развитию способностей человека (Практическое пособие)Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 818 Kb
Сотворение мира (3-х томник)Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 817 Kb
Радиолюбительские схемы на ИС типа 555Автор: Трейстер Р.Категория: Электротехника и связь
Размер книги: 13.64 Mb
Только что пользователи скачали эти книги:
Кому это нужно?Автор: Некрасов Виктор ПлатоновичКатегория: Советская классическая проза
Размер книги: 24 Kb
Понсон дю Террайль. Королева баррикад (Роман VIII цикла "Молодость короля Генриха")Автор:
Размер книги: 104 Kb
Электронные методы обработки информации: Методические разработки и контрольные задания. Ч.1. Системы обработки текстовАвтор: Плотникова С.В., Автор: Тихомиров В.Г.Категория: Информатика и информационные технологии
Размер книги: 457 Kb
Comparison-Shopping Services and Agent DesignsАвтор: Yun WanКатегория: Математика, Прикладная математика
Размер книги: 6.34 Mb
Writing on Both Sides of the Brain: Breakthrough Techniques for People Who WriteАвтор: Henriette A. Klauser
Размер книги: 1.49 Mb
Skill-building Activities for Alcohol and Drug EducationАвтор: Bates, Автор: Carson.; Wigtil, Автор: James
Размер книги: 662 Kb
|
|
|