Chitta Baral, Son Cao Tran  Home/Search
Context Related
| ep.liu.se/ea/cis/1...is98009revised.ps ep.liu.se/ea/cis/1998/009...cis98009.ps ep.liu.se/ea/cis/1...is98009revise2.ps Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: ep.liu.se/ea/cis/1998/009/ (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: In this paper we give a formal characterization of reactive control using action theories. In the process we formalize the notion of a reactive control program being correct with respect to a given goal, a set of initial states, and action theories about the agent/robot and about the exogenous actions. We give sufficiency conditions that guarantee correctness and use it to give an automatic method for constructing provenly correct control modules. We then extend our approach to action... (Update)
Context of citations to this paper: More
.... is based on the idea of representing the world by sentences of formal logic and reasoning about it by manipulating those sentences [12, 1]. Most of these formalizations define an entailment relationship (j= between the specifications (of effects of actions and relation among...
.... have proposed to substitute planning with more lightweighted reasoning techniques, like behaviours ( 9] 8] policies ( 3] 4] 10] [2]) and others. The drawback of these solutions is that, while they solve the problem of a timely interaction with the environment, they pose...
Cited by: More
Common-Sense Reasoning as Proto-Scientific Agent Activity - Dell'Acqua, Pereira (Correct)
A Formal Characterization of Maintenance Goals - Mutsumi Nakamura And (Correct)
Execution Monitoring of High-Level Robot Programs. - Giuseppe De Giacomo (1998) (Correct)
Similar documents (at the sentence level):
57.6%: Relating Theories of Actions and Reactive Control - Baral, Son (1997) (Correct)
5.3%: Relating Theories of Actions and Reactive Robot Control - Baral, Son (1996) (Correct)
Active bibliography (related documents): More All
0.4: From theory to practice: The UTEP robot in the.. - Baral, Floriano.. (1998) (Correct)
0.4: Relating Logic Programming Theories of Actions and Partial Order.. - Baral (1997) (Correct)
0.4: Narratives as Programs - Reiter (2000) (Correct)
Similar documents based on text: More All
0.5: Formalizing sensing actions: a transition function based approach - Baral, Son (1998) (Correct)
0.4: Approximate Reasoning About Actions in Presence of Sensing and.. - Baral, Son (1997) (Correct)
0.4: Relating possible world based and POMDP based characterization.. - Baral, Tran (1999) (Correct)
Related documents from co-citation: More All
12: Representing Action and Change by Logic Programs - Gelfond, Lifschitz - 1993
12: Golog: A logic programming language for dynamic domains - Levesque, Reiter et al. - 1997
10: Some philosophical problems from the standpoint of Artificial Intelligence (context) - McCarthy, Hayes - 1969
BibTeX entry: (Update)
C. Baral, T. and Son. Relating theories of actions and reactive control. In Robots, Softbots, Immobots: Theories of Action, Planning and Control, working notes of the workshop held on July 27, 1997 in conjunction with the AAAI-97, Providence, Rhode Island. http://citeseer.ist.psu.edu/baral98relating.html More
@misc{ baral97relating,
author = "C. Baral and T. Son",
title = "Relating theories of actions and reactive control",
text = "C. Baral, T. and Son. Relating theories of actions and reactive control.
In Robots, Softbots, Immobots: Theories of Action, Planning and Control,
working notes of the workshop held on July 27, 1997 in conjunction with
the AAAI-97, Providence, Rhode Island.",
year = "1997",
url = "citeseer.ist.psu.edu/baral98relating.html" }
Citations (may not include all citations):1364 A robust layered control system for a mobile robot (context) - Brooks - 1986
891 STRIPS: A new approach to the application of theorem proving.. (context) - Fikes, Nilson - 1971
725 Temporal and modal logic (context) - Emerson - 1990
663 Some philosophical problems from the standpoint of artificia.. (context) - McCarthy, Hayes - 1969
458 Intelligence without reason - Brooks - 1991
399 Intention is choice with commitment (context) - Cohen, Levesque - 1990
388 The frame problem in the situation calculus: A simple soluti.. (context) - Reiter - 1991
365 Pengi: an implementation of a theory of activity (context) - Agre, Chapman - 1987
269 GOLOG: A logic programming language for dynamic domains - Levesque, Reiter et al. - 1997
261 Reactive reasoning and planning (context) - Georgeff, Lansky - 1987
260 BDI agents : From theory to practice - Rao, Georgeff - 1995
256 Representing actions and change by logic programs - Gelfond, Lifschitz - 1993
226 An investigation into reactive planning in complex domains (context) - Firby - 1987
213 Universal plans for reactive robots in unpredictable environ.. - Schoppers - 1987
210 A formal theory of knowledge and action (context) - Moore - 1985
200 and Practical Reason (context) - Bratman, Plans - 1987
175 Nonmonotonic logic and temporal projection (context) - Hanks, McDermott - 1987
161 Situated agents can have goals (context) - Maes - 1991
160 Programs with common sense - McCarthy - 1959
151 The frame problem and knowledge producing actions - Scherl, Levesque - 1993
140 Conditional non-linear planning - Peot, Smith - 1992
138 An approach to planning with incomplete information - Etzioni, Hanks et al. - 1992
127 State constraints revisited - Lin, Reiter - 1994
119 Using branching time temporal logic to synthesize synchroniz.. (context) - Emerson, Clarke - 1982
115 What is planning in the presence of sensing (context) - Levesque - 1996
115 Integrating planning and reacting in a heterogeneous asynchr.. (context) - Gat - 1992
115 A multivalued logic approach to integrating planning and con.. - Saffioti, Konolige et al. - 1995
110 the synthesis of a reactive module (context) - Pnueli, Rosner - 1989
105 Solving the frame problem: A mathematical investigation of t.. (context) - Shanahan - 1997
102 the synthesis of useful social laws for artificial agent soc.. (context) - Shoham, Tennenholtz - 1992
92 Experiences with an architecture for intelligent (context) - Bonasso, Kortenkamp et al. - 1995
91 Teleo-Reactive programs for agent control - Nilsson - 1994
90 Planning under time constraints in stochastic domains - Dean, Kaelbling et al. - 1995
87 Anytime synthetic projection: Maximizing probability of goal.. - Drummond, Bresina - 1990
85 Modelling rational agents within a BDI-architecture (context) - Rao, Georgeff - 1991
84 What are the limitations of the situation calculus (context) - Gelfond, Lifschitz et al. - 1991
83 A methodology and modelling technique for systems of BDI age.. - Kinny, Georgeff et al. - 1996
79 Representing concurrent actions in extended logic programmin.. (context) - Baral, Gelfond - 1993
76 Ramification and causality - Thielscher - 1997
75 Reasoning about knowledge and action (context) - Moore - 1977
75 Provably correct theories of action - Lin, Shoham - 1995
75 Reasoning about knowledge and action (context) - Moore - 1979
71 Concurrent actions in the situation calculus (context) - Lin, Shoham - 1992
69 Action and planning in embedded agents (context) - Kaelbling, Rosenschein - 1991
69 Temporal reasoning in logic programming: A case for the situ.. - Pinto, Reiter - 1993
67 Designing Autonomous Agents (context) - Maes - 1991
65 Temporal Reasoning in the Situation Calculus - Pinto - 1994
64 decidability and undecidability results for domain-independe.. (context) - Erol, Nau et al. - 1995
62 Knowledge in action: logical foundation for describing and i.. (context) - Reiter - 1998
58 concurrency and continuous time in the situation calculus (context) - Reiter - 1996
57 Becoming increasingly reactive (context) - Mitchell - 1990
55 Planning for temporally extended goals - Bacchus, Kabanza - 1996
54 A situated view of representation and control - Rosenschein, Kaelbling - 1995
54 Multiagent systems - a theoretical framework for intentions (context) - Singh - 1994
52 Using metalogic to reconcile reactive with rational agents - Kowalski - 1995
52 Narratives in the situation calculus - Miller, Shanahan - 1994
50 Filter preferential entailment for the logic of action in al.. (context) - Sandewall - 1989
48 Branching time temporal logic (context) - Emerson, Srinivasan - 1989
47 universally bad idea (context) - Ginsberg, An - 1989
46 A logical approach to high level robot programming -- a prog.. - Lesperance, Levesque et al. - 1994
42 Foundations of a logical approach to agent programming - Lesperance, Levesque et al. - 1995
40 execution and monitoring (context) - Ambros-Ingerson, planning - 1988
35 A syntactic theory of belief and action (context) - Haas - 1986
34 The design of intelligent agents - a layered approach (context) - Muller - 1996
34 Representing sensing actions: the middle ground revisited - Golden, Weld - 1996
33 Features and Fluents: The representation of knowledge about .. (context) - Sandewall - 1994
33 Adding knowledge to the action description language - Lobo, Taylor et al. - 1997
32 Planning control rules for reactive agents - Kabanza, Barbeau et al. - 1997
32 Observations and Hypothesis (context) - Baral, Gelfond et al. - 1997
32 Towards a cooperation knowledge level for collaborative prob.. - Jennings - 1992
30 An efficient reactive planner for synthesizing reactive plan.. - Godefroid, Kabanza - 1991
30 The range of applicability of nonmonotonic logics for the in.. (context) - Sandewall - 1993
30 Embracing occlusion in specifying the indirect effects of ac.. - Gustafsson, Doherty - 1996
29 Approximate reasoning about actions in presence of sensing a.. - Baral, Son - 1997
29 Just-in-case scheduling - Drummond, Bresina et al. - 1994
28 Representation and Automatic Synthesis of Reaction Plans (context) - Schoppers - 1989
27 and exogenous actions in the situation calculus (context) - De Giacomo, Lesperance et al. - 1997
26 An empirical study of sensing and defaulting in planning - Krebsbach, Olawsky et al. - 1992
26 Planning with execution and incomplete informations - Golden, Etzioni et al. - 1996
25 and world knowledge in reactive navigation (context) - Arkin, perceptual - 1991
25 Cooperative problem solving guided by intentions and percept.. (context) - Burmeister, Sundermeyer - 1992
24 Formalizing Narratives using nested circumscription - Baral, Gabaldon et al. - 1996
23 Reasoning about effects of concurrent actions - Baral, Gelfond - 1997
22 Actions with indirect effects: Preliminary report - Kartha, Lifschitz - 1994
21 Provably correct theories of actions: preliminary report (context) - Lin, Shoham - 1991
20 Complexity and undecidability results in logic programming (context) - Schlipf - 1992
20 A logical and operational model of scalable knowledge- and p.. (context) - Wagner - 1996
20 Assessments of ramification methods that use static domain c.. - Sandewall - 1996
19 The humble programmer (context) - Dijkstra - 1972
18 Execution monitoring of high-level robot programs - DeGiacomo, Reiter et al. - 1998
18 An overview of some formal methods for program design (context) - Hoare - 1987
16 Achieving robustness by casting planning as adaptation of a .. - Lyons, Hendriks et al. - 1991
15 Planning reactive behavior: a progress report (context) - McDermott - 1990
12 Building plans to monitor and exploit open-loop and closed-l.. (context) - Schoppers - 1992
12 Mobile Robots (context) - Jones, Flynn - 1993
11 On babies and bathwater: a cautionary tale (context) - Hayes, Ford et al. - 1994
11 Incremental planning - Jonsson, Backstrom - 1995
10 Symbol grounding via a hybrid architecture in an autonomous .. (context) - Malcom, Smithers - 1991
10 Chronological ignorance: Time (context) - Shoham - 1986
10 Special issue on Action and Processes (context) - Georgeff, of et al. - 1994
10 Lecture Notes of Artificial Intelligence (context) - Thomas, agent - 1995
10 Concurrent actions and changes in the situation calculus - Alferes, Li et al. - 1994
9 The conceptual framework of MAI 2 L (context) - Steiner, Burt et al. - 1993
8 Features and fluents: A systemetic approach to the represent.. (context) - Sandewall - 1992
8 Off-line reasoning for on-line efficiency: knowledge bases - Moses, Tennenholtz - 1996
8 The use of dynamics in an intelligent controller for a space.. (context) - Schoppers - 1995
7 Estimating reaction plan size (context) - Schoppers - 1994
6 Indexical knowledge and robot action - a logical account - Lesperance, Levesque - 1995
6 tractability and reactivity (context) - Selman - 1994
5 Temporal logic and reasoning about actions - Mendez, Llopis et al. - 1996
5 the size of reactive plans - Jonsson, Backstrom - 1996
5 Responding to impasses in memory- driven behavior: a framewo.. (context) - Rosenbloom, Lee et al. - 1990
5 Situation control rules (context) - Drummond - 1989
5 Using abstraction and nondeterminism to plan reaction loops - Musliner - 1994
5 and languages: a bibliography (context) - Woolridge, Muller et al. - 1995
5 Special issue of the Journal of Logic Programming on Reasoni.. (context) - Lifschitz - 1997
5 Triangle tables: a proposal for a robot programming language (context) - Nilsson - 1985
4 and failure handling: a logic for agents embedded in real wo.. (context) - Traverso, Spalazzi et al. - 1995
4 Elphants don't play chess (context) - Brooks - 1991
4 Knowledge-based situated agents among us: a preliminary repo.. (context) - Li, Pereira - 1996
4 An ordering on goals for planning - formalizing control info.. - Lin - 1997
3 From Theory to Practice - The UTEP robot in the AAAI 96 and .. - Baral, Floriano et al. - 1998
3 Anything can happen: on narratives and hypothetical reasonin.. (context) - Karlsson - 1998
3 Plan Nets: a formal representation of action and belief for .. (context) - Drummond - 1986
3 Building symbolic prmitives with continuous control routines (context) - Firby - 1992
2 IJCAI 95 ATAL workshop (context) - Woolridge, Muller et al. - 1995
2 ECAI 94 ATAL workshop (context) - Woolridge, Agents - 1994
2 A perspective on multi-agent planning (context) - Lansky - 1989
2 Extending Theories of Action: Formal Theory and Practical Ap.. (context) - Boutilier, Goldszmidt et al. - 1995
2 Agents breaking Away -- 7th European workshop on modelling a.. (context) - Velde, Perram - 1996
2 BDI aspects of agents based on action theories (context) - Baral, Ghosh - 1997
2 The Rule-based Multi-Agent System MAGSY (context) - Fisher - 1993
2 Intelligent Agents III - ECAI 96 ATAL workshop (context) - Muller, Woolridge et al. - 1996
1 Logic-based modeling of goal directed behavior (context) - Sandewall - 1997
The graph only includes citing articles where the year of publication is known.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC