Actions and Specificity
... to hold after executing the action. McCarthy and Hayes [25] solved this problem by adding additional frame axioms; one for each action and each fact. The obvious problem with this solution is that the number of frame axioms rapidly increases when many actions and many facts occur. Robert Kowalski r ...
... to hold after executing the action. McCarthy and Hayes [25] solved this problem by adding additional frame axioms; one for each action and each fact. The obvious problem with this solution is that the number of frame axioms rapidly increases when many actions and many facts occur. Robert Kowalski r ...
Dynamic problem structure analysis as a basis for constraint
... procedure for identifying existing commitments to be removed from the constraint graph. The termination criterion is a list of user-defined conditions for ending the search. There may be many criteria: a definition of a solution (e.g., all the activities have a start time and all the constraints are ...
... procedure for identifying existing commitments to be removed from the constraint graph. The termination criterion is a list of user-defined conditions for ending the search. There may be many criteria: a definition of a solution (e.g., all the activities have a start time and all the constraints are ...
Logic Program Based Updates
... ACM Transactions on Computational Logic, Vol. V, No. N, June 2004, Pages 1–50. ...
... ACM Transactions on Computational Logic, Vol. V, No. N, June 2004, Pages 1–50. ...
Dynamic Potential-Based Reward Shaping
... can be extended to cover joint action learners. Unlike single-agent reinforcement learning where the goal is to maximise the individual’s reward, when multiple self motivated agents are deployed not all agents can always receive their maximum reward. Instead some compromise must be made, typically t ...
... can be extended to cover joint action learners. Unlike single-agent reinforcement learning where the goal is to maximise the individual’s reward, when multiple self motivated agents are deployed not all agents can always receive their maximum reward. Instead some compromise must be made, typically t ...
Super Logic Programs - Institut für Informatik
... In this paper we propose a specific class of such extended logic programs which will be (immodestly) called super logic programs or just super programs. We will argue that the class of super programs satisfies all of the above conditions, and, in addition, is sufficiently flexible to allow various a ...
... In this paper we propose a specific class of such extended logic programs which will be (immodestly) called super logic programs or just super programs. We will argue that the class of super programs satisfies all of the above conditions, and, in addition, is sufficiently flexible to allow various a ...
A Brief History of Decision Support Systems
... Dynamics Group at the Massachusetts Institute of Technology Sloan School. His work on corporate modeling led to programming DYNAMO, a general simulation compiler. In 1960, J.C.R. Licklider published his ideas about the future role of multiaccess interactive computing in a paper titled “Man-Computer ...
... Dynamics Group at the Massachusetts Institute of Technology Sloan School. His work on corporate modeling led to programming DYNAMO, a general simulation compiler. In 1960, J.C.R. Licklider published his ideas about the future role of multiaccess interactive computing in a paper titled “Man-Computer ...
Pardis, a Fuzzy Extension to Multi agent Simulation Systems
... data from the environment, and in turn performs some actions that affect the environment. These are what practically any person could do, with the difference that a professional soccer player’s senses are sharper, and actions more skilled than an ordinary person, at least in those areas that are nee ...
... data from the environment, and in turn performs some actions that affect the environment. These are what practically any person could do, with the difference that a professional soccer player’s senses are sharper, and actions more skilled than an ordinary person, at least in those areas that are nee ...
Deep learning in neural networks: An overview
... the past half century and beyond, sometimes using ‘‘local search’’ to follow citations of citations backwards in time. Since not all DL publications properly acknowledge earlier relevant work, additional global search strategies were employed, aided by consulting numerous neural network experts. As ...
... the past half century and beyond, sometimes using ‘‘local search’’ to follow citations of citations backwards in time. Since not all DL publications properly acknowledge earlier relevant work, additional global search strategies were employed, aided by consulting numerous neural network experts. As ...
ppt
... •Expand one node at a time, at any point on the fringe of a game tree, •Generate all child nodes - consider all moves - as part of node expansion. Selective node expansion Selective move generation 1st 2nd ...
... •Expand one node at a time, at any point on the fringe of a game tree, •Generate all child nodes - consider all moves - as part of node expansion. Selective node expansion Selective move generation 1st 2nd ...
Perspectives on Artificial Intelligence Planning
... The development of general problem solvers has been one of the main goals in Artificial Intelligence. A general problem solver is a program that accepts high-level descriptions of problems and automatically computes their solution (Newell & Simon 1963). The motivations for such solvers are two. On t ...
... The development of general problem solvers has been one of the main goals in Artificial Intelligence. A general problem solver is a program that accepts high-level descriptions of problems and automatically computes their solution (Newell & Simon 1963). The motivations for such solvers are two. On t ...
Reorganisation and Self-organisation in Multi
... Changing the organisation may imply changes within the system at different levels and at different extents. These changes strongly depend on the chosen view (ACPV or OCVP) and on the organisational capabilities of agents (being or not aware of the organisation). Considering the emergence-based MAS, ...
... Changing the organisation may imply changes within the system at different levels and at different extents. These changes strongly depend on the chosen view (ACPV or OCVP) and on the organisational capabilities of agents (being or not aware of the organisation). Considering the emergence-based MAS, ...
content - ITC Digital Library
... John D.C. Little, also at Massachusetts Institute of Technology, was studying DSS for marketing. Little and Lodish (1969) reported research on MEDIAC, a media planning support system. Also, Little (1970) identified criteria for designing models and systems to support management decision-making. His ...
... John D.C. Little, also at Massachusetts Institute of Technology, was studying DSS for marketing. Little and Lodish (1969) reported research on MEDIAC, a media planning support system. Also, Little (1970) identified criteria for designing models and systems to support management decision-making. His ...
State-set branching: Leveraging BDDs for heuristic search
... The remainder of this article is organized as follows. We first describe related work in Section 2. We then define search problems in Section 3 and describe the general BFS algorithm in Section 4. In Section 5, we extend this algorithm to expand sets of states and study a number of example applicati ...
... The remainder of this article is organized as follows. We first describe related work in Section 2. We then define search problems in Section 3 and describe the general BFS algorithm in Section 4. In Section 5, we extend this algorithm to expand sets of states and study a number of example applicati ...
possibilistic logic - an overview
... there has been a constant interest for methods providing tools oriented towards the representation of imprecise epistemic states of knowledge pervaded with uncertainty (these states may range between complete information and complete ignorance). These methods are characterized by the existence of a ...
... there has been a constant interest for methods providing tools oriented towards the representation of imprecise epistemic states of knowledge pervaded with uncertainty (these states may range between complete information and complete ignorance). These methods are characterized by the existence of a ...
transformations between uml and first order logic
... too. Or we can say that UML is not only a modeling language but also a visual programming language. This ideology is different from my approach but any way it shows that there is no need for all thirteen diagrams for common projects included in the arsenal of UML. But what is a minimal number of UM ...
... too. Or we can say that UML is not only a modeling language but also a visual programming language. This ideology is different from my approach but any way it shows that there is no need for all thirteen diagrams for common projects included in the arsenal of UML. But what is a minimal number of UM ...
the excerpt from a UBS CIO WM
... important driver for energy efficiency is stricter regulation. As a result, energy efficiency is becoming a key business factor for a growing number of companies that also ...
... important driver for energy efficiency is stricter regulation. As a result, energy efficiency is becoming a key business factor for a growing number of companies that also ...
A survey of dynamic scheduling in manufacturing systems
... with machine breakdown. The criteria include the minimisation of the makespan (schedule efficiency) and the impact of schedule change (schedule stability). For the stability, they investigated two measures: the deviation from the original job starting time, and the deviation from the original sequen ...
... with machine breakdown. The criteria include the minimisation of the makespan (schedule efficiency) and the impact of schedule change (schedule stability). For the stability, they investigated two measures: the deviation from the original job starting time, and the deviation from the original sequen ...
Belief Base Change Operations for Answer Set Programming
... the AGM theory was achieved by the use of monotonic SEModels first presented in (Delgrande et al. 2008) and later on extended to merge operations (Delgrande et al. 2009; Hué, Papini, and Würbel 2009) and to update operations in the style of Katsuno and Mendelson by Slota and Leite (Slota and Leite ...
... the AGM theory was achieved by the use of monotonic SEModels first presented in (Delgrande et al. 2008) and later on extended to merge operations (Delgrande et al. 2009; Hué, Papini, and Würbel 2009) and to update operations in the style of Katsuno and Mendelson by Slota and Leite (Slota and Leite ...
Learning Abstract Planning Cases
... An operator o(x1 , . . . , xn ) ∈ O is described by a triple ⟨P reo , Addo , Delo ⟩, where the precondition P reo is a conjunction of atoms of L, and the add-list Addo and the delete-list Delo are finite sets of (possibly instantiated) essential sentences of E. Furthermore, the variables occuring in ...
... An operator o(x1 , . . . , xn ) ∈ O is described by a triple ⟨P reo , Addo , Delo ⟩, where the precondition P reo is a conjunction of atoms of L, and the add-list Addo and the delete-list Delo are finite sets of (possibly instantiated) essential sentences of E. Furthermore, the variables occuring in ...
CptS 440 / 540 Artificial Intelligence
... • Mathematics – 1847, Boole introduced formal language for making logical inference ...
... • Mathematics – 1847, Boole introduced formal language for making logical inference ...
A Argumentation Mining: State of the Art and Emerging Trends
... [Bench-Capon and Dunne 2007], due to its ability to conjugate representational needs with user-related cognitive models and computational models for automated reasoning. In particular, the study of argumentation in artificial intelligence gave rise to a new discipline called computational argumentat ...
... [Bench-Capon and Dunne 2007], due to its ability to conjugate representational needs with user-related cognitive models and computational models for automated reasoning. In particular, the study of argumentation in artificial intelligence gave rise to a new discipline called computational argumentat ...