نتایج جستجو برای: lespérance

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

2009
Giuseppe De Giacomo Fabio Patrizi Sebastian Sardina

In this work, we consider a middle ground between automated planning (Ghallab, Nau, and Traverso 2004; Nau 2007; Green 1969; Weld 1999) and agent-oriented highlevel programming (Shoham 1993; Lespérance et al. 1995; Levesque and Reiter 1998; Rao 1996). Specifically, we propose a framework for high-level programming of autonomous intelligent agents using pure declarative goals. Automated planning...

2010
Nathan Schurr Paul Picciano Janusz Marecki

Commercial aviation transportation is on the rise and has become a necessity in our increasingly global world. There is a societal demand for more options, more traffic, more efficiency, while still maintaining safety in the airspace. To meet these demands the Next Generation Air Transportation System (NextGen) concept from NASA calls for technologies and systems offering increasing support fro...

2010
Adam Setapen Michael Quinlan Peter Stone

As robots become more commonplace, the tools to facilitate knowledge transfer from human to robot will be vital, especially for non-technical users. While some ongoing work considers the role of human reinforcement in intelligent algorithms, the burden of learning is often placed solely on the computer [2]. These approaches neglect the expressive capabilities of humans, especially regarding our...

2014
Malcolm Ryan

In this paper we investigate three different approaches to encoding domain-dependent control knowledge for Answer-Set Planning. Starting with a standard implementation of the action description language B, we add control knowledge expressed in the GOLOG logic programming language. A naive encoding, following the original definitions of Levesque et al., is shown to scale poorly. We examine two a...

2004
Tran Cao Son Chitta Baral Le-Chi Tuan

In this paper we introduce the language Golog+HTN for specifying control using procedural and HTN-based constructs together with deadlines and time restrictions. Our language starts with features from GOLOG and HTN and extends them so that we can deal with actions with duration by being able to specify time intervals between the start (or end) of an action (or a program) and the start (or end) ...

2012
Michael Levin

Psychiatry lags behind other medical fields in the diagnosis and classification of disorders. While other medical specialties came up with reasonably cohesive nomenclature and organization, mental disorders remain in apparent disarray. The proposed classification model approaches psychiatric disorders using the logic that guided the classification of medical diseases. Brain is not one organ and...

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

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