Filters








701 Hits in 3.7 sec

Describing plan recognition as nonmonotonic reasoning and belief revision [chapter]

Pawel Jachowicz, Randy Goebel
1997 Lecture Notes in Computer Science  
Our intent is to demonstrate the connections between a general plan recognition model and important concepts of belief revision and nonmonotonic reasoning, to help establish a basis for improving the speci  ...  We provide a characterization of plan recognition in terms of a general framework of belief revision and non-monotonic reasoning.  ...  Our intent is to demonstrate the connections between a general plan recognition model and important concepts of belief revision and nonmonotonic reasoning, to help establish a basis for improving the speci  ... 
doi:10.1007/3-540-63797-4_76 fatcat:w5ufvcyfrjbpfiwl5tp7isiadi

Two Logical Theories of Plan Recognition

W. Wobcke
2002 Journal of Logic and Computation  
To develop this theory, we adapt ideas from belief revision and conditional logic to define plan recognition inference as a nonmonotonic consequence operation based on an observer's plausibility ordering  ...  An underlying motivation for our work is to provide an intuitive semantic interpretation of plans using situation semantics and to interpret plan recognition as inference over courses of events.  ...  A much earlier version of this paper was presented at the Dagstuhl Seminar on Deductive Approaches to Plan Generation and Plan Recognition held at Schloß Dagstuhl in October, 1993.  ... 
doi:10.1093/logcom/12.3.371 fatcat:a7xg4aawu5el5msu2kgscxhtau

Forthcoming Papers

2002 Journal of Logic and Computation  
To develop this theory, we adapt ideas from belief revision and conditional logic to define plan recognition inference as a nonmonotonic consequence operation based on an observer's plausibility ordering  ...  Wobcke We present a logical approach to plan recognition that builds on Kautz's theory of keyhole plan recognition, defined as the problem of inferring descriptions of high-level plans from a set of descriptions  ...  To develop this theory, we adapt ideas from belief revision and conditional logic to define plan recognition inference as a nonmonotonic consequence operation based on an observer's plausibility ordering  ... 
doi:10.1093/logcom/12.2.343 fatcat:zwwbtjctevf2dcwnzt7dx2u4ey

Page 939 of Psychological Abstracts Vol. 81, Issue 2 [page]

1994 Psychological Abstracts  
ly, and facilitates a nonmonotonic plan recognition system. 7871.  ...  —In many artificial intelligence domains (such as dialog participation and multi-agent cooperative planning) it is often necessary that the system maintains complex models of the beliefs of agents with  ... 

Nonmonotonic Reasoning as a Temporal Activity [article]

Daniel G. Schwartz
2014 arXiv   pre-print
Every controller does, nonetheless, provide an algorithm for nonmonotonic belief revision.  ...  A dynamic reasoning system (DRS) is an adaptation of a conventional formal logical system that explicitly portrays reasoning as a temporal activity, with each extralogical input to the system and each  ...  These cited works are nowadays regarded as the classic approaches to nonmonotonic reasoning and belief revision.  ... 
arXiv:1404.7173v1 fatcat:2ub27yletvg4rh5zcoderhdsuq

Some Key Notions in Non-monotonic Reasoning

Raymundo Morado
2004 Latin-American Workshop on Non-Monotonic Reasoning  
This paper explores the role of some basic notions in the study of non-monotonic reasoning, such as validity, logical consequence, context, rules and assumptions. 1 It offers some considerations about  ...  I propose that work on non-monotonic reasoning can benefit from new notions of inference, logicality and reason. The paper is divided into three sections.  ...  A logic for default reasoning. In Artificial Intelligence, vol. 13, no. 1-2, pp. 81-132. Reprinted in Ginsberg (1987), pp. 68-93. [Reiter and Criscuolo (1981)] Reiter, Raymond, Criscuolo, g., (1981)  ... 
dblp:conf/lanmr/Morado04 fatcat:cjmleghfdrav3iugxgv3atcnpq

The Fourth International Workshop on Nonmonotonic Reasoning

David W. Etherington, Henry A. Kautz
1994 The AI Magazine  
His research includes work on planning, plan recognition, temporal reasoning, and the complexity of default reasoning. His most recent work is on satisfiability testing and software agents.  ...  Craig Boutillier (University of British Columbia) applied conditional logic to unify logics for belief revision and default reasoning, and L. Farinas del Cerro, A. Herzig, and J.  ... 
doi:10.1609/aimag.v15i3.1104 dblp:journals/aim/EtheringtonK94 fatcat:bkfffknjtneufc3o2zjsdlzwdu

First International Workshop

