Filters








68,739 Hits in 3.6 sec

Deductive plan generation [chapter]

Wolfgang Bibel, Michael Thielscher
1994 Lecture Notes in Computer Science  
Hayes [20] , and C. Green [10] introduced frame axioms; one for each action and each atomic fact.  ...  Understanding and modeling the ability of humans to reason about actions, change, and causality is one of the key issues in Artificial Intelligence and Cognitive Science.  ...  A different approach to deductive planning which is based on equational Horn logic and also avoids frame axioms, was developed at our institute and presented in [14] .  ... 
doi:10.1007/3-540-58520-6_47 fatcat:fqq54pj74zeutpcezyxprso2cu

Representation in a Domain-Independent Planner

David E. Wilkins
1983 International Joint Conference on Artificial Intelligence  
of resources for efficiently detecting and remedying harmful parallel interactions, and provides the ability to express deductive rules for deducing the effects of actions.  ...  The representation used in a domain-independent planning program that supports both automatic and interactive generation of hierarchical, partially ordered plans is described.  ...  This means that the frame problem [l] must be solved in an efficient manner.  ... 
dblp:conf/ijcai/Wilkins83 fatcat:kv2ctkrxzzfidih47k7thul7p4

Explanation in the Situation Calculus

Murray Shanahan
1993 International Joint Conference on Artificial Intelligence  
Two approaches to explanation are compared: the deductive approach usually found in the literature, and a less common abductive approach.  ...  This paper explores different techniques for explanation within the framework of the situation calculus, using the so-called stolen car problem as its main example.  ...  Acknowledgements Thanks to Tony Kakas, Bob Kowalski, Vladimir Lifschitz, Rob Miller and Javier Pinto. The author is supported by an SERC Advanced Research Fellowship.  ... 
dblp:conf/ijcai/Shanahan93 fatcat:nmsmpgdvh5fhnblir6zjkybaba

Linear deductive planning

G Grosse
1996 Journal of Logic and Computation  
Recently, three approaches to deductive planning were developed, which solve the technical frame problem without the need to state frame axioms explicitly.  ...  In the equational logic approach situations and plans are represented as terms and SLDE-resolution is applied as an inference rule.  ...  We like to thank Wolfgang Bibel not only for setting up such a stimulating environment but also for his comments and suggestions on earlier versions of this paper.  ... 
doi:10.1093/logcom/6.2.233 fatcat:cpkzabfkrvbmdl3vjhddkzw5ey

Bounded-Resource Reasoning as (Strong or Classical) Planning [chapter]

Alexandre Albore, Natasha Alechina, Piergiorgio Bertoli, Chiara Ghidini, Brian Logan
2009 Lecture Notes in Computer Science  
In this paper we show how the problem of reasoning under bounded resources can be recast as a planning problem.  ...  Focusing on propositional reasoning, we propose different recasting styles, which are equally interesting, since they require solving different classes of planning problems, and allow representing different  ...  This means that the problem is one of classical planning, and that, in particular, optimal classical planning algorithms allow establishing the minimal time bound for a memory-bounded deduction.  ... 
doi:10.1007/978-3-642-02734-5_6 fatcat:lrlacylu7be3pdqypzbu3bbe3y

How To Use What You Know

Carl Hewitt
1975 International Joint Conference on Artificial Intelligence  
This paper surveys the state of the art in the development of problem solving mechanisms for PLANNER-like formalisms.  ...  and not used when it it inappropriate."  ...  reported in this paper was sponsored by the MIT Artificial Intelligence and Laboratory and Project MAC under the sponsorship of the Office of Naval Research  ... 
dblp:conf/ijcai/Hewitt75 fatcat:j4hntw6ytnfvfbfdqbiucbzsu4

Expert systems for cancer chemotherapy

S. Gaglio, M. Genovesi, C. Ruggiero, G. Spinelli, C. Nicolini, G. Bonadonna, P. Valagussa
1987 Computers and Mathematics with Applications  
The system is being built and at first it will be validated by experiments on mice.  ...  NEWCHEM is a system oriented to the development of new cancer therapies, based on pharmaco-cell kinetic modeling and the newest molecular knowledge about neoplastic process.  ...  (c) The experimenter can propose changes in the plan and ask about possible consequences. (d) A new treatment plan is proposed whenever the results are different from the expected ones.  ... 
doi:10.1016/0898-1221(87)90228-8 fatcat:drzisafuofgjnl4kkdgmco6b2e

