Natural inferences in semiotic models

Author

Plesniewicz, Gerald S.

Author_Institution

Moscow State Inst. of Electron. & math., Russia

fYear

1998

fDate

14-17 Sep 1998

Firstpage

878

Lastpage

882

Abstract

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

Keywords

formal logic; high level languages; nonmonotonic reasoning; CONCEPT; MSIEM; concept-oriented languages; default reasoning; logical deduction; natural inferences; semiotic models; Humans; Machine shops; Machining; Mathematics; Milling; Production; Shafts; Spatial databases; Turning;

fLanguage

English

Publisher

ieee

Conference_Titel

Intelligent Control (ISIC), 1998. Held jointly with IEEE International Symposium on Computational Intelligence in Robotics and Automation (CIRA), Intelligent Systems and Semiotics (ISAS), Proceedings

Conference_Location

Gaithersburg, MD

ISSN

2158-9860

Print_ISBN

0-7803-4423-5

Type

conf

DOI

10.1109/ISIC.1998.713835

Filename

713835