0

Over the past few years, several different approaches have been proposed to deal with multiagent autoepistemic reasoning. Despite some limitations, each approach is important in its own right. While Pafikh’s approach allows an agent to reason uonmonotonically about other agents’ knowledge, it cannot reason about other agents’ nonmonotonic reasoning. Morgensteru’s logic provides a limited way to...

spiritual needs of human beings to look at the world and life meaningfully and escape from meaninglessness, and to look at religion as a factor that provides meaning to life, have opened a new horizon in the direction of understanding of religion and produced “meaning approach” in religious. by presenting a new interpretation of human being, religion and their relationship, this approach emphas...

the main purpose of this study is to comparative of two alternative approaches capabilities in the field of religious education pathology. salafism and fundamentalism is moving toward quasi education in religious education; but religious traditionalism and post revivalism can be adopted an alternative approach to religious education. critical analysis and interpretation of concept method used i...

The Hilbert Basis Theorem was the first major example of a non-constructive proof recognized in mathematics. Gordan said, on the subject of the theorem, “das ist keine Mathematik, das ist Theologie!” — “this is not Mathematics, this is Theology!” [8] Although there are several equivalent statements of the theorem, in this paper we will consider the version which states, in essence, that all rin...

In this paper we present a multi-modal polymorphic constructive type theory for a computational interpretation of programs equipped with locations for data accessibility in the context of distributed processing.

"The craving for an interpretation of history is so deep-rooted that, unless we have a constructive outlook over the past, we are drawn either to mysticism or to cynicism."1

An interpretation of children’s drawing is presented that is based on active perception of the world and the construction of an equivalent self contained two-dimensional world. This model is implemented in a computer program called Rose (Representation Of Spatial Experience). Inspired by the drawings of young children, Rose simulates the perception of the general form and structure of three-dim...

This paper continues the development of a heuristic initialization methodology for designing multilayer feedforward neural networks aimed at modeling nonlinear functions for engineering mechanics applications as presented previously at IMAC XXIV and XXV. Seeking a transparent and domain knowledge-based approach for neural network initialization and result interpretation, this study examines the...