534,366 Hits in 5.4 sec

Reasoning about Action: An Argumentation - Theoretic Approach

Q. B. Vo, N. Y. Foo
2005 The Journal of Artificial Intelligence Research  
We present a uniform non-monotonic solution to the problems of reasoning about action on the basis of an argumentation-theoretic approach.  ...  As much attention of researchers in the field has been paid to the traditional and basic problems in reasoning about actions such as the frame, the qualification and the ramification problems, approaches  ...  The first author was partially supported by an International Postgraduate Research Scholarship (IPRS) sponsored by the Australian government.  ... 
doi:10.1613/jair.1602 fatcat:xinkoaijobefvgm4f4omitbu44

Cochrane Review as a "Warranting Device" for Reasoning About Health

Sally Jackson, Jodi Schneider
2017 Argumentation: an international journal on reasoning  
Contemporary reasoning about health is infused with the work products of experts, and expert reasoning about health itself is an active site for invention and design.  ...  The new inference rules themselves function as warrants, and we introduce the term "warranting device" to refer to an assembly of the rule plus whatever material, procedural, and institutional resources  ...  Introduction Argumentation is a natural communication practice that serves, broadly, to test people's beliefs and to reach alignments needed for practical action.  ... 
doi:10.1007/s10503-017-9440-z fatcat:cwwililznjbxdianpb2brlo4ne

Reasoning about actions and change in argumentation

E. Hadjisoteriou, A. Kakas
2015 Argument & Computation  
This paper studies how logic-based reasoning about actions and change (RAC) with its problems of temporal projection and qualification can be formalised in terms of argumentation.  ...  In particular, we extend earlier work of translating the language E for RAC into a logic-based argumentation framework, by introducing new types of arguments for (i) backward persistence and (ii) persistence  ...  Introduction and motivation Reasoning about actions and change (RAC) has been an important problem in the development of artificial intelligence (AI).  ... 
doi:10.1080/19462166.2015.1123774 fatcat:pfg7swqvefc6xpeghgf3us7vxe

Reasoning about effects of concurrent actions

Chitta Baral, Michael Gelfond
1997 The Journal of Logic Programming  
In this paper we extend the language d and its translation to allow reasoning about the effects of concurrent actions.  ...  I> Gelfond and Lifschitz introduce a declarative language ~e' for describing effects of actions and describe translations of theories in this language into extended logic programs.  ...  languages for proving properties of various formalisms for modeling reasoning about actions.  ... 
doi:10.1016/s0743-1066(96)00140-9 fatcat:4fvhs45pkjdcvh6kef4gjfoeia

E-RES: A System for Reasoning about Actions, Events and Observations [article]

Antonis Kakas, Rob Miller, Francesca Toni
2000 arXiv   pre-print
E-RES is a system that implements the Language E, a logic for reasoning about narratives of action occurrences and observations.  ...  E-RES allows theories to contain general action laws, statements about action occurrences, observations and statements of ramifications (or universal laws).  ...  framework for reasoning about actions and change.  ... 
arXiv:cs/0003034v2 fatcat:dbemp6uabbhdva5ptjy4ke6dbm

Reasoning about actions and change with ramification [chapter]

Erik Sandewall
1995 Lecture Notes in Computer Science  
The systematic approach to nonmonotonic logics of actions and change attempts to identify, for each proposed logic, what is its range of applicability relative to a precise de nition of intended models  ...  The article also presents some new results, where the same systematic approach is applied to the case of chronicles with inertia and rami cation.  ...  In this case, the actions are implemented as programs in the robot controller system, and reasoning about the actions is a particular kind of reasoning about programs.  ... 
doi:10.1007/bfb0015262 fatcat:3nhcexi2bjboncnedt7hp2b2dq

Reasoning about Actions Meets Strategic Logics [chapter]

Andreas Herzig, Emiliano Lorini, Dirk Walther
2013 Lecture Notes in Computer Science  
We also consider an epistemic extension of ATLEA. We demonstrate that the resulting logic is sufficiently expressive to reason about uniform choices of actions.  ...  ATLEA allows to reason about abilities of agents under commitments to play certain actions. Pre-and postconditions as well as availability and unavailability of actions can be expressed.  ...  Reasoning about actionsWe now put ATLEA to work and demonstrate its usefulness in reasoning about multiagent actions.  ... 
doi:10.1007/978-3-642-40948-6_13 fatcat:gfs66wpnmfgsrfbaxn42zogdc4

Logic Programming and Reasoning about Actions [chapter]

