[Top] [All Lists]

Re: [ontolog-forum] Executable English and Logic and databases

To: "[ontolog-forum] " <ontolog-forum@xxxxxxxxxxxxxxxx>
From: Andreas Tolk <atolk@xxxxxxx>
Date: Sun, 11 May 2008 06:57:46 -0400
Message-id: <OF0273F202.646446A2-ON85257446.003C38B7-85257446.003C38BC@xxxxxxxxxxxxx>
I agree with John that the positions are very close.
Databases use logic and regular expressions, as the work on computer with models that are living in the world of true and false. By design, some models can deal with uncertainty and vagueness, but they do this in a certain and crisp way (which means that they use well define principles to capture ambiguous information unambiguously).
Many users are not really comfortable with this, and in most cases don't have the education. A more "natural," but nonetheless consistent layer in their language is preferable. Executable English is a great option.
The challenge is to make sure that both structures are derived from the same model. Otherwise we end up with inconsistency. In the language of model theory: true statements must remain true in both models, and false statements must remain false.
============================== ;-)
Andreas Tolk, Ph.D.
Associate Professor
Engineering Management & Systems Engineering
242B Kaufman Hall
Old Dominion University
Norfolk, VA 23529
(757) 683-4500 (voice)
(757) 683-5640 (fax)

Message Archives: http://ontolog.cim3.net/forum/ontolog-forum/  
Subscribe/Config: 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 Post: mailto:ontolog-forum@xxxxxxxxxxxxxxxx    (01)

<Prev in Thread] Current Thread [Next in Thread>