the present article is to explain ibn sina’s view on the god’s knowledge of things by rational-analytic method. peripatetic philosophers including ibn sina have used the expression representation (irtisam) in discussing divine foreknowledge of things. commentators and critics of avicenna’s works had not the same interpretation of this expression but had given different understandings of it so t...

We develop an extensible description logic for stating the content of optimalitytheoretic constraints in phonology, and specify a class of structures for interpreting it. The aim is a transparent formalisation of OT. We show how to state a wide range of constraints, including markedness, input–output faithfulness and base–reduplicant faithfulness. However, output–output correspondence and ‘inte...

This paper concentrates on comparing the relative expressive power of ve non-monotonic logics that have appeared in the literature. The results on the computational complexity of these logics suggest that these logics have very similar expressive power that exceeds that of classical monotonic logic. A reened classiication of non-monotonic logics by their expressive power can be obtained using t...

This paper presents the motivation expressions of Smart Walker, which is intended for use during rehabilitation exercise for the recovery of walking ability. Smart Walker is the application of a robotic system for the elderly. Its main purposes are to improve mobility and maintain balance, though it can also be used as a rehabilitation assistant for patients who have trouble walking as a result...

Languages often single out prominent positions for special consideration, allowing certain elements to appear only in those positions. Often material in the prominent position surfaces faithfully but neutralizes elsewhere (preservation systems), but other systems involve the spreading or migration of features to the prominent position to comply with the positional restriction (overwrite systems...