Title :
Natural inferences in semiotic models
Author :
Plesniewicz, Gerald S.
Author_Institution :
Moscow State Inst. of Electron. & math., Russia
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;
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
Print_ISBN :
0-7803-4423-5
DOI :
10.1109/ISIC.1998.713835
