The Infona portal uses cookies, i.e. strings of text saved by a browser on the user's device. The portal can access those files and use them to remember the user's data, such as their chosen settings (screen view, interface language, etc.), or their login data. By using the Infona portal the user accepts automatic saving and using this information for portal operation purposes. More information on the subject can be found in the Privacy Policy and Terms of Service. By closing this window the user confirms that they have read the information on cookie usage, and they accept the privacy policy and the way cookies are used by the portal. You can change the cookie settings in your browser.
Annotated logics were proposed as foundations for Para consistent logic programming, and later studied as a class of non-classical logics. We propose evidential annotated logics Et for evidential reasoning which is based on beliefs and disbeliefs. We give a formal presentation of Et and introduce uncertainty and certainty degrees for practical application.
In recent years, various agricultural support systems for greenhouse horticulture have been proposed and implemented. One such existing agricultural support system is a cloud system that enables users to monitor the greenhouse climate or remotely control some devices using smartphones or tablet PCs. However, existing systems assume that users have expertise in agriculture, because users decide to...
A paraconsistent annotated logic program called EVALPSN has been developed for dealing with defeasible deontic reasoning and plausible reasoning, and applied to various kinds of intelligent control and safety verification. Moreover, in order to deal with before-after relation between processes(time intervals), bf(before-after)-EVALPSN has also been developed recently. In this paper, we review the...
This paper presents an automatic translation system of gestures of the manual alphabets in the Arabic sign language. The proposed Arabic Sign Language Alphabets Translator (ArSLAT) system does not rely on using any gloves or visual markings to accomplish the recognition job. As an alternative, it deals with images of bare hands, which allows the user to interact with the system in a natural way. The...
I have already proposed a paraconsistent annotated logic program called Extended Vector Annotated Logic Program with Strong Negation (EVALPSN), which can deal with defensible deontic reasoning. EVALPSN has been applied to various intelligent control and safety verification systems such as pipeline valve control, railway interlocking safety verification, etc. Moreover, EVALPSN has been developed to...
Set the date range to filter the displayed results. You can set a starting date, ending date or both. You can enter the dates manually or choose them from the calendar.