共查询到20条相似文献,搜索用时 20 毫秒
1.
Atsushi Shimojima 《Artificial Intelligence Review》2001,15(1-2):5-27
What properties, if any, distinguish graphical representations fromlinguistic representations? This paper looks for answers in the literatureof philosophy, logic, artificial intelligence, and cognitive psychology, andextracts seven alternative binary classifications of representations thatmay characterize the graphic-linguistic boundary. We assess eachalternative by two standards: (a) whether it extensionally fits the graphic-linguistic distinction, and (b) how far it explains the properties commonly attributed to graphic representations but not to linguistic ones. 相似文献
2.
Theories of diagrams and diagrammatic reasoning typically seek to account for either the formal semantics of diagrams, or for the advantages which diagrammatic representations hold for the reasoner over other forms of representation. Regrettably, almost no theory exists which accounts for both of these issues together, nor how they affect one another. We do not attempt to provide such an account here. We do, however, seek to lay out larger context than is generally used for examining the processes of using diagrams in reasoning or communication. A context in which detailed studies of sub-problems, such as the formal semantics or cognitive impact of specific diagrammatic systems, may be embedded.Accounts of the embedding of sentential logics in the computational processes of reasoners and communicators are relatively well developed from several decades of research in AI. Analogies between the sentential and the graphical cases are quite revealing about both similarities and differences. To provide a structure for the 'grand context' of diagrammatic representation and reasoning, and to clarify the relations between its component problems, we examine carefully these analogies and the decomposition they provide of subproblems for analysing diagrammatic reasoning. 相似文献
3.
Using Diagrams to Understand Geometry 总被引:1,自引:0,他引:1
Robert K. Lindsay 《Computational Intelligence》1998,14(2):238-272
This paper describes ARCHIMEDES-STUDENT, a computer program that constructs and modifies its own representations of diagrams from instructions supplied by a human who is demonstrating a theorem of geometry. The program's representation permits it to make inferences from its constructions and to find a justification for the conclusion of the theorem. It is argued that the sort of perceptual reasoning displayed by this program represents one important aspect of understanding because it relates the abstract mathematical theorem to knowledge of spatial relations. For humans this approach grounds abstraction in experience and thus provides a more compelling demonstration than a formal proof. Because ARCHIMEDES-STUDENT is a well-defined computer program, it provides a precise suggestion of how this aspect of understanding can be achieved. 相似文献
4.
Theorems in automated theorem proving are usually proved by formal logical proofs. However, there is a subset of problems which humans can prove by the use of geometric operations on diagrams, so called diagrammatic proofs. Insight is often more clearly perceived in these proofs than in the corresponding algebraic proofs; they capture an intuitive notion of truthfulness that humans find easy to see and understand. We are investigating and automating such diagrammatic reasoning about mathematical theorems. Concrete, rather than general diagrams are used to prove particular concrete instances of the universally quantified theorem. The diagrammatic proof is captured by the use of geometric operations on the diagram. These operations are the inference steps of the proof. An abstracted schematic proof of the universally quantified theorem is induced from these proof instances. The constructive -rule provides the mathematical basis for this step from schematic proofs to theoremhood. In this way we avoid the difficulty of treating a general case in a diagram. One method of confirming that the abstraction of the schematic proof from the proof instances is sound is proving the correctness of schematic proofs in the meta-theory of diagrams. These ideas have been implemented in the system, called Diamond, which is presented here. 相似文献
5.
基于多层推理机制的机械产品概念设计 总被引:15,自引:1,他引:14
将类比推理的方法与基于实例的方法相结合,建立了基于多层推理的机械产品概念设计系统、知识的表示,采用面向应用的规则方法,框架式的知识结构。该系统有自学习的能力,也可以由用户进行知识的更改和完善,用户界面良好。 相似文献
6.
J. Oberlander P. Monaghan R. Cox K. Stenning R. Tobin 《Journal of Logic, Language and Information》1999,8(3):363-384
Computer-based logic proofs are a form of unnatural language in which the process and structure of proof generation can be observed in considerable detail. We have been studying how students respond to multimodal logic teaching, and performance measures have already indicated that students' pre-existing cognitive styles have a significant impact on teaching outcome. Furthermore, a large corpus of proofs has been gathered via automatic logging of proof development. This paper applies a series of techniques, including corpus statistical methods, to the proof logs. The results indicate that students' cognitive styles influence the structure of their logical discourse, via their differing methods of handling abstract information in diagrams, and transferring information between modalities. 相似文献
7.
8.
9.
类比推理协处理器中的流水线技术 总被引:1,自引:0,他引:1
沈旭昆 《计算机研究与发展》1998,35(5):393-397
流水线是提高当代处理器性能的最重要技术,转移指令的处理策略直接影响流水线效率。文中讨论了类比推理协处理体系结构中采用的流流水线 及转移指令处理策略,它是使该系统处理类比推理问题的速度比通用处理器快一个数量级以上的重要因素之一。 相似文献
10.
Teeradaj Racharak Satoshi Tojo Nguyen Duy Hung Prachya Boonkwan 《Applied Artificial Intelligence》2013,27(13):1107-1132
ABSTRACTAnalogical reasoning is a complex process based on a comparison between two pairs of concepts or states of affairs (aka. the source and the target) for characterizing certain features from one to another. Arguments which employ this process to support their claims are called analogical arguments. Our goals are to study the structure and the computation for their defeasibility in light of the argumentation theory. Our proposed assumption-based argumentation with predicate similarity ABA(p) framework can be seen as an extension of assumption-based argumentation framework (ABA), in which not only assumptions can be used but also similarity of predicates is used to support a claim. ABA (p) labels each argument tree with an analogical degree and different ways to aggregate numerical values are studied toward gullible/skeptical characteristics in agent reasoning. The acceptability of analogical arguments is evaluated w.r.t. the semantics of abstract argumentation. Finally, we demonstrate that ABA (p) captures the argumentation scheme for argument from analogy and provides an explanation when it is used for persuasion. 相似文献
11.
Mohamed Yasser Khayata Daniel Pacholczyk Laurent Garcia 《Annals of Mathematics and Artificial Intelligence》2002,34(1-3):131-159
In this paper we present a new approach to a symbolic treatment of quantified statements having the following form Q
A's are B's, knowing that A and B are labels denoting sets, and Q is a linguistic quantifier interpreted as a proportion evaluated in a qualitative way. Our model can be viewed as a symbolic generalization of statistical conditional probability notions as well as a symbolic generalization of the classical probabilistic operators. Our approach is founded on a symbolic finite M-valued logic in which the graduation scale of M symbolic quantifiers is translated in terms of truth degrees. Moreover, we propose symbolic inference rules allowing us to manage quantified statements. 相似文献
12.
This paper argues the thesis that a particular style of reasoning, qualitative comparative reasoning (QCR), plays a role in
at least three areas of legal reasoning that are central in AI and law research, namely legal theory construction, case-based
reasoning in the form of case comparison, and legal proof. The paper gives an informal exposition of one particular way to
deal with QCR, based on the author’s previous work on reason-based logic (RBL). Then it contains a substantially adapted formalisation
of RBL, to make RBL suitable for dealing with QCR. The paper concludes with a brief discussion of related work.
*This paper is based on the chapters 3 and 4 of Hage 2005. 相似文献
13.
Seifert Colleen M. Hammond Kristian J. Johnson Hollyn M. Converse Timothy M. McDougal Thomas F. Vanderstoep Scott W. 《Machine Learning》1994,16(1-2):37-56
Interest in psychological experimentation from the Artificial Intelligence community often takes the form of rigorous post-hoc evaluation of completed computer models. Through an example of our own collaborative research, we advocate a different view of how psychology and AI may be mutually relevant, and propose an integrated approach to the study of learning in humans and machines. We begin with the problem of learning appropriate indices for storing and retrieving information from memory. From a planning task perspective, the most useful indices may be those that predict potential problems and access relevant plans in memory, improving the planner's ability to predict and avoid planning failures. This predictive features hypothesis is then supported as a psychological claim, with results showing that such features offer an advantage in terms of the selectivity of reminding because they more distinctively characterize planning situations where differing plans are appropriate.We present a specific case-based model of plan execution, RUNNER, along with its indices for recognizing when to select particular plans—appropriateness conditions—and how these predictive indices serve to enhance learning. We then discuss how this predictive features claim as implemented in the RUNNER model is then tested in a second set of psychological studies. The results show that learning appropriateness conditions results in greater success in recognizing when a past plan is in fact relevant in current processing, and produces more reliable recall of the related information. This form of collaboration has resulted in a unique integration of computational and empirical efforts to create a model of case-based learning. 相似文献
14.
15.
16.
17.
This paper looks at the particular role which diagrammatic representations, and external representations more generally, play within an educational context. In particular, it considers the way in which the demands on diagrammatic representational systems in educational settings differ with respect to other settings (e.g. professional): in some instances, these demands are increased, while in others, the demands are markedly different.The paper considers three key issues: the question of whether diagrams make certain tasks easier (and whether this is desirable from an educational point of view), the generalisation and transfer of diagrammatic skills once learnt, and the possible problems associated with simultaneously learning domain knowledge and a novel representational system.The paper then considers a number of sub-issues, and concludes by highlighting areas of particular interest for future AI research. 相似文献
18.
We present an approach to similarity‐based retrieval from knowledge bases that takes into account both the structure and semantics of knowledge base fragments. Those fragments, or analogues, are represented as sparse binary vectors that allow a computationally efficient estimation of structural and semantic similarity by the vector dot product. We present the representation scheme and experimental results for the knowledge base that was previously used for testing of leading analogical retrieval models MAC/FAC and ARCS. The experiments show that the proposed single‐stage approach provides results compatible with or better than the results of two‐stage models MAC/FAC and ARCS in terms of recall and precision. We argue that the proposed representation scheme is useful for large‐scale knowledge bases and free‐structured database applications. 相似文献
19.
Alan F. Blackwell Kirsten N. Whitley Judith Good Marian Petre 《Artificial Intelligence Review》2001,15(1-2):95-114
Visual programming languages aim to broaden the use ofdiagrams within the software industry, to the extentthat they are integrated into the programming languageitself. As a result, they provide an ideal opportunityto study the benefits of diagrams as an externalrepresentation during problem solving: not only isprogramming a challenging problem-solving activity,but the effect of diagram usage can be directlyassessed by comparing performance while using a visualprogramming language to performance with a standardtextual language. There have been severalmisconceptions amongst visual language researchersregarding the role of diagrams in software design, butthese are being addressed by empirical studies and bynew theories of notation design derived from studiesof visual programming. Based on this research, theauthors are able to recommend several new directionsfor research into thinking with diagrams. 相似文献
20.
Bart Vogelaar Jochanan Veerbeek Suzanne E. Splinter Wilma C. M. Resing 《Journal of Computer Assisted Learning》2021,37(3):632-644
This study aimed to investigate children's potential for reasoning by analogy utilizing a newly-developed computerized dynamic test, and the potential differential influence of executive functions (cognitive flexibility, attention, and planning) on static and dynamic measures of analogical reasoning. Participants included 64 children (mean age = 7.55). The study employed a two-session experimental test-training-test design. Based on randomized blocking, half of the children received a graduated prompts training between pre-test and post-test, and the other half did not. Trained children improved more than control children in both their accuracy scores and number of accurately applied transformations from pre-test to post-test. It was further found that cognitive flexibility, attention and planning, is associated with successful solving of analogies. Training children in analogical reasoning seemed to reduce the effect of executive functions. It was also found that that children who were more cognitively flexible needed more prompts during the training. 相似文献