Re: [ontolog-forum] Discussion re reasoning about Time and State with RE

["Barkmeyer, Edward J" <edward.barkmeyer@xxxxxxxx>]

Matthew West wrote:

 

[MW>] The important thing to take from this is not that it is too difficult, but that you need to think about how time relates to the requirements you are trying to meet, and make sure you have a model that is fit for purpose. A particularly bad approach is to start with a current state model and then try to add change, history and time later.

 

+1! 

 

I have had relatively recent experience with a standards group that attempted to do exactly what Matthew describes, and ended up with inconsistent models of proposition, state, actuality and truth.  Time can change the truth value of static ‘propositions’, which means that your usage, your model, and/or your logic (and its model theory) have to deal with that.  That is why you have to read some of the literature.

 

-Ed

 

_________________________________________________________________
Message Archives: http://ontolog.cim3.net/forum/ontolog-forum/  
Config Subscr: http://ontolog.cim3.net/mailman/listinfo/ontolog-forum/  
Unsubscribe: mailto:ontolog-forum-leave@xxxxxxxxxxxxxxxx
Shared Files: http://ontolog.cim3.net/file/
Community Wiki: http://ontolog.cim3.net/wiki/ 
To join: http://ontolog.cim3.net/cgi-bin/wiki.pl?WikiHomePage#nid1J    (01)