|
ИСТИНА |
Войти в систему Регистрация |
ФНКЦ РР |
||
Computer modelling of logical processesдоклад на конференции
- Автор: Panteleev P.A.
- Международная Конференция (Симпозиум) : Indo-Russian conference on Algebra, Number Theory Discrete Mathematics and their Applications
- Даты проведения конференции: 15-17 октября 2014
- Дата доклада: 15 октября 2014
- Тип доклада: не указан
- Докладчик: Panteleev P.A.
- Место проведения: МГУ, механико-математический факультет, Россия, Russia
-
Аннотация доклада:
The talk will be devoted to a computer program written by Prof. A.S. Podkolzin that aims to model human reasoning when solving problems. The program is a universal rule-based problem solver that can be trained by an expert in a particular domain using two new high-level programming languages called LOS and GENOLOG. At the current moment the system uses approximately 25 000 rules and can solve problems in a wide range of areas including mathematics, physics, chemistry, programming, and many others. During the talk there will be a demonstration of the program on a number of examples.
- Добавил в систему: Пантелеев Павел Анатольевич