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