Nonmonotonic reasoning on a constructive time structure

Author(s):  
A. Fusaoka
1990 ◽  
Vol 13 (4) ◽  
pp. 403-443
Author(s):  
Michael Gelfond ◽  
Halina Przymusinska

Current research in the area of nonmonotonic reasoning suggests that autoepistemic logic provides a general framework for formalizing commonsense reasoning in various domains of discourse. The goal of this paper is to investigate the suitability of autoepistemic logic for formalization of some forms of inheritance reasoning. To this end we propose a new semantics for inheritance networks with exceptions based on autoepistemic logic.


1993 ◽  
Vol 18 (2-4) ◽  
pp. 129-149
Author(s):  
Serge Garlatti

Representation systems based on inheritance networks are founded on the hierarchical structure of knowledge. Such representation is composed of a set of objects and a set of is-a links between nodes. Objects are generally defined by means of a set of properties. An inheritance mechanism enables us to share properties across the hierarchy, called an inheritance graph. It is often difficult, even impossible to define classes by means of a set of necessary and sufficient conditions. For this reason, exceptions must be allowed and they induce nonmonotonic reasoning. Many researchers have used default logic to give them formal semantics and to define sound inferences. In this paper, we propose a survey of the different models of nonmonotonic inheritance systems by means of default logic. A comparison between default theories and inheritance mechanisms is made. In conclusion, the ability of default logic to take some inheritance mechanisms into account is discussed.


2021 ◽  
Vol 21 (2) ◽  
pp. 215-225
Author(s):  
Rafael Martínez-Gallego ◽  
Fernando Vives ◽  
José Francisco Guzmán ◽  
Jesús Ramón-Llin ◽  
Miguel Crespo

2019 ◽  
Vol 38 (6) ◽  
pp. 686-701 ◽  
Author(s):  
Hannes Ovrén ◽  
Per-Erik Forssén

This paper revisits the problem of continuous-time structure from motion, and introduces a number of extensions that improve convergence and efficiency. The formulation with a [Formula: see text]-continuous spline for the trajectory naturally incorporates inertial measurements, as derivatives of the sought trajectory. We analyze the behavior of split spline interpolation on [Formula: see text] and on [Formula: see text], and a joint spline on [Formula: see text], and show that the latter implicitly couples the direction of translation and rotation. Such an assumption can make good sense for a camera mounted on a robot arm, but not for hand-held or body-mounted cameras. Our experiments in the Spline Fusion framework show that a split spline on [Formula: see text] is preferable over an [Formula: see text] spline in all tested cases. Finally, we investigate the problem of landmark reprojection on rolling shutter cameras, and show that the tested reprojection methods give similar quality, whereas their computational load varies by a factor of two.


Author(s):  
Jan Felcyn

Abstract Purpose Road traffic noise is the most common source of noise in modern cities. The noise indicators used to manage noise do not take into account its temporal structure. However, in cities the traffic flow varies during the day, peaking due to congestion and more fluent periods. In this research we sought to analyze how people (giving answers on a numerical ICBEN scale) perceive noise stimuli with the same LAeqT values but different time structures (more/less noise events, different amplitude envelopes). Methods 31 people with normal hearing took part in an experiment conducted in an anechoic chamber. Participants listened to 18 different noise recordings and rated each of them using the numerical ICBEN scale regarding noise annoyance. Results The results showed that only sound level was a statistically significant factor. However, based on people’s remarks about noise, we can also say that the more intermittent the noise is, the more negative feelings it evokes in people. Conclusions Time structure does not have a significant influence on people’s judgments about noise annoyance. However, people tend to have a preference for a steady noise rather than an intermittent one.


Sign in / Sign up

Export Citation Format

Share Document