Software - ПО для ИИ

Язык программирования ADA

ADA - Энциклопедия языков программирования - Описание языка, истории развития, тенденций.
Приведены примеры программ для различных диалектов языка ADA.

Язык программирования LISP

LISP - Энциклопедия языков программирования - Описание языка, истории развития, тенденций.
Приведены примеры программ для различных диалектов языка LISP.

Языки программирования

В данном разделе особое внимание будет уделено языкам и системам программирования, созданным специально для разработки отдельных задач и систем искусственного интеллекта, источникам получения соответствующих общедоступных программных средств, книг и учебных пособий для практического ознакомления с программированием для ИИ.

Проект "Прогопедия" — свободная энциклопедия языков программирования.
сайт http://progopedia.ru/  | http://progopedia.com/ (англ.)

Идея проекта состоит в том, чтобы составить максимально полный перечень языков программирования (вместе с диалектами, реализациями и версиями), структурировать информацию о них и дать к каждому языку пример решения нескольких стандартизированных задач.


Все тексты доступны на условиях свободной лицензии GNU Free Documentation License.


Progopedia, the free encyclopedia of programming languages.
Progopedia is a free (GNU Free Documentation License) web-based encyclopedia of programming languages.


wikipedia.org
List of programming language researchers (incomplete)
List of researchers of programming language theory, design, implementation, and related areas.


Useful Links:
Links, supported by Mark Leone - Этот адрес электронной почты защищён от спам-ботов. У вас должен быть включен JavaScript для просмотра.  (Carnegie Mellon School of Computer Science, Pittsburgh, PA, USA):
Research Language Overviews

Researchers in Programming Languages and Compilers
Resources for programming language research
Links to home pages of researchers working on programming language theory, design, implementation, and related areas.


Различные способы классификации языков программирования
 
Парадигма программирования
— это комплекс концепций, принципов и абстракций, определяющих фундаментальный стиль программирования, например:
Императивная парадигма программирования описывает процесс вычислений посредством описания управляющей логики программы, т.е. в виде последовательности отдельных команд, которые должен выполнить компьютер. Каждая команда является инструкцией, изменяющей состояние программы. Программа, написанная в императивном стиле, похожа на набор приказов, выражаемых повелительным наклонением в естественных языках.
Декларативная парадигма программирование (включающая в себя функциональное программирование и логическое программирование) - такой стиль программирования, при использовании которого в программах описывается способ решения поставленной задачи, а не предписываются шаги для получения результата.

Список парадигм программирования


Смотри также:
Языки вероятностного программирования /Probabilistic Programming Llanguages

http://probabilistic-programming.org/wiki/Home
Данный сайт, разработчиком которого является Дэниэл Рой (Daniel RoyDepartment of Computer and Mathematical Sciences, University of Toronto Scarborough, Canada), служит хранилищем ссылок и информации о языках вероятностного программирования.
This website serves as a repository of links and information about Probabilistic Programming Languages, including both academic research spanning theory, algorithms, modeling, and systems, as well as implementations, evaluations, and applications. The site is still under construction.

Existing probabilistic programming systems
Collection of research articles on probabilistic programming
.
The probabilistic-programming mailing list hosted at CSAIL/MIT

Tutorials and Books

The Design and Implementation of Probabilistic Programming Languages
An introduction to PPLs and lightweight implementation techniques for sequential Monte Carlo and Metropolis-Hastings. Uses WebPPL.

Probabilistic Models of Cognition Tutorial
A Web-based book using Church to introduce probabilistic Cognitive Science and AI.

Towards common-sense reasoning via conditional simulation: legacies of Turing in Artificial Intelligence
Freer, Roy, and Tenenbaum relate Turing's legacy to probabilistic programming approaches in Artificial Intelligence in this book chapter, appearing in a volume edited by Rod Downey, entitled Turing's Legacy and being published by Cambridge University Press in their ASL Lecture Notes in Logic series.

Practical Probabilistic Programming
This book provides an introduction to probabilistic programming focusing on practical examples and applications. No prior experience in machine learning or probabilistic reasoning is required. The book uses Figaro to present the examples but the principles are applicable to many probabilistic programming systems.

 

Язык программирования PROLOG

PROLOG - Энциклопедия языков программирования - Описание языка, истории развития, тенденций.
Приведены примеры программ для различных диалектов языка PROLOG.


The Association for Logic Programming (ALP)

ALP Links
(logic programming):
Planet Prolog blog (mantained by Tom Schrijvers)
ALP Newsletter This is the electronic newsletter of the Association for Logic Programming. It contains news, net postings, call for papers, comments, conference announcements and humour, all related to Computational Logic.
Old issues (pre 2010) of the ALP Newsletters


Prolog systems:
B Prolog
CIAO Prolog
ECLiPSe Constraint Logic Programming System
GNU Prolog
SICStus Prolog
SWI Prolog
XSB Prolog
YAP Prolog
tuProlog

Answer set programming systems:
CMODELS
DLV
Disjunctive Logic Programming with Stable Model Semantics
Potassco (gringo, clasp, etc.)
Smodels (and lparse)

Extensions of logic programming:
Logtalk Object-oriented logic programming language
TOY A constraint functional logic system
The ProB Animator and Model Checker

Система программирования Visual Prolog

Prolog Development Center (PDC) - компания, создавшая и развивающая систему программирования Visual Prolog, поддерживает wiki-систему, связанную с ней и относящимися к ней средствами и библиотеками.
Visual Prolog in Russian