Search All of the Math Forum:
Views expressed in these public forums are not endorsed by
NCTM or The Math Forum.


Math Forum
»
Discussions
»
sci.math.*
»
sci.math
Notice: We are no longer accepting new posts, but the forums will continue to be readable.
Topic:
TEMPORAL REASONING with HORN CLAUSES
Replies:
4
Last Post:
May 2, 2013 3:45 AM




TEMPORAL REASONING with HORN CLAUSES
Posted:
May 1, 2013 6:39 PM


Historical facts only have fleeting truth...
EXIST(time) event(...., at(time))
as opposed to say Mathematical or Physics facts..
ALL(time) is( space , 3D )
which are true predicates at all times.

finish( 1 , bolt, 100m ) : olympics(2000)
This HORN CLAUSE says
boltfinished1stinthe100m
is TRUE on the condition that
itsthe2000Olympics

So instead of atomic facts, temporal CLAUSES work just like ordinary PROLOG CLAUSES.
i.e. Prolog Rules.
Now temporal facts can be explicitly stated as absolute truths.
itsthe2000Olympics > boltfinished1stinthe100m
finish( 1 , bolt, 100m ) < olympics(2000)

Say you want to state with predicates that
you were on a plane between certain times...
move( gray, plane, brisbane, sydney ) : from( 01012013) , to(02012013)
This succinctly expresses that I was on the plane for 1 day.

The Fleeting Truth of historical facts is just expressed as a conditional fact.
Herc  www.BLoCKPROLOG.com



