Главная    Ex Libris    Книги    Журналы    Статьи    Серии    Каталог    Wanted    Загрузка    ХудЛит    Справка    Поиск по индексам    Поиск    Форум   
blank
Авторизация

       
blank
Поиск по указателям

blank
blank
blank
Красота
blank
Wong L.C.W. — Automated reasoning about classical mechanics
Wong L.C.W. — Automated reasoning about classical mechanics



Обсудите книгу на научном форуме



Нашли опечатку?
Выделите ее мышкой и нажмите Ctrl+Enter


Название: Automated reasoning about classical mechanics

Автор: Wong L.C.W.

Аннотация:

In recent years, researchers in artificial intelligence have become interested in replicating human physical reasoning talents in computers. One of the most important skills in this area is the ability to predict how physical systems behave. This thesis discusses an implemented program that can generate algebraic descriptions of how systems of rigid bodies evolve over time. Discussion about the design of this program identifies a powerful physical reasoning paradigm and knowledge representation approach based on mathematical model construction and algebraic reasoning. This paradigm offers a number of advantages over methods that have become popular in the field, and seems a promising approach for reasoning about a wide variety of classical mechanics problems.


Язык: en

Рубрика: Computer science/

Статус предметного указателя: Нет и не будет

ed2k: ed2k stats

Год издания: 1994

Количество страниц: 107

Добавлена в каталог: 21.04.2013

Операции: Положить на полку | Скопировать ссылку для форума | Скопировать ID
blank
HR
@Mail.ru
       © Электронная библиотека попечительского совета мехмата МГУ, 2004-2020
Электронная библиотека мехмата МГУ | Valid HTML 4.01! | Valid CSS! О проекте