Intelligent agents must update their knowledge base as they acquire new information about their environment The modal logic S n has been designed for representing knowledge bases in societies of agents Halpern and Vardi have proposed the notion of re nement of S n Kripke models in order to solve multi agent problems in which knowledge evolves We argue that there are some problems with their pro...

The aim of this study is to investigate Iranian TEFL graduates’ conception of measurement error in research. Adopting a sequential explanatory multi-method strategy (Borg, 2009), the researchers analyzed causal and temporal relations in the research narratives elicited from 30 TEFL graduates. Gee’s (1986) framework for identifying narrative discourse units (lines, stanzas, and episodes) was ado...

An axiomatic theory represents mathematical knowledge declaratively as a set of axioms. An algorithmic theory represents mathematical knowledge procedurally as a set of algorithms. A biform theory is simultaneously an axiomatic theory and an algorithmic theory. It represents mathematical knowledge both declaratively and procedurally. Since the algorithms of algorithmic theories manipulate the s...

Algorithmic skeleton has received attention as an efficient method of parallel programming in recent years. Using the method, the programmer can implement parallel programs easily. In this study, a set of efficient algorithmic skeletons is introduced for use in implementing parallel genetic algorithm (PGA).A performance modelis derived for each skeleton that makes the comparison of skeletons po...

The algorithmic generation of textual descriptions of real world image sequences requires conceptual knowledge. The algorithmic generation of synthetic image sequences from textual descriptions requires conceptual knowledge, too. An explicit representation formalism for behavioral knowledge based on formal logic is presented which can be utilized in both tasks – Understanding and Creation of vi...

Attribute exploration has been investigated in several studies, with particular emphasis on the algorithmic aspects of this knowledge acquisition method. In its basic version the method itself is rather simple and transparent. But when background knowledge and partially described counterexamples are admitted, it gets more difficult. Here we discuss this case in an abstract, somewhat “axiomatic”...

Algorithmic research is an established knowledge engineering process that has allowed researchers to identify new or significant problems, to better understand existing approaches and experimental results, and to obtain new, effective and efficient solutions. While algorithmic researchers regularly contribute to this knowledge base by proposing new problems and novel solutions, the processes cu...

I will survey some matters of relevance to a philosophical discussion of information, taking into account developments in algorithmic information theory (AIT). I will propose that meaning is deep in the sense of Bennett’s logical depth, and that algorithmic probability may provide the stability needed for a robust algorithmic definition of meaning, one that takes into consideration the interpre...