نتایج جستجو برای: life situation

تعداد نتایج: 873039  

Journal: :TheScientificWorldJournal 2005
Søren Ventegodt Trine Flensborg-Madsen Niels Jørgen Andersen Joav Merrick

A prospective cohort study (Copenhagen Perinatal Birth Cohort 1959-61) of 7,222 persons was used in order to explore the association between the social and health situation during pregnancy and the global quality of life (QOL) of the adult child 31-33 years later. Two sets of questionnaires were used with one filled out by physicians during pregnancy and one filled out by the adult children 31-...

2017
Rahul B. Pandit Mary Mathews Shashikala Sangle

Life satisfaction is the way persons evaluate their lives and how they feel about their directions and options for the future. It is a measure of well-being and may be assessed in terms of mood, satisfaction with relations with others and with achieved goals, self-concepts, and self-perceived ability to cope with daily life. A global measure of life satisfaction has become increasingly importan...

2011
Jianbing Ma Weiru Liu Paul C. Miller

Situation calculus has been applied widely in artificial intelligence to model and reason about actions and changes in dynamic systems. Since actions carried out by agents will cause constant changes of the agents’ beliefs, how to manage these changes is a very important issue. Shapiro et al. [22] is one of the studies that considered this issue. However, in this framework, the problem of noisy...

1994
Mikhail Soutchanski Eugenia Ternovska

This paper presents a logical approach to formalization of some aspects of multi-agent systems in an incompletely known world. The contribution on this regard is as follows. We formalized reasoning about concurrent actions inside the situation calculus framework which has the suuciently clear and well-understood semantics to express diierent aspects of agent theory. Conclusions can be drawn by ...

2016
Marcelo Arenas Jorge A. Baier Juan S. Navarro Sebastian Sardiña

We propose a simple relaxation of Reiter’s basic action theories, based on fluents without successor state axioms, that accommodates incompleteness beyond the initial database. We prove that fundamental results about basic action theories can be fully recovered and that the generalized framework allows for natural specifications of various forms of incomplete causal laws. We illustrate this by ...

2004
Robert Demolombe Andreas Herzig

Obligation change raises the “frame problem” which is to characterise what obligations remain unchanged after an action has been performed. Many general solutions have been proposed but even if they are attractive from a thoretical point of view they have practical draw-

2002
Graham White

This paper examines the semantics of a group of logical techniques, used by the Artificial Intelligence community, and which are fundamental for circumscriptionbased approaches to the situation calculus. At first sight, this calculus appears to be an operationalised version of David Lewis’ account of causal reasoning: there are items – here called ‘situations’ – which are analogous to Lewis’ po...

2008
Yilan Gu Mikhail Soutchanski

We design a representation based on the situation calculus to facilitate development, maintenance and elaboration of very large taxonomies of actions. This representation leads to more compact and modular basic action theories (BATs) for reasoning about actions than currently possible. We compare our representation with Reiter’s BATs and prove that our representation inherits all useful propert...

Journal: :Artif. Intell. 2017
Christoph Schwering Gerhard Lakemeyer Maurice Pagnucco

This article considers defeasible beliefs in dynamic settings. In particular, we examine the belief projection problem: what is believed after performing an action and/or receiving new information? The approach is based on an epistemic variant of Reiter’s situation calculus, where actions not only have physical effects but may also provide new information to the agent. The preferential belief s...

2014
Vaishak Belle Hector J. Levesque

When Lin and Reiter introduced the progression of basic action theories in the situation calculus, they were essentially motivated by long-lived robotic agents functioning over thousands of actions. However, their account does not deal with probabilistic uncertainty about the initial situation nor with effector or sensor noise, as often needed in robotic applications. In this paper, we obtain r...

نمودار تعداد نتایج جستجو در هر سال

با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید