Lecture Notes in Computer Science:
... generalization) to the initial domain theory in an attempt to minimally modify it in order to make it consistent with a set of training examples. By doing that, FORTE ...
... generalization) to the initial domain theory in an attempt to minimally modify it in order to make it consistent with a set of training examples. By doing that, FORTE ...
Rule Based Expert System for Medical Diagnosis-A Review
... The purpose of the inference engine is to seek information and relationships from the knowledge base and to provide answers, predictions, and suggestions in the way a human expert would. The inference engine must find the right facts, interpretations, and rules and assemble them correctly. Two types ...
... The purpose of the inference engine is to seek information and relationships from the knowledge base and to provide answers, predictions, and suggestions in the way a human expert would. The inference engine must find the right facts, interpretations, and rules and assemble them correctly. Two types ...
Predictive Control Algorithms Verification on the Laboratory Helicopter Model
... methods based on the linear model of controlled system, and in preparing them for subsequent algorithmic design and verification on a real laboratory helicopter model from Humusoft [5], which serves as an educational model for identification and control algorithms verification at the Department of C ...
... methods based on the linear model of controlled system, and in preparing them for subsequent algorithmic design and verification on a real laboratory helicopter model from Humusoft [5], which serves as an educational model for identification and control algorithms verification at the Department of C ...
A Review on Expert System and its Applications in Civil Engineering
... computer program system contains a database which stores a collection of information and rules which describes all the data about the problem domain. Expert system provides high quality experience, domain specific information; apply heuristics, forward or backward reasoning, uncertainty and explanat ...
... computer program system contains a database which stores a collection of information and rules which describes all the data about the problem domain. Expert system provides high quality experience, domain specific information; apply heuristics, forward or backward reasoning, uncertainty and explanat ...
WSS - cs.uregina.ca - University of Regina
... H.K. Bhargava, D.J. Power, D. Sun, Progress in Web-based decision support technologies, Decision Support Systems, 43(4), 1083-1095, 2007. M. Chen, Y. Liou, C. –W. Wang, Y. W. Fan, Y.-P. J. Chie, TeamSpirit: Design, implementation, and evaluation of a Web-based group decision support system, Decision ...
... H.K. Bhargava, D.J. Power, D. Sun, Progress in Web-based decision support technologies, Decision Support Systems, 43(4), 1083-1095, 2007. M. Chen, Y. Liou, C. –W. Wang, Y. W. Fan, Y.-P. J. Chie, TeamSpirit: Design, implementation, and evaluation of a Web-based group decision support system, Decision ...
Implementing feedback in creative systems: A - CEUR
... or social communication in their computational work on creativity. To highlight and contribute towards modelling feedback as a crucial part of creativity, we propose in this paper a model of computational feedback for creative systems based on Writers Workshops (Gabriel, 2002), a literary collaborat ...
... or social communication in their computational work on creativity. To highlight and contribute towards modelling feedback as a crucial part of creativity, we propose in this paper a model of computational feedback for creative systems based on Writers Workshops (Gabriel, 2002), a literary collaborat ...
Part 2 - Simon Fraser University
... – If it works, how do we know why it works? The departure from “knowledge level” implies a loss of transparency and readability – What if it doesn’t work? Purely reactive systems are typically hard to debug – Engineering emergence: lack of clear design methodology – Design becomes difficult with mor ...
... – If it works, how do we know why it works? The departure from “knowledge level” implies a loss of transparency and readability – What if it doesn’t work? Purely reactive systems are typically hard to debug – Engineering emergence: lack of clear design methodology – Design becomes difficult with mor ...
Artificial Intelligence, Second Edition
... • what it does is appropriate for its circumstances and its goals • it is flexible to changing environments and changing goals • it learns from experience • it makes appropriate choices given its perceptual and computational limitations A computational agent is an agent whose decisions about its act ...
... • what it does is appropriate for its circumstances and its goals • it is flexible to changing environments and changing goals • it learns from experience • it makes appropriate choices given its perceptual and computational limitations A computational agent is an agent whose decisions about its act ...
Machine learning for information retrieval: Neural networks
... fields with encouraging results, although it does not perform better than the probabilistic indexing technique described in Fuhr et al. ( 1990). Turtle and Croft ( 1991) showed that, given equivalent document representations and query forms, the inference network model performed better than conventi ...
... fields with encouraging results, although it does not perform better than the probabilistic indexing technique described in Fuhr et al. ( 1990). Turtle and Croft ( 1991) showed that, given equivalent document representations and query forms, the inference network model performed better than conventi ...
OpenProblems-2011-01-15
... information present a complex body of knowledge that accommodates different views of information through fields of natural, social and computer science. Or, as [Floridi 2005] formulates it, “Information is such a powerful and elusive concept that it can be associated with several explanations, depe ...
... information present a complex body of knowledge that accommodates different views of information through fields of natural, social and computer science. Or, as [Floridi 2005] formulates it, “Information is such a powerful and elusive concept that it can be associated with several explanations, depe ...
The Next Knowledge Medium
... lower prices. Effects like this can ripple through an economy, as when a part that is used in many different products is made more cheaply. When there are many consumers, producers often can achieve economies of scale by switching to large-scale manufacturing processes and mass production. Thus, bus ...
... lower prices. Effects like this can ripple through an economy, as when a part that is used in many different products is made more cheaply. When there are many consumers, producers often can achieve economies of scale by switching to large-scale manufacturing processes and mass production. Thus, bus ...
TSTP Data-Exchange Formats for Automated Theorem Proving Tools
... out of work on the KIF language, and at this time the design of CL has not been completed. The OMDoc [Koh00], OpenMath [CC99], and MathML [CC99] languages specify XML based syntaxes for writing mathematical notions. These languages are quite expressive, but require a large amount of mark-up for quit ...
... out of work on the KIF language, and at this time the design of CL has not been completed. The OMDoc [Koh00], OpenMath [CC99], and MathML [CC99] languages specify XML based syntaxes for writing mathematical notions. These languages are quite expressive, but require a large amount of mark-up for quit ...
Statistical Script Learning with Multi
... Raymond J. Mooney Department of Computer Science The University of Texas at Austin [email protected] ...
... Raymond J. Mooney Department of Computer Science The University of Texas at Austin [email protected] ...
pdf
... 4.1 Default logic for model-based refinement of partial information The causal theory CT of the agent consists of a number of statements a → b for each causal relation from a to b, with a and b atoms. Sometimes included in this set are some facts to indicate that some atoms exclude each other (for e ...
... 4.1 Default logic for model-based refinement of partial information The causal theory CT of the agent consists of a number of statements a → b for each causal relation from a to b, with a and b atoms. Sometimes included in this set are some facts to indicate that some atoms exclude each other (for e ...
Emotions — The missing link? Rodrigo Ventura
... of fundamental intelligence, particularly adequate to decision making in situations demanding urgent action, results from the workings of the machinery of emotions (Damasio 1994). In this paper we address the problem of analyzing, modeling, and implementing emotion-based agents. We call these agents ...
... of fundamental intelligence, particularly adequate to decision making in situations demanding urgent action, results from the workings of the machinery of emotions (Damasio 1994). In this paper we address the problem of analyzing, modeling, and implementing emotion-based agents. We call these agents ...
imperfect information in electronic negotiations: an empirical study
... The electronic automating of negotiations was forecasted by [Davis and Smith 1983] more than 20 years ago. However, the automation level of current negotiation systems is still different (fully automated, process support and hybrid negotiation models [Rebstock 2001]). Fully automated models work wit ...
... The electronic automating of negotiations was forecasted by [Davis and Smith 1983] more than 20 years ago. However, the automation level of current negotiation systems is still different (fully automated, process support and hybrid negotiation models [Rebstock 2001]). Fully automated models work wit ...
Applications of Automated Reasoning Nr. 9/2007 Arbeitsberichte
... are treated rigidly. We will explain this on a special form of tableaux, the so called Hypertableaux, which are introduced in [BFN96] and which is used in KRHyper, a theorem prover, which is the basis throughout our applications. The calculus is a clause normal form tableau calculus and hence we sta ...
... are treated rigidly. We will explain this on a special form of tableaux, the so called Hypertableaux, which are introduced in [BFN96] and which is used in KRHyper, a theorem prover, which is the basis throughout our applications. The calculus is a clause normal form tableau calculus and hence we sta ...
Intelligent Agents
... percent AI’ (Etzioni, 1996). While AI techniques may be drawn upon to build agents, not all the capabilities are required by an agent and thus not all AI problems need be solved before building an agent. For example, the ability to learn may not be a desirable trait for an agent in some situations w ...
... percent AI’ (Etzioni, 1996). While AI techniques may be drawn upon to build agents, not all the capabilities are required by an agent and thus not all AI problems need be solved before building an agent. For example, the ability to learn may not be a desirable trait for an agent in some situations w ...
Combining Linear Programming and Satisfiability Solving for
... are boolean-valued; typeface are real. must be solved to solve the entire LCNF problem1 . The key to the encoding is the simple but expressive concept of triggers — each propositional variable may trigger a constraint; this constraint is then enforced whenever the variable’s truth assignment is true ...
... are boolean-valued; typeface are real. must be solved to solve the entire LCNF problem1 . The key to the encoding is the simple but expressive concept of triggers — each propositional variable may trigger a constraint; this constraint is then enforced whenever the variable’s truth assignment is true ...
PhD Thesis in Cognitive Science
... his influential essay “Computing machinery and intelligence” [12]. With programmable machines, algorithms were designed that could perform some of the mental tasks that require higher mental abilities such as reasoning and learning. The study and design of such algorithms and methods form the basis ...
... his influential essay “Computing machinery and intelligence” [12]. With programmable machines, algorithms were designed that could perform some of the mental tasks that require higher mental abilities such as reasoning and learning. The study and design of such algorithms and methods form the basis ...
Reasoning in Argumentation Frameworks Using Quantified
... Second, the different semantics captured by argumentation frameworks are all uniformly represented in our QBF setting. Our aim is, not at least, to illustrate how basic QBF modules can be used as building blocks for assembling realizations of numerous reasoning tasks in different instantiations of t ...
... Second, the different semantics captured by argumentation frameworks are all uniformly represented in our QBF setting. Our aim is, not at least, to illustrate how basic QBF modules can be used as building blocks for assembling realizations of numerous reasoning tasks in different instantiations of t ...
Physical symbol systems - Research Showcase @ CMU
... they must all be taken into account in the final analysis, whatever the starting point. Which constraint forms a preferred basis from which to conduct the search for the nature of mind? Most important, a constraint must provide a constructive ...
... they must all be taken into account in the final analysis, whatever the starting point. Which constraint forms a preferred basis from which to conduct the search for the nature of mind? Most important, a constraint must provide a constructive ...