Precisiation of Meaning via Translation into PRUF

Abstract

It is suggested that communication between humans - as well as between humans and machines - may be made more precise by the employment of a meaning representation language PRUF which is based on the concept of a possibility distribution. A brief exposition of PRUF is presented and its application to precisiation of meaning is illustrated by a number of examples.