Chitta Barai, Michael Gelfond
2005 Foundations of Artificial Intelligence  
In this chapter we discuss how recent advances in logic programming can be used to represent and reason about actions and its impact on a dynamic world, which are necessary components of intelligent agents  ...  , we may have incomplete information about the world, and we may need to construct a plan for a given goal.  ...  Some of the other aspects of logic programming based reasoning about actions that we and other researchers worked on but which we did not discuss here are: reasoning about concurrent actions [Baral and  ... 
doi:10.1016/s1574-6526(05)80015-x fatcat:gfj4qmdcbvcf3bce2xyaji4qva

Deliberation dialogues for reasoning about safety critical actions

Pancho Tolchinsky, Sanjay Modgil, Katie Atkinson, Peter McBurney, Ulises Cortés
2011 Autonomous Agents and Multi-Agent Systems  
should be accepted on the basis of their relevance; and finally, 3) evaluating the accepted arguments in order to provide an assessment of whether the proposed action should or should not be undertaken  ...  on an evidential basis.  ...  In arguing about action proposals, participants may undermine an action proposal by questioning whether the action will bring about any undesirable effects 10 .  ... 
doi:10.1007/s10458-011-9174-5 fatcat:4spi6rt6svfxtngnqafeotpioy

Reasoning about Robot Actions: A Model Checking Approach [chapter]

Khaled Ben Lamine, Froduald Kabanza
2002 Lecture Notes in Computer Science  
This paper discusses the use of model-checking to reason about robot actions in this context.  ...  The approach proposed is to study behaviors that allow abstract, but informative models, so that a computer program can reason with them efficiently.  ...  We are investigating more efficient approaches, where we can exploit syntactic information about the LTL progress conditions being monitored to only store partial, but sufficient information about the  ... 
doi:10.1007/3-540-37724-7_8 fatcat:tiwpg2v4fre53ohxmx3su27kje

ε-RES: Reasoning about Actions, Events and Observations [chapter]

Antonis Kakas, Rob Miller, Francesca Toni
2001 Lecture Notes in Computer Science  
The language for reasoning about actions and change can be translated into an argumentation framework.  ...  A system, called -RES, is developed that can support directly a variety of modes of common sense reasoning such as: default persistence in credulous or skeptical form, assimilation of observations and  ...  Default Persistence The argumentation translation of the language maps the basic reasoning of default persistence captured by the model theoretic semantics of into an argumentation reasoning.  ... 
doi:10.1007/3-540-45402-0_19 fatcat:mtodcv2enjcdtmxa6mbznocidm

PDL-based framework for reasoning about actions [chapter]

Giuseppe Giacomo, Maurizio Lenzerini
1995 Lecture Notes in Computer Science  
Propositional Dynamic Logics (PDL's) provide a suitable formal framework for modeling actions and reasoning about them.  ...  Observe that an atomic action denoted by an action formulae is composed, in general, by a set of primitive actions intended to be executed in parallel.  ...  Though PDL's have been only sparingly adopted for reasoning about actions (main exceptions being 28, 17] , but also 4]) there are two signi cant arguments that make them attractive. 1.  ... 
doi:10.1007/3-540-60437-5_10 fatcat:twki64offfcwnghkpepwd5tqvi

Reasoning about Strategies [chapter]

Johan van Benthem
2013 Lecture Notes in Computer Science  
In this little piece, I discuss one theme in the overlap of our interests, namely, logical systems for reasoning with strategies -in gentle exploratory mode. 1  ...  Issues this time include new notions of game equivalence, perhaps dependent on rationality types of players, but also just the analysis of basic game-theoretic arguments about solution methods.  ...  Begin with the absolute basics, look at the soundness arguments for linear logic in game semantics, and extract the minimum needed to make its reasoning about game constructions work.  ... 
doi:10.1007/978-3-642-38164-5_23 fatcat:gjqtj4xwbjcxxdk46e6m3slzna

Reasoning about Others' Reasoning

Larbi Alaoui, Katharina A. Janezic, Antonio Penta
2020 Journal of Economic Theory  
Rather, there is an interaction between own cognitive bound and reasoning about the opponent's reasoning process.  ...  ' increased incentives to reason.  ...  level-k reasoning is the obvious focal way in which to approach the game.  ... 
doi:10.1016/j.jet.2020.105091 fatcat:7etfc3t2pvgr7lvnt4kosalqku

Affecting Argumentative Action: The Temporality of Decisive Emotion

Prins Marcus Valiant Lantz
2021 Argumentation: an international journal on reasoning  
Using practical inferences, a threefold model for the interrelation of emotion and time in argumentation outlines how argumentative action depends on whether speakers provide reasons for the exigence that  ...  for decisive, yet argumentative action was crucial.  ...  Starting from the premise that rhetorical argumentation is practical reasoning about choice of action, I have argued that in situations of uncertainty argumentation affects action, such as decisions, via  ... 
doi:10.1007/s10503-021-09546-2 pmid:33574641 pmcid:PMC7805425 fatcat:qkyyocwpbrbjrlnpqebaottg3m
« Previous Showing results 1 — 15 out of 534,366 results