Ligęza, AntoniNalepa, Grzegorz J.Jantke, Klaus P.Fähnrich, Klaus-PeterWittig, Wolfgang S.2019-08-272019-08-2720053-88579-401-31https://dl.gi.de/handle/20.500.12116/24903The paper is dedicated to presentation of a new approach to joint design and verification of rule-based systems. The principal idea is that verification should be performed on-line, incrementally, during system design. This allows for early detection and handling of knowledge base anomalies and inconsistencies. The proposed approach offers also an innovative visual tool for computer-aided design. Knowledge representation is based on eXtended Tabular Trees (XTT) a very flexible and powerful knowledge representation paradigm combining the expressive power of attributive decision tables and decision trees. Design and verification process with an XTT design tool and the visual editor is discussed.enText/Conference Paper1617-5497