Page 633 of Florida Bar Journal Vol. 29, Issue 10 [page]

1955 Florida Bar Journal  
The statute defines the taxable estate as the gross estate minus the deductions allowed, including one automatic $60,000 de¬ duction that is framed in terms of an exemption.  ...  income, what is deductible, who is entitled to the deduction and when it is deductible, he is well on his way to the kind of awareness of tax matters that will enable him to protect the interests of his  ... 

Transition Logic Revisited

W. Bibel
2008 Logic Journal of the IGPL  
This novel integration provides a unied framework for practical reasoning with the potential of a full exploitation of the maturing techniques from classical planning and deduction.  ...  For the chosen formula type the logic at the same time oers one possible clarication of the deductive formalism envisioned for original STRIPS but never made precise before.  ...  I am grateful to Gunter Grieser, Eric Sandewall, Ulrich Scholz, Michael Thielscher, the anonymous referees and the members of the Intellectics group at the TU Darmstadt for their useful comments on the  ... 
doi:10.1093/jigpal/jzn009 fatcat:4yf7su4b55e67mqlwiq3rogk4a

Page 109 of Computational Linguistics Vol. 14, Issue 4 [page]

1988 Computational Linguistics  
In a plan recognition: problem, one is given a fragmented description of actions performed by one or more agents, and expected to infer the overall plan or scenario that explains those actions.  ...  In particular, hierarchical planning is required to control deductive combinatorial explosion.  ... 

Logical composition of object-oriented interfaces

Mark Grossman, Raimund K. Ege
1987 Conference proceedings on Object-oriented programming systems, languages and applications - OOPSLA '87  
Intelligent backtracking implemented in the logic allows for user-and system-initiated undo operations to correct errors and/or try alternative approaches to a problem.  ...  A filter is a package of constraints and associated typed objects that express the relationship of data and representation objects. Conceptually our system is completely based on constraints.  ...  For esampl~, consider our construct problem. The designer can select furniture items and place them on the floor plan.  ... 
doi:10.1145/38765.38834 dblp:conf/oopsla/GrossmanE87 fatcat:p5yloibi3vabfk3fq55pxpbh7i

Page 28 of Kansas Bar Association. The Journal of the Kansas Bar Association Vol. 19, Issue 1 [page]

1950 Kansas Bar Association. The Journal of the Kansas Bar Association  
The greatest single problem in connection with Federal Estate and Gift Taxes is the problem of integrating will-making, estate planning and gift making into  ...  the frame of mind of the particular court hearing the case, on the particular day in question.  ... 

Page 28 of Kansas Bar Association. The Journal of the Kansas Bar Association Vol. 19, Issue 1 [page]

1950 Kansas Bar Association. The Journal of the Kansas Bar Association  
The greatest single problem in connection with Federal Estate and Gift Taxes is the problem of integrating will-making, estate planning and gift making into  ...  the frame of mind of the particular court hearing the case, on the particular day in question.  ... 

Conditional Reasoning and Subjective Deduction [chapter]

Audun Jøsang
2016 Artificial Intelligence: Foundations, Theory, and Algorithms  
We extend this approach to multinomial opinions, thereby making it possible to represent conditional and evidence opinions on frames of arbitrary size.  ...  This article focuses on conditional reasoning in subjective logic where beliefs are represented in the form of binomial or multinomial subjective opinions.  ...  FIGURE 7 Visualising deduction and abduction with opinions Fig.7 shows that deduction uses conditionals defined over the child frame, and that abduction uses conditionals defined over the parent frame  ... 
doi:10.1007/978-3-319-42337-1_9 fatcat:voyrai6vtjbyhk3akmxo63a4fe

Page 686 of Academe Vol. 28, Issue 5 [page]

1942 Academe  
But he can solve this problem by attaching an itemized statement pat- terned along the lines of Schedule J on page 4 of Form 1040 as fur- nished by the Treasury in 1942.  ...  terms by one of the items under the general heading of Deductions (see infra). (3) Personal, living, or family expenses are not deductible. (4) Expenditures which may be described as capital investments  ... 
« Previous Showing results 1 — 15 out of 68,739 results