小编has*_*kos的帖子

cligo 4.5 中如何最小化文字实例的数量

我不确定如何在 clingo4(ASP 求解器)中编写优化语句。

我想最小化每个答案集中某些文字的实例总数。

我正在 ASP 中模拟火灾响应代理。代理可以选择在不同时间执行某些简单的操作,例如:

0{call_fire_department(Area, Time, Time+1)}1:- [preconditions].
0{send_security_guard(Guard, Area, Time, Time+1)}1:- [preconditions].
0{activate_fire_suppression(Area, Time, Time+1)}1:- [preconditions].
Run Code Online (Sandbox Code Playgroud)

代理有目标,需要在特定时间混合执行上述操作。我希望最大限度地减少上述每种情况的实例数量,同时仍然实现代理目标。

如何编写适当的优化语句?(我假设我需要一个“最小化”声明)。

谢谢。

answer-set-programming clingo

2
推荐指数
1
解决办法
2811
查看次数

标签 统计

answer-set-programming ×1

clingo ×1