He says the most time-consuming part of their effort won't be computer programming in the classic sense as much as figuring out what statements about the real world users should be presented with, and how those contradict or confirm eachother.
At the Dec. 9 hearing, Gorosh argued that prosecutors cannot charge Kevorkian with both first-degree murder and assisted suicide because the charges contradicteachother.