✦ LIBER ✦

Building the knowledge base of a production system from the raw data of a multi-sensor system

✍ Scribed by L.J. Barrios; A. Ruiz; P. Bustos; A. Ibanẽz

Book ID: 108028316
Publisher: Elsevier Science
Year: 1994
Tongue: English
Weight: 442 KB
Volume: 42
Category: Article
ISSN: 0924-4247
DOI: 10.1016/0924-4247(94)80061-8

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Knowledge validation in the building of

Knowledge validation in the building of a knowledge-based system

✍ Catherine Vicat; Patrick Brezillon; Christian Nottola 📂 Article 📅 1995 🏛 Elsevier Science 🌐 English ⚖ 643 KB

Towards the design of a secure data/know

Towards the design of a secure data/knowledge 11 base management system

✍ M.B. Thuraisingham 📂 Article 📅 1990 🏛 Elsevier Science 🌐 English ⚖ 946 KB

Validating the knowledge base of a produ

Validating the knowledge base of a production system by the operator coverage criterion

✍ Ya. Ya. Tepandi 📂 Article 📅 1990 🏛 Springer US 🌐 English ⚖ 453 KB

Checking the consistency of a hybrid kno

Checking the consistency of a hybrid knowledge base system

✍ Jaime Ramírez; Angélica de Antonio 📂 Article 📅 2007 🏛 Elsevier Science 🌐 English ⚖ 646 KB

A Knowledge Base for the maintenance of

A Knowledge Base for the maintenance of knowledge extracted from web data

✍ Juan D. Velásquez; Vasile Palade 📂 Article 📅 2007 🏛 Elsevier Science 🌐 English ⚖ 428 KB

A formal approach to the design of featu

A formal approach to the design of feature-based multi-sensor recognition systems

✍ Mieczyslaw M. Kokar; Zbigniew Korona 📂 Article 📅 2001 🏛 Elsevier Science 🌐 English ⚖ 270 KB

This paper shows an example of developing a fusion system in a formal framework, i.e., through the use of formal operators in the development process. Two main concepts of formal methods are theories and models. In our approach, the development of a fusion system consists of operations on theories a