QUANTIFIED ONTOLOGIES FOR REAL LIFE APPLICATIONS

Lucia Vacariu, George Fodor, Gheorghe Lazea, Octavian Cret

2009

Abstract

Industrial applications are using run-time symbolic approaches only when formal methods can assign useful meaning to symbols by computationally inexpensive algorithms. However, most reasoning methods are either computationally prohibitive or may compute indefinitely; thus such methods have limited use in industrial applications. In many practical situations, the uncertain environment in which an “intelligent” control system acts consists of the symbolic space of some other “intelligent” control system, both networked in the same name space. The result of such interaction is to establish relations between heterogeneous vocabularies and reasoning agents, and between symbols and the physical environment in which the connected systems act. This paper introduces and motivates the necessity for on-line quantification of the degree to which symbols in a system have their intended meaning.

Download


Paper Citation


in Harvard Style

Vacariu L., Fodor G., Lazea G. and Cret O. (2009). QUANTIFIED ONTOLOGIES FOR REAL LIFE APPLICATIONS . In Proceedings of the 6th International Conference on Informatics in Control, Automation and Robotics - Volume 1: ICINCO, ISBN 978-989-674-000-9, pages 383-386. DOI: 10.5220/0002176103830386

in Bibtex Style

@conference{icinco09,
author={Lucia Vacariu and George Fodor and Gheorghe Lazea and Octavian Cret},
title={QUANTIFIED ONTOLOGIES FOR REAL LIFE APPLICATIONS },
booktitle={Proceedings of the 6th International Conference on Informatics in Control, Automation and Robotics - Volume 1: ICINCO,},
year={2009},
pages={383-386},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0002176103830386},
isbn={978-989-674-000-9},
}


in EndNote Style

TY - CONF
JO - Proceedings of the 6th International Conference on Informatics in Control, Automation and Robotics - Volume 1: ICINCO,
TI - QUANTIFIED ONTOLOGIES FOR REAL LIFE APPLICATIONS
SN - 978-989-674-000-9
AU - Vacariu L.
AU - Fodor G.
AU - Lazea G.
AU - Cret O.
PY - 2009
SP - 383
EP - 386
DO - 10.5220/0002176103830386