Natural inferences in semiotic models

An approach to semiotic modeling makes use of concept-oriented languages. We consider methods of inference in semiotic models formulated in the CONCEPT, a concept-oriented semiotic modeling language which is under development in MSIEM. Our special interest is in drawing natural inferences that are close enough to ones which may be observed in human reasoning. One type of natural inference is related to default reasoning. We adapt the default reasoning method of Hautamaki (1992). Other types of natural inference is related to natural logical deduction. We outline an original method for obtaining natural proofs in CONCEPT using the productions associated with CONCEPT statements.