- Courses - University of California, Berkeley
... • Lewis and Sparck Jones suggest research in three areas – Examination of the words, phrases and sentences that make up a document description and express the combinatory, syntagmatic relations between single terms – The classificatory structure over document collection as a whole, indicating the pa ...
... • Lewis and Sparck Jones suggest research in three areas – Examination of the words, phrases and sentences that make up a document description and express the combinatory, syntagmatic relations between single terms – The classificatory structure over document collection as a whole, indicating the pa ...
A MULTI-AGENT SYSTEM WITH APPLICATION IN PROJECT
... reasoning is directed towards actions and it is a matter of weighing conflicting considerations for and against competing options, where the relevant considerations are provided by what the agent desires/values/cares about and what the agent’s beliefs. (Bratman, 1987). On the other side, theoretical ...
... reasoning is directed towards actions and it is a matter of weighing conflicting considerations for and against competing options, where the relevant considerations are provided by what the agent desires/values/cares about and what the agent’s beliefs. (Bratman, 1987). On the other side, theoretical ...
MSS-An Overview
... When an organization has a complex decision to make or problem to solve, it often turns to experts for advice. These experts have specific knowledge and experience in the problem area. They are aware of the alternatives , the chances of successes, and the benefits and costs the business may incur. ...
... When an organization has a complex decision to make or problem to solve, it often turns to experts for advice. These experts have specific knowledge and experience in the problem area. They are aware of the alternatives , the chances of successes, and the benefits and costs the business may incur. ...
Redalyc.Rational versus Intuitive Outcomes of Reasoning with
... a) You can take cakes from the table in two ’rounds’: 1. In the first round you can take at most two cakes; 2. In the second round you can take at most one cake. b) If you take Almond cake and Cheesecake in the first round, Brownie will not be available in the second round. (Nothing is known about o ...
... a) You can take cakes from the table in two ’rounds’: 1. In the first round you can take at most two cakes; 2. In the second round you can take at most one cake. b) If you take Almond cake and Cheesecake in the first round, Brownie will not be available in the second round. (Nothing is known about o ...
AI PLANNING FOR TRANSPORTATION LOGISTICS
... The area of domain independent heuristic planning has been pushed forward by the ASP [3] and HSP [4] planners. These planners traverse the state-space in a forward direction. In order to estimate the distance between each state and the goals, the planners compute an estimate of the distance between ...
... The area of domain independent heuristic planning has been pushed forward by the ASP [3] and HSP [4] planners. These planners traverse the state-space in a forward direction. In order to estimate the distance between each state and the goals, the planners compute an estimate of the distance between ...
Theories and uses of context in knowledge representation and
... “The set of premises used in interpreting an utterance [. . . ] constitutes what is generally known as the context. A context is a psychological construct, a subset of the hearer’s assumptions about the world.” And Kokinov, in his paper on a dynamic approach to context modeling , says that (Kokinov ...
... “The set of premises used in interpreting an utterance [. . . ] constitutes what is generally known as the context. A context is a psychological construct, a subset of the hearer’s assumptions about the world.” And Kokinov, in his paper on a dynamic approach to context modeling , says that (Kokinov ...
News Video Classification Using SVM
... dimensionality’, as more features are included and the feature vector grows exceedingly long. Another approach is to build individual classifiers for each modality, and later combine their judgments to make the final decision. The judgments can be combined using strategies like majority voting, line ...
... dimensionality’, as more features are included and the feature vector grows exceedingly long. Another approach is to build individual classifiers for each modality, and later combine their judgments to make the final decision. The judgments can be combined using strategies like majority voting, line ...
Creativity, Cognitive Mechanisms, and Logic
... with computational approaches trying to formally describe such abilities, to develop algorithmic solutions for concrete implementations, and to build robust systems that are of practical use in application domains. Whereas in the beginnings of AI as a scientific discipline the focus was mainly based ...
... with computational approaches trying to formally describe such abilities, to develop algorithmic solutions for concrete implementations, and to build robust systems that are of practical use in application domains. Whereas in the beginnings of AI as a scientific discipline the focus was mainly based ...
1-up
... analysis of a sentence? • One option (integrated): Modify syntactic parser to apply semantic attachments at the time syntactic constituents are constructed. • Second option (pipelined): Complete the syntactic parse, then walk the tree bottom-up to apply semantic attachments. ...
... analysis of a sentence? • One option (integrated): Modify syntactic parser to apply semantic attachments at the time syntactic constituents are constructed. • Second option (pipelined): Complete the syntactic parse, then walk the tree bottom-up to apply semantic attachments. ...
A Bayesian network primer
... scale applications were reported from the late 1980’s. The axiomatic investigation of the structure of independencies in a probability distribution was reported in 1979 [17] and complemented with the issue of representability with DAGs in 1988 [52]. The decomposition of a probability distribution us ...
... scale applications were reported from the late 1980’s. The axiomatic investigation of the structure of independencies in a probability distribution was reported in 1979 [17] and complemented with the issue of representability with DAGs in 1988 [52]. The decomposition of a probability distribution us ...
An Introduction to Evidential Reasoning for Decision Making under
... term was coined by SRI International (Lowrance, Garvey, and Strat 1986, fn 1) to denote the body of techniques specifically designed for manipulating and reasoning from evidential information. Gordon and Shortliffe (1985) discussed this approach under DS theory in the context of MYCIN that was being ...
... term was coined by SRI International (Lowrance, Garvey, and Strat 1986, fn 1) to denote the body of techniques specifically designed for manipulating and reasoning from evidential information. Gordon and Shortliffe (1985) discussed this approach under DS theory in the context of MYCIN that was being ...
AAAI 2016 Executive Council Candidates
... My primary goal as president will be to encourage and facilitate greater interaction among AI’s subfields. While progress made in some of these subfields is remarkable, our ultimate goal is to assemble ...
... My primary goal as president will be to encourage and facilitate greater interaction among AI’s subfields. While progress made in some of these subfields is remarkable, our ultimate goal is to assemble ...
Compositional Belief Update
... In this paper we develop a specific update operator where the operator is intended to be compositional, in that an update ψ ⋄ µ can be expressed recursively in terms of the syntactic structure of µ. Thus, if a knowledge base is to be updated by a disjunction µ = a ∨ b, the idea is that this update wi ...
... In this paper we develop a specific update operator where the operator is intended to be compositional, in that an update ψ ⋄ µ can be expressed recursively in terms of the syntactic structure of µ. Thus, if a knowledge base is to be updated by a disjunction µ = a ∨ b, the idea is that this update wi ...
Reasoning about Complex Actions with Incomplete Knowledge: A
... language for reasoning about actions presented in [6]. Such language mainly focuses on ramification problem but does not provide a formalization of incomplete initial states with an explicit representation of undefined fluents. Such an explicit representation is needed if we want to model an agent wh ...
... language for reasoning about actions presented in [6]. Such language mainly focuses on ramification problem but does not provide a formalization of incomplete initial states with an explicit representation of undefined fluents. Such an explicit representation is needed if we want to model an agent wh ...
Properties of maximal cliques of a pair-wise compatibility graph for three nonmonotonic reasoning system
... bounded by a polynomial in the size of the number of rules. Of course, Property 1 concerns cliques, not stable models (resp. answer sets, extensions). The property does not consider that the logic program (resp. default theory) may have integrity constraints or that the filter may contain rules that ...
... bounded by a polynomial in the size of the number of rules. Of course, Property 1 concerns cliques, not stable models (resp. answer sets, extensions). The property does not consider that the logic program (resp. default theory) may have integrity constraints or that the filter may contain rules that ...
Mixed-Initiative Dialogue in Case
... Allowing users to change their answers to previous questions is important for several reasons, not least of which is support for sensitivity analysis, which may help to increase the user’s confidence in the results (McSherry, 2001a). On regaining the initiative, the system must respond appropriately ...
... Allowing users to change their answers to previous questions is important for several reasons, not least of which is support for sensitivity analysis, which may help to increase the user’s confidence in the results (McSherry, 2001a). On regaining the initiative, the system must respond appropriately ...
CogSketch: Sketch Understanding for Cognitive Science Research
... We want CogSketch to model the perceptual, spatial, and conceptual understanding that people bring to sketching. Our key hypotheses are as follows: Hypothesis: Perceptual processing produces qualitative spatial representations. Qualitative representations quantize continuous properties, making meani ...
... We want CogSketch to model the perceptual, spatial, and conceptual understanding that people bring to sketching. Our key hypotheses are as follows: Hypothesis: Perceptual processing produces qualitative spatial representations. Qualitative representations quantize continuous properties, making meani ...
Towards an Epistemic Logic of Grounded Belief
... (c) If φ ∈ K , then φ must be True in the current state of affairs As a technical note I will say an ideal knower with knowledge base K is said to know a proposition φ if and only if φ ∈ K . I now turn to motivating this definition. The first part of this definition, Def. 2.1.1(a), may be motivated ...
... (c) If φ ∈ K , then φ must be True in the current state of affairs As a technical note I will say an ideal knower with knowledge base K is said to know a proposition φ if and only if φ ∈ K . I now turn to motivating this definition. The first part of this definition, Def. 2.1.1(a), may be motivated ...
comparative study of case based reasoning software
... During the past twenty years, many CBR applications have been developed, ranging from prototypical applications built in research labs to large-scale fielded applications developed by commercial companies[6]. The common application areas of CBR include help-desk and customer service, recommender sys ...
... During the past twenty years, many CBR applications have been developed, ranging from prototypical applications built in research labs to large-scale fielded applications developed by commercial companies[6]. The common application areas of CBR include help-desk and customer service, recommender sys ...
Grounding and Solving in Answer Set Programming
... The instantiation is infinite; indeed the grounding of the recursive rule, at the first iteration adds to the set of extensions S the ground atom p(f(0)), that is used in the next iteration, producing p(f(f(0)) and so on. Despite this, grounders like the one in dlv and gringo allow to deal with recu ...
... The instantiation is infinite; indeed the grounding of the recursive rule, at the first iteration adds to the set of extensions S the ground atom p(f(0)), that is used in the next iteration, producing p(f(f(0)) and so on. Despite this, grounders like the one in dlv and gringo allow to deal with recu ...
Decision Support Systems - University of Pittsburgh
... There is a substantial amount of empirical evidence that human intuitive judgment and decision making can be far from optimal, and it deteriorates even further with complexity and stress. Because in many situations the quality of decisions is important, aiding the deficiencies of human judgment and ...
... There is a substantial amount of empirical evidence that human intuitive judgment and decision making can be far from optimal, and it deteriorates even further with complexity and stress. Because in many situations the quality of decisions is important, aiding the deficiencies of human judgment and ...
The Problem of Logical-Form Equivalence
... these two axioms alone give the equivalence problem factorial complexity. Since there are only a factorial number of equivalent logical forms, searching for the canonical one is a finite (though, as the authors note elsewhere, still impractical) process. John Levine (1990) reports on an interesting ...
... these two axioms alone give the equivalence problem factorial complexity. Since there are only a factorial number of equivalent logical forms, searching for the canonical one is a finite (though, as the authors note elsewhere, still impractical) process. John Levine (1990) reports on an interesting ...
A Cognitive Architecture for a Humanoid Robot: A First Approach
... motor control, and, finally, of usage of language [2]. Questioning several international researchers in robotics and examining actual publications on intelligent robotic systems showed that actually the researchers apply a similar definition of cognition as used by psychologists to intelligent robot ...
... motor control, and, finally, of usage of language [2]. Questioning several international researchers in robotics and examining actual publications on intelligent robotic systems showed that actually the researchers apply a similar definition of cognition as used by psychologists to intelligent robot ...
ARTIFICIAL INTELLIGENCE PLANNING FOR GENERATIVE
... Thus, this planners are capable of finding solutions chaining action sequences to achieve goals or preconditions of other actions [3, 4]. Because of the declarative nature of the languages used by these planners, they are more flexible than logic rule based systems in that not every combination of e ...
... Thus, this planners are capable of finding solutions chaining action sequences to achieve goals or preconditions of other actions [3, 4]. Because of the declarative nature of the languages used by these planners, they are more flexible than logic rule based systems in that not every combination of e ...
CTL AgentSpeak(L): a specification language for agent programs
... Our main contribution is the definition of the semantics of the CT L temporal operators in terms of a Kripke structure, produced by a transition system defining the operational semantics of AgentSpeak(L). The semantics of the intentional operators is adopted from the work of Bordini et al. [1]. As a ...
... Our main contribution is the definition of the semantics of the CT L temporal operators in terms of a Kripke structure, produced by a transition system defining the operational semantics of AgentSpeak(L). The semantics of the intentional operators is adopted from the work of Bordini et al. [1]. As a ...