Mapping and Inference in Analogical Problem Solving – As Much
... Polkehn, 2003). Although mapping is realized in all computational models of analogy making, the way it is performed differs significantly. Some dimensions in which models can be compared with respect to the realization of the mapping process are: Restriction to first-order mappings or allowing for h ...
... Polkehn, 2003). Although mapping is realized in all computational models of analogy making, the way it is performed differs significantly. Some dimensions in which models can be compared with respect to the realization of the mapping process are: Restriction to first-order mappings or allowing for h ...
Ethical Intelligence - The Unicist Research Institute
... the environment adding value, and from that point on they grow. The environment’s moral stimulates or limits the development of the individuals’ ethics. Exposition to adversity, scarcity and risk catalyzes the evolution of ethics. Its failure inhibits it, its resolution strengthens it. (2) The strat ...
... the environment adding value, and from that point on they grow. The environment’s moral stimulates or limits the development of the individuals’ ethics. Exposition to adversity, scarcity and risk catalyzes the evolution of ethics. Its failure inhibits it, its resolution strengthens it. (2) The strat ...
TEMPORAL LOGIC
... necessity and possibility. In modern times, the interest in symbolic logic grew during the first half of the 20th century, and – with some delay – new modal and temporal logic approaches occurred. First publications date back to the 1940's. In particular, the logicians Prior, Rescher, Kripke, and Sc ...
... necessity and possibility. In modern times, the interest in symbolic logic grew during the first half of the 20th century, and – with some delay – new modal and temporal logic approaches occurred. First publications date back to the 1940's. In particular, the logicians Prior, Rescher, Kripke, and Sc ...
Adding Data Mining Support to SPARQL via Statistical
... inference techniques as a complement to the existing Semantic Web infrastructure. Consequently, a big challenge for Semantic Web research is not if, but how to extend the existing Semantic Web techniques with statistical learning and inferencing capabilities. In this paper we (1) argue that the larg ...
... inference techniques as a complement to the existing Semantic Web infrastructure. Consequently, a big challenge for Semantic Web research is not if, but how to extend the existing Semantic Web techniques with statistical learning and inferencing capabilities. In this paper we (1) argue that the larg ...
Project Five
... functions that can be used to construct complex functions using functional forms. Functional languages promote conciseness, abstractness and simplicity in the coding structure. Conversely, the structure of the simple procedural languages is pretty simple. A good example would be that of FORTRAN, wh ...
... functions that can be used to construct complex functions using functional forms. Functional languages promote conciseness, abstractness and simplicity in the coding structure. Conversely, the structure of the simple procedural languages is pretty simple. A good example would be that of FORTRAN, wh ...
Handling inconsistency with preference
... Classical logic has many appealing features for knowledge representation and reasoning, but unfortunately when reasoning with inconsistent information, i.e. drawing conclusions from an inconsistent knowledge base, the set of classical consequences is trivialized. To solve this problem, two kinds of ...
... Classical logic has many appealing features for knowledge representation and reasoning, but unfortunately when reasoning with inconsistent information, i.e. drawing conclusions from an inconsistent knowledge base, the set of classical consequences is trivialized. To solve this problem, two kinds of ...
Predicting Classifier Combinations
... base-level classifiers. If all classifiers deliver correlated results, their combination would hardly provide any improvement. Diversity among the base classifiers can be introduced by using distinct algorithms, different parameter values of the same algorithm, different subsets of the samples, or d ...
... base-level classifiers. If all classifiers deliver correlated results, their combination would hardly provide any improvement. Diversity among the base classifiers can be introduced by using distinct algorithms, different parameter values of the same algorithm, different subsets of the samples, or d ...
Artificial Intelligence and Decision Systems Course notes
... • In 1997 the computer Deep Blue defeated the chess grand champion Kasparov, with broad media coverage. Insofar chess has been considered a benchmark of intelligence, this is a considerable feat, as this was the first time the best known human on the specific task of chess was beaten by a machine. H ...
... • In 1997 the computer Deep Blue defeated the chess grand champion Kasparov, with broad media coverage. Insofar chess has been considered a benchmark of intelligence, this is a considerable feat, as this was the first time the best known human on the specific task of chess was beaten by a machine. H ...
limitations and performance of mrpii/erp systems - ICPR
... this area has been the limited amount of realism in the models and approaches. None of the works reviewed benchmarks the parameters used in the studies with any industrial data. Given the widespread use of MRPII/ERP systems, such data to ground models could and should be used. Because the applicabil ...
... this area has been the limited amount of realism in the models and approaches. None of the works reviewed benchmarks the parameters used in the studies with any industrial data. Given the widespread use of MRPII/ERP systems, such data to ground models could and should be used. Because the applicabil ...
Reasoning in Architecture
... elaboration. When I think about the ’never ending’ nature of this work, the graduating moment seems artificial, although deadlines like these enforce that my ideas become manifest on paper. In working on this project I have encountered a lot of firsts. It was my first time writing a text of such an ...
... elaboration. When I think about the ’never ending’ nature of this work, the graduating moment seems artificial, although deadlines like these enforce that my ideas become manifest on paper. In working on this project I have encountered a lot of firsts. It was my first time writing a text of such an ...
hybrid expert system agents - Universitatea"Petru Maior"
... diagnosis system is proposed for difficult problems solving, like the diagnoses of combinations of illnesses (patients that suffer from combinations of illnesses). In the papers [5, 6] are analyzed different aspects related with a novel hybrid diagnosis system. The novelty consists in the diagnosis ...
... diagnosis system is proposed for difficult problems solving, like the diagnoses of combinations of illnesses (patients that suffer from combinations of illnesses). In the papers [5, 6] are analyzed different aspects related with a novel hybrid diagnosis system. The novelty consists in the diagnosis ...
DEPARTMENT OF CYBERNETICS AND ARTIFICIAL INTELLIGENCE
... with automatic reconfiguration has a goal to research, develop and implement the algorithms and control methods of the individual networked control elements, whose interconnections are realized by communication networks using the principles and methods of artificial intelligence. The project main fo ...
... with automatic reconfiguration has a goal to research, develop and implement the algorithms and control methods of the individual networked control elements, whose interconnections are realized by communication networks using the principles and methods of artificial intelligence. The project main fo ...
Embodied artificial intelligence
... Anderson is right: EAI proponents often criticise non-embodied AI for taking the view6 that “just as is the case in modern logic, it is the form of the symbol. . . and not its meaning that is the basis of its rule-based transformation” ([4, Section 1], original emphasis7 ). But it’s not clear that E ...
... Anderson is right: EAI proponents often criticise non-embodied AI for taking the view6 that “just as is the case in modern logic, it is the form of the symbol. . . and not its meaning that is the basis of its rule-based transformation” ([4, Section 1], original emphasis7 ). But it’s not clear that E ...
Methods of Artificial Intelligence in Blind People Education
... with good eyesight could be replaced by sound information. Braille Score provides sound information of two types. The first type of sound information collaborates with screen readers, computer programs dedicated to blind people which could read contents of display screen and communicate it to user i ...
... with good eyesight could be replaced by sound information. Braille Score provides sound information of two types. The first type of sound information collaborates with screen readers, computer programs dedicated to blind people which could read contents of display screen and communicate it to user i ...
Discriminative Improvements to Distributional Sentence Similarity
... Without attempting to do justice to the entire literature on paraphrase identification, we note three high-level approaches: (1) string similarity metrics such as n-gram overlap and BLEU score (Wan et al., 2006; Madnani et al., 2012), as well as string kernels (Bu et al., 2012); (2) syntactic operat ...
... Without attempting to do justice to the entire literature on paraphrase identification, we note three high-level approaches: (1) string similarity metrics such as n-gram overlap and BLEU score (Wan et al., 2006; Madnani et al., 2012), as well as string kernels (Bu et al., 2012); (2) syntactic operat ...
Reasoning in Argumentation Frameworks Using Quantified
... is based on the satisfiability problem of quantified Boolean formulas (QBFs), an extension of classical propositional logic in which formulas may contain quantifications over propositional atoms. The motivation to consider QBFs for argumentation frameworks is as follows: First, in recent years we ob ...
... is based on the satisfiability problem of quantified Boolean formulas (QBFs), an extension of classical propositional logic in which formulas may contain quantifications over propositional atoms. The motivation to consider QBFs for argumentation frameworks is as follows: First, in recent years we ob ...
Representation = Grounded Information - Our research
... grounding, and we argue that the next best constructive step is the development of a framework based on well defined concepts which can be used to design and analyse grounding capabilities, and to explicitly compare grounding across systems and agents. The key purpose being to develop cognitive agen ...
... grounding, and we argue that the next best constructive step is the development of a framework based on well defined concepts which can be used to design and analyse grounding capabilities, and to explicitly compare grounding across systems and agents. The key purpose being to develop cognitive agen ...
Automatic Invention of Functional Abstractions
... Our FAI technique is inspired by a standard ‘recipe’ which human programmers use to derive functional abstractions from patterns in programs, described by e.g. Abelson and Sussman [1, Sect. 1.3.1]. One previous attempt to automate this kind of recipe is due to Bakewell and Runciman [2]; they impleme ...
... Our FAI technique is inspired by a standard ‘recipe’ which human programmers use to derive functional abstractions from patterns in programs, described by e.g. Abelson and Sussman [1, Sect. 1.3.1]. One previous attempt to automate this kind of recipe is due to Bakewell and Runciman [2]; they impleme ...
The Symbolic vs. Numeric Controversy in Automatic Analysis of Music
... analysis of jazz chord sequences as found in the Real Book or Fake Book series. This model uses purely symbolic methods taken from object-oriented knowledge representation, production rules, and declarative control architecture [Pachet, 1991]. Both approaches share a common goal: be able to produce ...
... analysis of jazz chord sequences as found in the Real Book or Fake Book series. This model uses purely symbolic methods taken from object-oriented knowledge representation, production rules, and declarative control architecture [Pachet, 1991]. Both approaches share a common goal: be able to produce ...
Discrete Event Calculus Deduction using First
... In a first-order logic language, the proposition that the water level of a sink is 2, is represented using an atom such as waterLevel(2). In the event calculus, the truth of this proposition at timepoint 3 is represented using an atom such as holdsAt(waterLevel(2), 3). However, this is not a well-fo ...
... In a first-order logic language, the proposition that the water level of a sink is 2, is represented using an atom such as waterLevel(2). In the event calculus, the truth of this proposition at timepoint 3 is represented using an atom such as holdsAt(waterLevel(2), 3). However, this is not a well-fo ...
A. M. Turing
... contrast, in denying that all knowledge derives from the senses, rationalists are faced with the question of what other sources there are for knowledge. The most natural candidate is the mind itself, and for this reason rationalism goes hand in hand with NATIVISM about both the source of human knowl ...
... contrast, in denying that all knowledge derives from the senses, rationalists are faced with the question of what other sources there are for knowledge. The most natural candidate is the mind itself, and for this reason rationalism goes hand in hand with NATIVISM about both the source of human knowl ...
Issues in Temporal and Causal Inference
... often considered as “causal inference”. Though “causality” has many different interpretations [33], a common opinion is to think the events in the universe as interconnected via “causal relations”, so that every event is “caused” by a certain proceeding event. When the causal relations of an event b ...
... often considered as “causal inference”. Though “causality” has many different interpretations [33], a common opinion is to think the events in the universe as interconnected via “causal relations”, so that every event is “caused” by a certain proceeding event. When the causal relations of an event b ...
(PPT, 221KB)
... In Artificial Intelligence, an expert system is a computer system that emulates the decisionmaking ability of a human expert. Expert systems are designed to solve complex problems by reasoning about knowledge, represented primarily as IF-THEN rules rather than through conventional procedural code. T ...
... In Artificial Intelligence, an expert system is a computer system that emulates the decisionmaking ability of a human expert. Expert systems are designed to solve complex problems by reasoning about knowledge, represented primarily as IF-THEN rules rather than through conventional procedural code. T ...
Intelligent Systems
... Unfulfilled promises, or the impact of reality The main difficulties for AI in the late 1960s were: • Because AI researchers were developing general methods for broad classes of problems, early programs contained little or even no knowledge about a problem domain. • To solve problems, programs appl ...
... Unfulfilled promises, or the impact of reality The main difficulties for AI in the late 1960s were: • Because AI researchers were developing general methods for broad classes of problems, early programs contained little or even no knowledge about a problem domain. • To solve problems, programs appl ...