This paper presents a method for agents’ knowledge representation by using semantic network with node and links activation level defined on the instance, concept, relation and axiom level. The first part shortly presents the state-of-the-art in the considered field; next, the CIMIS prototype is shortly characterized; the formal definition of a method for agents’ knowledge representation is pres...

In this paper we introduce public announcements to Subset Space Logic (SSL). In order to do this we have to change the original semantics for SSL a little and consider a weaker version of SSL without the cross axiom. We present an axiomatization, prove completeness and show that this logic is PSPACE-complete. Finally, we add the arbitrary announcement modality which expresses “true after any an...

reason in mu`tazila`s of basreh is explained by interpretations like knowledge, prohibition, thought, opinion, way to achieve knowledge, and apprehension of religious duties. they were the first group of sunnis that benefited from speculative reason in cognition of religion; and argued for good and evil of deeds through practical reason, and rejected vile action of allah, they also argued for d...

This paper presents the study of algebraic structures equipped with inverted associativity axiom. Initially, definition left and right almost-groups is introduced afterwards, focused on more general structures, which are almost-hypergroups their enumeration in cases order 2 3. The outcomes these enumerations compared corresponding hypergroups reveal interesting results. Next, fundamental proper...

The theory of non-linear planning was presented in a semi-formal way by Chapman in his seminal paper. He did not provide a fully formal axiomatisation of his theory, and many of his proofs were semantic rather than formal in nature. Consequently his theory does not exist in a form amenable to veriication using automated proof-checking technology. Further, it does not exist in a form which facil...

Interval Temporal Logic (ITL) is an established temporal formalism for reasoning about time periods. For over 25 years, it has been applied in a number of ways and several ITL variants, axiom systems and tools have been investigated. We solve the longstanding open problem of finding a complete axiom system for basic quantifier-free propositional ITL (PITL) with infinite time for analysing nonte...