1988 Bulletin Géodésique  
with more recently emerging areas such as ontologies, including the semantic web, and approaches to belief change.  ...  The incompleteness and heterogenous nature of such data and the need for state-based context interpretation in dynamic systems suggest that nonmonotonic reasoning techniques can be a powerful tool for  ...  In this way, the reasoning system can take into account their dynamic evolution to characterize aspects such as commonsense, temporal reasoning, belief revision and update.  ... 
doi:10.1007/bf02519331 fatcat:loh6vfzah5dwvmcyzt5n6khije

Recent advances in computational models of natural argument

Chris Reed, Floriana Grasso
2006 International Journal of Intelligent Systems  
used and extended to model and handle real world argument in a wide variety of domains including law, education, medicine, and e-commerce.  ...  The article has two distinct foci: first, examining the ways in which argumentation has inspired new models of logical and computational intelligence, and second, exploring how AI techniques have been  ...  Argument-based protocols can be harnessed for structuring belief revision 54 and argumentation internalized for solo-agent belief revision. 55 Finally, a specific class of AI models of reasoning-those  ... 
doi:10.1002/int.20187 fatcat:2ybgxpg44jhyxpg2pyohnc7m2m

Generating efficient belief models for task-oriented dialogues [article]

Jasper Taylor (Human Communication Research Centre University of Edinburgh)
1995 arXiv   pre-print
This system will accept as input a description of agents' interactions with a task domain expressed in a fully-expressive belief logic with non-monotonic and temporal extensions.  ...  We shall then discuss the specific changes that are made during this procedure for limiting the level of abstraction at which the concepts of belief nesting, default reasoning and time are expressed.  ...  Nonmonotonicity There are two basic reasons for including nonmonotonic inferences in a logic of belief for dialogue.  ... 
arXiv:cmp-lg/9505039v2 fatcat:wdx3otspy5hajc6d37legjd6ke

Logical foundations of artificial intelligence

John F. Sowa
1989 Artificial Intelligence  
For nonmonotonic logic and reasoning about knowledge and belief, the distinctions become important, and the authors should emphasize them.  ...  The middle chapters are the best, with good presentations of resolution theorem proving, nonmonotonic logic, reasoning with uncertainty, and reasoning about knowledge and belief.  ... 
doi:10.1016/0004-3702(89)90072-6 fatcat:nhexpacnqbao5gp3kj7fs4e35m

Introduction: Progress in formal commonsense reasoning

Ernest Davis, Leora Morgenstern
2004 Artificial Intelligence  
as consequence relations [18] and belief revision [1] .  ...  These include default or nonmonotonic reasoning, logics of knowledge, and temporal reasoning, mentioned above, as well as spatial reasoning [36] and theories of belief, desire, and intention [6] .  ... 
doi:10.1016/j.artint.2003.09.001 fatcat:o7pr2xds6rajretyj45ihbw7oq

Logic and Artificial Intelligence [chapter]

Richmond H. Thomason
2009 The Development of Modern Logic  
Here, I will mention three such applications that appear to have been important for some of the early nonmonotonic logicians: belief revision, closed-world reasoning, and planning. Belief Revision.  ...  The investigation of this qualitative form of temporal reasoning, and of related sorts of reasoning (e.g., plan recognition, which seeks to infer goals from observed actions, and narrative explanation,  ... 
doi:10.1093/acprof:oso/9780195137316.003.0047 fatcat:ftchyrt7yvclzdyhxh7qnv3xoi

A logic for reasoning with inconsistent knowledge

Nico Roos
1992 Artificial Intelligence  
Therefore the logic is a logic of system P and possesses all the properties of an ideal nonmonotonic logic.  ...  In this paper a logic for reasoning with inconsistent knowledge is described. This logic is a generalization of the work of Rescher [12] .  ...  Finally, I thank the Delft University of Technology (TU-Delft) and and the National Aerospace Laboratory (NLR) for supporting the research reported on.  ... 
doi:10.1016/0004-3702(92)90105-7 fatcat:vqlg7iwcjfeqzpzg5h5jvmvjuq

Mixed Logical Inference and Probabilistic Planning for Robots in Unreliable Worlds

Shiqi Zhang, Mohan Sridharan, Jeremy L. Wyatt
2015 IEEE Transactions on robotics  
Robots need to represent and reason with incomplete domain knowledge, acquiring and using sensor inputs based on need and availability.  ...  Deployment of robots in practical domains poses key knowledge representation and reasoning challenges.  ...  ACKNOWLEDGMENT The authors thank Michael Gelfond for feedback that led to revisions in the ASP formulation.  ... 
doi:10.1109/tro.2015.2422531 fatcat:lfz3lkoasvgmhaa74ty76zcyem
« Previous Showing results 1 — 15 out of 701 results