MIT опубликовал хвалилку языка Gen, предназначенного для облегчённого программирования систем искусственного интеллекта, вот тамошний пресс-релиз: http://news.mit.edu/2019/ai-programming-gen-0626 (повод -- доклад на Programming Language Design and Implementation конференции). В этом пресс-релизе…

A general-purpose probabilistic programming system with programmable inference

In probability theory, a Markov model is a stochastic model used to model randomly changing systems. It is assumed that future states depend only on the current state, not on the events that occurred before it (that is, it assumes the Markov property). Generally, this assumption enables reasoning and computation with the model that would otherwise be intractable. For this reason, in the fields of predictive modelling and probabilistic forecasting, it is desirable for a given model to exhibit the Markov property.

Description This course introduces decision making under uncertainty from a computational perspective and provides an overview of the necessary tools for building autonomous and decision-support systems. Following an introduction to probabilistic models and decision theory, the course will cover computational methods for solving decision problems with stochastic dynamics, model uncertainty, and imperfect state information. Topics…  Read more

In the universe of programming languages, success for any new language hangs on
its ability to simplify some class of problem that exceed the capabilities of
other existing languages to generate simple solutions for. The concept of a
state machine is a powerful tool that programmers have used for ages to address
all manner of challenges, but until now implementing a state machine has
typically required either the use of involved external libraries or the design
of relatively opaque algorithms and data structures. Julia changes all of that
by embracing multiple dispatch and an extensible type system that, together,
provide everything a programmer requires to design and develop even the most
complex of state machines.

This presentation will begin with a basic introduction to the concepts behind
state machines and their implementation and then dive into an example of how
one might use the concept of a state machine to handle the parsing of a regular
expression into a Julia data structure. Continuing…