Логические и сетевые модели: основы и применение