Other Problems

ASU

Event Calculus Answer Set Programming

Other Problems

The first three examples use Trajectory and AntiTrajectory axioms to represent continuous change. For larger timepoints, the time difference between the Answer Set Programming approach and the satisfiability-based approach (the DEC reasoner) is easily noticeable.

<A: number of atoms, C: number of clauses, R: number of ground rules>

Click 14 bechmark problems to see the results.

Problem (max time)	DEC Reasoner	ECASP with	ECASP with	ECASP with
Problem (max time)	DEC Reasoner	LPARSE + CMODELS	GRINGO + CLASP(D)	CLINGO
Falling W/ AntiTraj (5)	1.60	0.08	0.04	0.04
FallingObjectWithAntriTrajectory5.e	(1.60+0.00)	(0.08+0.00)	(0.04+0.00)
FallingObjectWithAntriTrajectory5-ea.e	A:72/C:199	A:518/R:730/C:0	A:330/R:512
FallingObjectWithAntriTrajectory5-ea.lp	A:72/C:199	A:518/R:730/C:0	A:330/R:512
Falling W/ AntiTraj (15)	270.20	0.76	0.13	0.10
FallingObjectWithAntriTrajectory15.e	(269.30+0.90)	(0.68+0.08)	(0.10+0.03)
FallingObjectWithAntriTrajectory15-ea.e	A:416/C:3056	A:5757/R:10480/C:0	A:4121/R:7820
FallingObjectWithAntriTrajectory15-ea.lp	A:416/C:3056	A:5757/R:10480/C:0	A:4121/R:7820
Falling W/ AntiTraj (25)	Ran out of	3.69	0.46	0.38
FallingObjectWithAntriTrajectory25-ea.e	Memory	(2.99+0.70)	(0.33+0.13)
FallingObjectWithAntriTrajectory25-ea.lp	(24.2 minutes)	A:22853/R:45890/C:0	A:17355/R:35092
Falling W/ Events (5)	0.10	0.16	0.05	0.05
FallingObjectWithEvents5.e	(0.10+0.00)	(0.15+0.01)	(0.04+0.01)
FallingObjectWithEvents5-ea.e	A:72/C:311	A:900/R:1674/C:0	A:660/R:1064
FallingObjectWithEvents5-ea.lp	A:72/C:311	A:900/R:1674/C:0	A:660/R:1064
Falling W/ Events (20)	21.40	11.46	1.00	0.78
FallingObjectWithEvents20.e	(21.30+0.10)	(10.09+1.37)	(0.71+0.29)
FallingObjectWithEvents20-ea.e	A:630/C:5510	A:831/R:131680/C:961	A:45918/R:71862
FallingObjectWithEvents20-ea.lp	A:630/C:5510	A:831/R:131680/C:961	A:45918/R:71862
Falling W/ Events (25)	107.70	34.77	2.94	2.35
FallingObjectWithEvents25.e	(107.50+0.20)	(30.61+4.16)	(2.02+0.92)
FallingObjectWithEvents25-ea.e	A:1092/C:12351	A:1197/R:390319/C:1393	A:139995/R:208282
FallingObjectWithEvents25-ea.lp	A:1092/C:12351	A:1197/R:390319/C:1393	A:139995/R:208282
Falling W/ Events (40)	Ran out of	317.18	25.48	21.57
FallingObjectWithEvents40-ea.e	Memory	(255.74+61.44)	(16.86+8.62)
FallingObjectWithEvents40-ea.lp	(25.2 minutes)	A:1207953/R:3152431/C:0	A:1169328/R:1676615
HotAirBalloon (3)	0.70	0.06	0.04	0.04
HotAirBalloon3.e	(0.60+0.10)	(0.05+0.01)	(0.03+0.01)
HotAirBalloon3-ea.e	A:40/C:75	A:159/R:250/C:0	A:94/R:133
HotAirBalloon3-ea.lp	A:40/C:75	A:159/R:250/C:0	A:94/R:133
HotAirBalloon (15)	61.10	0.22	0.06	0.05
HotAirBalloon15.e	(61.10+0.00)	(0.19+0.03)	(0.05+0.01)
HotAirBalloon15-ea.e	A:288/C:1163	A:489/R:2958/C:678	A:1137/R:1909
HotAirBalloon15-ea.lp	A:288/C:1163	A:489/R:2958/C:678	A:1137/R:1909
HotAirBalloon (20)	240.50	0.56	0.08	0.07
HotAirBalloon20.e	(240.40+0.10)	(0.34+0.22)	(0.07+0.01)
HotAirBalloon20-ea.e	A:462/C:2422	A:870/R:5670/C:1302	A:2254/R:3916
HotAirBalloon20-ea.lp	A:462/C:2422	A:870/R:5670/C:1302	A:2254/R:3916
HotAirBalloon (40)	Ran out of	3.17	0.48	0.39
HotAirBalloon40-ea.e	Memory	(2.84+0.33)	(0.39+0.09)
HotAirBalloon40-ea.lp	(24.8 minutes)	A:23687/R:45710/C:0	A:20078/R:37876
Telephone1 (3)	0.40	0.25	0.15	0.15
Telephone3.e	(0.40+0.00)	(0.24+0.01)	(0.14+0.01)
Telephone3-ea.e	A:461/C:3184	A:1117/R:1708/C:0	A:840/R:1272
Telephone3-ea.lp	A:461/C:3184	A:1117/R:1708/C:0	A:840/R:1272
Telephone1 (40)	18.20	1.84	0.44	0.37
Telephone40.e	(17.70+0.50)	(1.63+0.21)	(0.38+0.06)
Telephone40-ea.e	A:5419/C:41590	A:23978/R:29841/C:0	A:21333/R:27037
Telephone40-ea.lp	A:5419/C:41590	A:23978/R:29841/C:0	A:21333/R:27037