In this paper, answer set programming and hierarchical knowledge bases are compared as knowledge representation paradigms for representing agent behavior. The comparison is based on two evaluation criteria: (1) comprehensibility (i. e., how easily the represented agent behavior can be comprehended by humans) and (2) reasoning efficiency (i. e., which of the two paradigms allows agents for more ...

Our work develops a new methodology and tool for the validation of probabilistic knowledge bases throughout their lifecycle. The methodology minimizes user interaction by automatically modifying incorrect knowledge; only the occurrence of incomplete knowledge involves interaction. These gains are realized by combining and modifying techniques borrowed from rulebased and artificial neural networ...

During the last years, electrical utilities began to install intelligent applications in order to assist Control Centre operators. The Verification and Validation (V&V) process intends to assure the reliability of these applications, even under incident conditions. This paper addresses the Validation and Verification of Knowledge-Based Systems (KBS) in general, focussing particularly on the V&V...

The term „pedagogy‟ has become a more commonly used word in English educational circles, but it is an under-used and partially misunderstood concept. It is the aim of this article to explore some of the factors that lead to effective classroom teaching. The medieval view of teaching was one where only subject knowledge was necessary, but the work of social constructivists has led to a more stud...

A most crucial problem in knowledge representation is the revision of knowledge when new, possibly contradictory, information is obtained (belief revision). In this paper, we address this problem when the knowledge base is a set of expressions in propositional logic. We introduce a new representation of propositional expressions using 2-dimensional tables and show why this representation is mor...

The research in AI is divided in to two categories Knowledge representation and general. For making the computer or Machine as intelligent as human being we require two things Knowledge representation and inference mechanism. Development of an AI system is a crucial task because some time we have incomplete information and it can be ambiguous and uncertain. So solution to these problems is to b...

We are interested in providing semi-automatic support for the task of integrating large knowledge bases (KBs) through the use of structural information in description logics. For that reason we set up a formal framework for the integration of KBs which enables us to investigate the potential and limits of using structural information (in contrast to just thesaurus information involving identifi...