著者
堀内 靖雄 中野 有紀子 小磯 花絵 石崎 雅人 鈴木 浩之 岡田 美智男 仲 真紀子 土屋 俊 市川 熹
出版者
社団法人人工知能学会
雑誌
人工知能学会誌 (ISSN:09128085)
巻号頁・発行日
vol.14, no.2, pp.261-272, 1999-03-01
被引用文献数
16

The Japanese Map Task Corpus was created between 1994 and 1998 and contains a collection of 23 hour digital recordings, digitized maps and orthographic transcriptions of 128 dialogues by 64 native Japanese speakers. Map task dialogues are dialogues participated in by two speakers, the instruction giver who has a map with a route and the instruction follower who has a map without a route. The giver verbally instructs the follower to draw a route on his map. The two maps are slightly different so that there may emerge a natural interaction in spite of the fact that the flow of information internal to the task is basically one way. The principle and design of the recordings are described with special reference to the augmentations and improvements to the original HCRC Map Task corpus. Annotations to the orthographic transcriptions are viewed as "tags" that provide the start and end times of utterances, the duration of pauses, non-verbal events and synchronization of overlapping utterances, in a format which provides a view to giving a basis for further tagging in terms of linguistic and discourse phenomena in a interchangeable and sharable manner. Discourse and linguistic phenomena peculiar to spontaneous spoken dialogues, such as overlapping, are analyzed and the method of recording such phenomena in the transcription is discussed and proposed, with an implication for the requirement that one dialogue be represented in one digitized sound file for the preservation and reference of the information on timing. The tags emp1oyed in the corpus also provide an easy way of characterizing it in terms of the number and the duration of utteraI1ces and pauses. The statistical figures thus ob-tained are relatively independent of design factors like kinds of maps, but familiarity does significantly correlate with the duration and number of utterances.
著者
武田 英明 冨山 哲男 吉川 弘之
出版者
社団法人人工知能学会
雑誌
人工知能学会誌 (ISSN:09128085)
巻号頁・発行日
vol.7, no.5, pp.877-887, 1992-09-01
被引用文献数
15

This paper presents a computable design process model that is based on a logical framework. A computable design process model is useful not only to investigate designing activities but also to realize intelligent CAD (Computer-Aided-Design) systems. We propose a computable model based on a non-classical logical framework including abduction, circumscription, meta-level reasoning, and modal logic. First, we discuss design processes with a cognitive model of design processes. We point out four problems that are difficult to solve in the classical logical framework. Second, we formalize design processes in a non-classical logical framework. In this formalization, a design process is regarded as an iterative process of abduction, deduction, and circumscription. Abduction is used to obtain candidate descriptions of the design object, deduction to find out properties of the design object, and circumscription to solve inconsistency occurred in the design process. These types of inference are used for knowledge about objects ; on the other hand meta-level reasoning based on knowledge about action is used to reason out what should be done next. Furthermore we introduce data semantics to represent transitions of design states. Data semantics is a kind of modal logic which allows not only truth value t and f but also u (unknown), and a design process is interpreted as a process generating possible worlds sequentially. Then, we illustrate a design simulator based on this logical model. We discuss formalization and implementation of abductive inference and utilization of other inferences that are needed to implement a design simulator. We show that it can trace a design process in which design objects are gradually refined as the design proceeds.
著者
石川 真澄
出版者
社団法人人工知能学会
雑誌
人工知能学会誌 (ISSN:09128085)
巻号頁・発行日
vol.5, no.5, pp.595-603, 1990-09-01
被引用文献数
104

Learning in connectionist models has two aspects : the first aspect being the reproduction of the mapping from input to output patterns, and the second being the discovery of regularity in these training patterns. The backpropagation learning algorithm stresses the former aspect, as can be seen from its criterion function of the sum of squared output errors. The present paper, on the other hand, lays emphasis on the latter aspect. In the backpropagation learning of feedforward type models it is of nesessity to determine, beforehand, the number of layers and the number of hidden units in each layer. Since this prior determination is, in general, difficult, a trial and error procedure is inevitable, which is quite time consuming. To overcome this difficulty and to generate a small sized network, the present paper proposes a learning algorithm with forgetting of link weights. This forgetting is realized by adding the sum of absolute values of link weights to the criterion in the backpropagation algorithm. This algorithm generates a skeletal structure, in which the numbers of links and units used are kept as small as possible. As by-products of this algorithm it has various advantages : ease of interpretation of hidden units and improved generalization power of the resulting models. This algorithm alone causes the following two difficulties : emergence of distributed representation on hidden layers, which makes the interpretation of hidden units difficult, and a poor criterion value after learning due to the added term in the criterion function. To resolve these difficulties a structural learning algorithm is proposed, which consists of a series of algorithms : the learning algorithm with forgetting, a hidden units clarification algorithm, and a learning algorithm with selective forgetting. This structural learning algorithm is applied to a problem of discovering a logical function from a given set of pairs of input and output logical values. It is well demonstrated that the resulting skeletal network represents logical structure of the given problem. On the contrary the backpropagation algorithm generates a network far from being skeletal, making the interpretation of hidden units quite difficult. This algorithm is applied to another problem of classifying iris data by Fischer.Generalization power of the structural learning algorithm and that of the backpropagation algorithm are compared. The result of the comparison clearly demonstrates that the former has greater generalization power than the latter.
著者
藤堂 清 松本 俊二 佐藤 智昭
出版者
社団法人人工知能学会
雑誌
人工知能学会誌 (ISSN:09128085)
巻号頁・発行日
vol.5, no.2, pp.213-219, 1990-03-01
被引用文献数
3

We are developing an intelligent development environment for knowledge systems based on ES/SDEM (Software Development Engineering Methodology for Expert Systems). The environment provides not only development tools such as editors or debugger, but also knowledge base called Knowledge Ware (KW) which can be used on different applications. KW is written using an object-oriented language on Common Lisp, and will provide the following advantages. ・User can build up expert systems rapidly using differential programming technique. ・Adding the parts made for an expert system to KW, it is easy to use the same parts for developing another expert systems. In this paper, the approach for building KW and the function of KW will be shown.