ON THE LOGIC UNDERLYING COMMON SENSE
Janos J. Sarbo · 2007
In order to endow computers with common sense with respect to specific domains we need to have a representation of the world and make commitments about what knowledge is and how it is obtained. This paper is an attempt to introduce such a representation and underlying ‘naive ’ logic on the basis of an analysis of the properties of cognitive activity. This paper is of interest to those engaged in the development of user interfaces and ontologies, as well as to those interested in the semiotic aspects of problem specification and requirement engineering. The focus of this paper is on the theory, applications are briefly mentioned due to lack of space.