Transactions of The Japanese Society for Artificial Intelligence, 2002
We present an overview of a legal negotiation support system, ANS (Argumentation based Negotiatio... more We present an overview of a legal negotiation support system, ANS (Argumentation based Negotiation support System). ANS consists of a user interface, three inference engines, a database of old cases, and two decision support modules. The ANS users negotiates or disputes with others via a computer network. The negotiation status is managed in the form of the negotiation diagram. The
The 12th IEEE International Workshop on Robot and Human Interactive Communication, 2003. Proceedings. ROMAN 2003.
In this paper, we describe a tool for developing animated agents with facial expressions in negot... more In this paper, we describe a tool for developing animated agents with facial expressions in negotiation through a computer network. The tool learns a user's tendency to select facial expressions of the animated agent, and generates facial expressions instead of human. In order to estimate facial expressions, the tool has an emotional model constructed by Bayesian Network. We can easily develop animated agents if we use this tool as a component. And we describe the estimation of an opponent's emotional state, based on observed data, by using the Bayesian Network.
2008 IEEE Congress on Evolutionary Computation (IEEE World Congress on Computational Intelligence)
We propose a framework to extract topic maps from a set of Web pages. We use the clustering metho... more We propose a framework to extract topic maps from a set of Web pages. We use the clustering method with the Web pages and extract the topic map prototypes. We introduced the following two points to the existing clustering method: The first is merging only the linked Web pages, thus extracting the underlying relationships between the topics. The second is introducing weighting based on the similarity from the contents of the Web pages and relevance between topics of pages. The relevance is based on the types of links with directories in the Web sites structure and the distance between the directories in which the pages are located. We generate the topic map prototypes by assuming that the clusters are the topics, the edges are the associations, and the Web pages related to the topics are the occurrences from the results of the clustering. Finally, users complete the prototype by labeling the topics and associations and removing the unnecessary items. We incrementally use a userpsilas evaluation of the topic maps to judge whether a Web page is unnecessary or necessary and then reduce the number of unnecessary pages. We use the relevance feedback along with a Support Vector Machine (SVM) to judge the Web pages. For this paper, at the first step, we mounted the proposed clustering method and conducted experiments to evaluate the effectiveness of extracting topic map prototypes. We eventually discussed the effectiveness of our two additional points by evaluating the extracted topic map prototypes.
Proceedings of the 3rd International Conference on Agents and Artificial Intelligence
Chinese traditional philosophy regards dialectics as a style of reasoning that focuses on contrad... more Chinese traditional philosophy regards dialectics as a style of reasoning that focuses on contradictions and how to resolve them, transcend them or find the truth in both. Compromise is considered to be one possible way to resolve conflicts dialectically. In this paper, we formalize dialectical reasoning as a way for deriving compromise. Both the definition of the notion of compromise and the algorithm for dialectical reasoning are proposed on an abstract complete lattice. We prove that the dialectical reasoning is sound and complete with respect to the compromise. We propose the concrete algorithm for dialectical reasoning characterized by definite clausal language and generalized subsumption. The algorithm is proved to be sound with respect to the compromise. Furthermore, we expand an argumentation system to handle compromise arguments, and illustrate that an agent bringing up a compromise argument realizes a compromise based justification towards argument-based deliberation.
This paper describes the main features of the TokyoTechSFC 2D soccer simulation team that has par... more This paper describes the main features of the TokyoTechSFC 2D soccer simulation team that has participated in the RoboCup competition since 2000. We enhanced a player agent’s basic skills using some learning methods and on-line search algorithms. And we introduced new agent architecture to realize a more realistic coaching system. Our system assumes that human works as a trainer. We are developing a GUI training tool that supports human trainer.
We developed anOnline BARNNGA, which is social simulation game towards development of social agen... more We developed anOnline BARNNGA, which is social simulation game towards development of social agent. We observe human’s social skills of leaning to implicit understanding. This game based onBARNGA whose purpose is experience to explore factors related to communication problems in intercultural situations with cards game: trick taking game. In BARNGA, differences of a game’s rule represent cultural difference. Likewise, implicit rules can represent likely differences of a game’s rule. Then we observe behavior of players on the game and analyze social skills.
Toward implementation of fashion recommendation system based on photos taken with mobile phones, ... more Toward implementation of fashion recommendation system based on photos taken with mobile phones, we propose a framework to recognize hierarchical categories of a fashion item. To classify an arbitrary photo of clothes robustly, (1) we collected two kind of dataset: (I) 120K datasets of clothes images on EC sites to train the classifier and (II) the clothing image set composed of photos taken by participants with their mobile phones. (2) we proposed Layered Deep Convolutional Neural Networks (LDCNNs) which is specialized in classifying images into hierarchical categories: hoodie is a lower in hierarchy in tops category. Experimental result shows proposed LDCNNs obtained mean accuracy of 92.7% for datasets from EC sites and 96.9% for those from mobile phones. This results are better than those (84.9%, 90.6 % respectively) for MLR+CNN in classification accuracy.
: Methods to analyze discussion records have been explored and a basic framework developed. Discu... more : Methods to analyze discussion records have been explored and a basic framework developed. Discussion records were analyzed by two methods -- Scene analysis and Logical analysis. Scene analysis focuses on topic change in the record and divides a record into several scenes using Temporal Data Crystallization (TDC). Then, by measuring the polarity of words and the volume of utterance, the atmosphere and emotion in the scene were analyzed. Logical analysis focuses on the role of phrases in utterances, and attaches logical labels to phrases based on Toulmin diagram. By these labels, logical structure of arguments in the discussion was extracted, its semantics were calculated based on Theory of Computational Argumentation and various argumentation skills of the discussion record was evaluated. In addition to discussion analysis, the scene analysis techniques were applied to caption data of TV programs to recognize change of scenes, which requires real time analysis.
In this paper, we propose an interactive constrained independent topic analysis in text data mini... more In this paper, we propose an interactive constrained independent topic analysis in text data mining. Independent topic analysis (ITA) is a method for extracting independent topics from document data using independent component analysis. In this independent topic analysis, the most independent topics between each topic are extracted. By extracting the independent topic, managing documents with a large number of text data is easy with document access support systems and document management systems. However, the topics extracted by ITA are often different from the topics a user requests. For the system to be of service to users, an interactive system that reflects the user’s requests is necessary. Thus, we propose an interactive ITA that works for the user. For example, if there are three topics, i.e., topic A, topic B, and topic C, and a user choose the content from topics A and B, a user can merge those topics into one topic D. In addition, if a user wants to analyze topic A in more detail, a user could separate topic A into topics E and topic F. To that end, we define Merge Link constraints and Separate Link constraints as user requests. The Merge Link constraint is a constraint that merges two topics into one topic. The Separate Link constraint is a constraint that separates two topics from one topic. In this paper, we propose a method for extracting a highly independent topic that meets these constraints. We conducted evaluation experiments on our proposed methods, and obtained results to show the effectiveness of our approach.
Transactions of the Japanese Society for Artificial Intelligence
Though many kinds of multi-agent systems based on argumentation have been proposed where only rul... more Though many kinds of multi-agent systems based on argumentation have been proposed where only rule-based knowledge is taken into account, they have been unable to handle the ontological knowledge so far. In our daily life, however, there are a lot of human argumentation where both ontological and rule knowledges are used. For example, in e-commerce, a seller and a buyer usually use ontologies about products along with their respective strategic rules for buying and selling. Recent progress of the Semantic Web technology provides expressive ontology languages. In this paper, we demonstrate integration of the Semantic Web reasoning and argument-based reasoning. We have implemented the integrated system such that Logic of Multiple-valued Argumentation-based agent system (specialized to two values {f, t}) can be accessible to the Semantic Web reasoning established as the description logic reasoning system, given ontologies expressed by OWL DL or its notational variant the DL SHOIN (D). An interesting argumentation result using both ontologies and rules about the university curriculum is shown as an example executed by our system.
Journal of Advanced Computational Intelligence and Intelligent Informatics
This study focuses on gestures negotiation dialogs. Analyzing the situation/gesture relationship,... more This study focuses on gestures negotiation dialogs. Analyzing the situation/gesture relationship, we suggest how to enable agents to conduct adequate human-like gestures and evaluated whether an agent’s gestures could give an impression similar to those by a human being. We collected negotiation dialogs to study common human gestures. We studied gesture frequency in different situations and extracted gestures with high frequency, making an agent gesture module based on the number of characteristics. Using a questionnaire, we evaluated the impressions of gestures by human users and agents, confirming that the agent expresses the same state of mind as the human being by generating an adequately human-like gesture.
Journal of Advanced Computational Intelligence and Intelligent Informatics
We suggest adaptive gestures for robots adapting to groups based on utterance situations and soci... more We suggest adaptive gestures for robots adapting to groups based on utterance situations and social position and study the differences in type and number of teaching gestures based on the difference in groups in equivalence utterance. Gesture data is collected in which group members are directly taught to a robot through utterance situations and social position to make adaptation rule sets. Such rule sets are built by gestures to work in the group and group utterances to become common knowledge in the group. The degree of gesture adaptation is higher in a group when gestures are generated from a new text as input, confirming goodness of fit for the rule sets of individual groups through experiments.
Journal of Advanced Computational Intelligence and Intelligent Informatics
In the real-world multiagent/multirobot problems, a position of each agent is an important factor... more In the real-world multiagent/multirobot problems, a position of each agent is an important factor to affect agents’ performance. In the real-world problem such as soccer, the agent(player)’s position should be changed based on the current environmental state. Because the real-world problem is generally dynamic and continuous, assigning the most desirable position for any state is not possible. We formalize this issue as a map from a focal point like a ball position in a soccer field to a desirable position of each agent. We conducted experiments showing that agent positioning are acquired efficiently through intuitive human operation and function approximation models using supervised learning, and conducted performance evaluation experiments to determine the most suitable model. In performance evaluation experiments, we evaluated the generalization capability for each model with datasets which several data are randomly removed from original dataset and dataset which several specific...
Journal of Advanced Computational Intelligence and Intelligent Informatics
We focus on robotic learning under multiple instructors. Even when their goal is the same, differ... more We focus on robotic learning under multiple instructors. Even when their goal is the same, different instructors inevitably was different approaches. We propose incorporating DP matching and clustering, classifying the teaching demonstrations of instructors into groups of similar ones. Experiments in which an AIBO robot was taught to walk forward demonstrated that our proposal acquired appropriate teaching approaches based on AIBO’s different embodiments and maximizing task accomplishment.
Journal of Advanced Computational Intelligence and Intelligent Informatics
In the 1990, a number of studies was made on nonmonotonic reasoning with rule priorities. Little ... more In the 1990, a number of studies was made on nonmonotonic reasoning with rule priorities. Little is known, however, about relationships among these semantics because there is no framework in which these semantics can be compared. In this paper, we give the basis of this framework, which is a special form of Dung’s argumentation framework, although not covering all semantics of past studies in this category. To be concrete, we provide rule-based framework (RF) for extended logic programs (ELPs), clarify semantics of default rules and rule priorities, and extend it to RF for prioritized extended default logic programs (EDLPs). By means of RF for prioritized EDLPs, we reformulate several semantics of past studies , indicate their improvements, and give new prioritized EDLPs semantics.
Transactions of the Japanese Society for Artificial Intelligence
This paper focuses on developing a model for estimating communication skills of each participant ... more This paper focuses on developing a model for estimating communication skills of each participant in a group from multimodal (verbal and nonverbal) features. For this purpose, we use a multimodal group meeting corpus including audio signal data and head motion sensor data of participants observed in 30 group meeting sessions. The corpus also includes the communication skills of each participant, which is assessed by 21 external observers with the experience of human resource management. We extracted various kinds of features such as spoken utterances, acoustic features, speaking turns and the amount of head motion to estimate the communication skills. First, we created a regression model to infer the level of communication skills from these features using support vector regression to evaluate the estimation accuracy of the communication skills. Second, we created a binary (high or low) classification model using support vector machine. Experiment results show that the multimodal model achieved 0.62 in R 2 as the regression accuracy of overall skill, and also achieved 0.93 as the classification accuracy. This paper reports effective features in predicting the level of communication skill and shows that these features are also useful in characterizing the difference between the participants who have high level communication skills and those who do not.
Argument-based reasoning offers promising interaction and computation mechanisms for multi-agent ... more Argument-based reasoning offers promising interaction and computation mechanisms for multi-agent negotiation and deliberation. Arguments in this context are typically statements of beliefs or actions related to agents' subjective values, preferences, and so on. Consequences of such arguments can and should be evaluated using various criteria, and therefore, it is desirable that semantics supports these criteria as principles for accepting arguments. This paper gives an instance of Dung's abstract argumentation framework to deal with Pareto optimality, i.e., a fundamental criterion for social welfare. We show that the instance allows Dung's acceptability semantics to interpret Pareto optimal arguments, without loss of generality. We discuss the prospects of justified Pareto optimal arguments and Pareto optimal extensions.
Transactions of The Japanese Society for Artificial Intelligence, 2002
We present an overview of a legal negotiation support system, ANS (Argumentation based Negotiatio... more We present an overview of a legal negotiation support system, ANS (Argumentation based Negotiation support System). ANS consists of a user interface, three inference engines, a database of old cases, and two decision support modules. The ANS users negotiates or disputes with others via a computer network. The negotiation status is managed in the form of the negotiation diagram. The
The 12th IEEE International Workshop on Robot and Human Interactive Communication, 2003. Proceedings. ROMAN 2003.
In this paper, we describe a tool for developing animated agents with facial expressions in negot... more In this paper, we describe a tool for developing animated agents with facial expressions in negotiation through a computer network. The tool learns a user's tendency to select facial expressions of the animated agent, and generates facial expressions instead of human. In order to estimate facial expressions, the tool has an emotional model constructed by Bayesian Network. We can easily develop animated agents if we use this tool as a component. And we describe the estimation of an opponent's emotional state, based on observed data, by using the Bayesian Network.
2008 IEEE Congress on Evolutionary Computation (IEEE World Congress on Computational Intelligence)
We propose a framework to extract topic maps from a set of Web pages. We use the clustering metho... more We propose a framework to extract topic maps from a set of Web pages. We use the clustering method with the Web pages and extract the topic map prototypes. We introduced the following two points to the existing clustering method: The first is merging only the linked Web pages, thus extracting the underlying relationships between the topics. The second is introducing weighting based on the similarity from the contents of the Web pages and relevance between topics of pages. The relevance is based on the types of links with directories in the Web sites structure and the distance between the directories in which the pages are located. We generate the topic map prototypes by assuming that the clusters are the topics, the edges are the associations, and the Web pages related to the topics are the occurrences from the results of the clustering. Finally, users complete the prototype by labeling the topics and associations and removing the unnecessary items. We incrementally use a userpsilas evaluation of the topic maps to judge whether a Web page is unnecessary or necessary and then reduce the number of unnecessary pages. We use the relevance feedback along with a Support Vector Machine (SVM) to judge the Web pages. For this paper, at the first step, we mounted the proposed clustering method and conducted experiments to evaluate the effectiveness of extracting topic map prototypes. We eventually discussed the effectiveness of our two additional points by evaluating the extracted topic map prototypes.
Proceedings of the 3rd International Conference on Agents and Artificial Intelligence
Chinese traditional philosophy regards dialectics as a style of reasoning that focuses on contrad... more Chinese traditional philosophy regards dialectics as a style of reasoning that focuses on contradictions and how to resolve them, transcend them or find the truth in both. Compromise is considered to be one possible way to resolve conflicts dialectically. In this paper, we formalize dialectical reasoning as a way for deriving compromise. Both the definition of the notion of compromise and the algorithm for dialectical reasoning are proposed on an abstract complete lattice. We prove that the dialectical reasoning is sound and complete with respect to the compromise. We propose the concrete algorithm for dialectical reasoning characterized by definite clausal language and generalized subsumption. The algorithm is proved to be sound with respect to the compromise. Furthermore, we expand an argumentation system to handle compromise arguments, and illustrate that an agent bringing up a compromise argument realizes a compromise based justification towards argument-based deliberation.
This paper describes the main features of the TokyoTechSFC 2D soccer simulation team that has par... more This paper describes the main features of the TokyoTechSFC 2D soccer simulation team that has participated in the RoboCup competition since 2000. We enhanced a player agent’s basic skills using some learning methods and on-line search algorithms. And we introduced new agent architecture to realize a more realistic coaching system. Our system assumes that human works as a trainer. We are developing a GUI training tool that supports human trainer.
We developed anOnline BARNNGA, which is social simulation game towards development of social agen... more We developed anOnline BARNNGA, which is social simulation game towards development of social agent. We observe human’s social skills of leaning to implicit understanding. This game based onBARNGA whose purpose is experience to explore factors related to communication problems in intercultural situations with cards game: trick taking game. In BARNGA, differences of a game’s rule represent cultural difference. Likewise, implicit rules can represent likely differences of a game’s rule. Then we observe behavior of players on the game and analyze social skills.
Toward implementation of fashion recommendation system based on photos taken with mobile phones, ... more Toward implementation of fashion recommendation system based on photos taken with mobile phones, we propose a framework to recognize hierarchical categories of a fashion item. To classify an arbitrary photo of clothes robustly, (1) we collected two kind of dataset: (I) 120K datasets of clothes images on EC sites to train the classifier and (II) the clothing image set composed of photos taken by participants with their mobile phones. (2) we proposed Layered Deep Convolutional Neural Networks (LDCNNs) which is specialized in classifying images into hierarchical categories: hoodie is a lower in hierarchy in tops category. Experimental result shows proposed LDCNNs obtained mean accuracy of 92.7% for datasets from EC sites and 96.9% for those from mobile phones. This results are better than those (84.9%, 90.6 % respectively) for MLR+CNN in classification accuracy.
: Methods to analyze discussion records have been explored and a basic framework developed. Discu... more : Methods to analyze discussion records have been explored and a basic framework developed. Discussion records were analyzed by two methods -- Scene analysis and Logical analysis. Scene analysis focuses on topic change in the record and divides a record into several scenes using Temporal Data Crystallization (TDC). Then, by measuring the polarity of words and the volume of utterance, the atmosphere and emotion in the scene were analyzed. Logical analysis focuses on the role of phrases in utterances, and attaches logical labels to phrases based on Toulmin diagram. By these labels, logical structure of arguments in the discussion was extracted, its semantics were calculated based on Theory of Computational Argumentation and various argumentation skills of the discussion record was evaluated. In addition to discussion analysis, the scene analysis techniques were applied to caption data of TV programs to recognize change of scenes, which requires real time analysis.
In this paper, we propose an interactive constrained independent topic analysis in text data mini... more In this paper, we propose an interactive constrained independent topic analysis in text data mining. Independent topic analysis (ITA) is a method for extracting independent topics from document data using independent component analysis. In this independent topic analysis, the most independent topics between each topic are extracted. By extracting the independent topic, managing documents with a large number of text data is easy with document access support systems and document management systems. However, the topics extracted by ITA are often different from the topics a user requests. For the system to be of service to users, an interactive system that reflects the user’s requests is necessary. Thus, we propose an interactive ITA that works for the user. For example, if there are three topics, i.e., topic A, topic B, and topic C, and a user choose the content from topics A and B, a user can merge those topics into one topic D. In addition, if a user wants to analyze topic A in more detail, a user could separate topic A into topics E and topic F. To that end, we define Merge Link constraints and Separate Link constraints as user requests. The Merge Link constraint is a constraint that merges two topics into one topic. The Separate Link constraint is a constraint that separates two topics from one topic. In this paper, we propose a method for extracting a highly independent topic that meets these constraints. We conducted evaluation experiments on our proposed methods, and obtained results to show the effectiveness of our approach.
Transactions of the Japanese Society for Artificial Intelligence
Though many kinds of multi-agent systems based on argumentation have been proposed where only rul... more Though many kinds of multi-agent systems based on argumentation have been proposed where only rule-based knowledge is taken into account, they have been unable to handle the ontological knowledge so far. In our daily life, however, there are a lot of human argumentation where both ontological and rule knowledges are used. For example, in e-commerce, a seller and a buyer usually use ontologies about products along with their respective strategic rules for buying and selling. Recent progress of the Semantic Web technology provides expressive ontology languages. In this paper, we demonstrate integration of the Semantic Web reasoning and argument-based reasoning. We have implemented the integrated system such that Logic of Multiple-valued Argumentation-based agent system (specialized to two values {f, t}) can be accessible to the Semantic Web reasoning established as the description logic reasoning system, given ontologies expressed by OWL DL or its notational variant the DL SHOIN (D). An interesting argumentation result using both ontologies and rules about the university curriculum is shown as an example executed by our system.
Journal of Advanced Computational Intelligence and Intelligent Informatics
This study focuses on gestures negotiation dialogs. Analyzing the situation/gesture relationship,... more This study focuses on gestures negotiation dialogs. Analyzing the situation/gesture relationship, we suggest how to enable agents to conduct adequate human-like gestures and evaluated whether an agent’s gestures could give an impression similar to those by a human being. We collected negotiation dialogs to study common human gestures. We studied gesture frequency in different situations and extracted gestures with high frequency, making an agent gesture module based on the number of characteristics. Using a questionnaire, we evaluated the impressions of gestures by human users and agents, confirming that the agent expresses the same state of mind as the human being by generating an adequately human-like gesture.
Journal of Advanced Computational Intelligence and Intelligent Informatics
We suggest adaptive gestures for robots adapting to groups based on utterance situations and soci... more We suggest adaptive gestures for robots adapting to groups based on utterance situations and social position and study the differences in type and number of teaching gestures based on the difference in groups in equivalence utterance. Gesture data is collected in which group members are directly taught to a robot through utterance situations and social position to make adaptation rule sets. Such rule sets are built by gestures to work in the group and group utterances to become common knowledge in the group. The degree of gesture adaptation is higher in a group when gestures are generated from a new text as input, confirming goodness of fit for the rule sets of individual groups through experiments.
Journal of Advanced Computational Intelligence and Intelligent Informatics
In the real-world multiagent/multirobot problems, a position of each agent is an important factor... more In the real-world multiagent/multirobot problems, a position of each agent is an important factor to affect agents’ performance. In the real-world problem such as soccer, the agent(player)’s position should be changed based on the current environmental state. Because the real-world problem is generally dynamic and continuous, assigning the most desirable position for any state is not possible. We formalize this issue as a map from a focal point like a ball position in a soccer field to a desirable position of each agent. We conducted experiments showing that agent positioning are acquired efficiently through intuitive human operation and function approximation models using supervised learning, and conducted performance evaluation experiments to determine the most suitable model. In performance evaluation experiments, we evaluated the generalization capability for each model with datasets which several data are randomly removed from original dataset and dataset which several specific...
Journal of Advanced Computational Intelligence and Intelligent Informatics
We focus on robotic learning under multiple instructors. Even when their goal is the same, differ... more We focus on robotic learning under multiple instructors. Even when their goal is the same, different instructors inevitably was different approaches. We propose incorporating DP matching and clustering, classifying the teaching demonstrations of instructors into groups of similar ones. Experiments in which an AIBO robot was taught to walk forward demonstrated that our proposal acquired appropriate teaching approaches based on AIBO’s different embodiments and maximizing task accomplishment.
Journal of Advanced Computational Intelligence and Intelligent Informatics
In the 1990, a number of studies was made on nonmonotonic reasoning with rule priorities. Little ... more In the 1990, a number of studies was made on nonmonotonic reasoning with rule priorities. Little is known, however, about relationships among these semantics because there is no framework in which these semantics can be compared. In this paper, we give the basis of this framework, which is a special form of Dung’s argumentation framework, although not covering all semantics of past studies in this category. To be concrete, we provide rule-based framework (RF) for extended logic programs (ELPs), clarify semantics of default rules and rule priorities, and extend it to RF for prioritized extended default logic programs (EDLPs). By means of RF for prioritized EDLPs, we reformulate several semantics of past studies , indicate their improvements, and give new prioritized EDLPs semantics.
Transactions of the Japanese Society for Artificial Intelligence
This paper focuses on developing a model for estimating communication skills of each participant ... more This paper focuses on developing a model for estimating communication skills of each participant in a group from multimodal (verbal and nonverbal) features. For this purpose, we use a multimodal group meeting corpus including audio signal data and head motion sensor data of participants observed in 30 group meeting sessions. The corpus also includes the communication skills of each participant, which is assessed by 21 external observers with the experience of human resource management. We extracted various kinds of features such as spoken utterances, acoustic features, speaking turns and the amount of head motion to estimate the communication skills. First, we created a regression model to infer the level of communication skills from these features using support vector regression to evaluate the estimation accuracy of the communication skills. Second, we created a binary (high or low) classification model using support vector machine. Experiment results show that the multimodal model achieved 0.62 in R 2 as the regression accuracy of overall skill, and also achieved 0.93 as the classification accuracy. This paper reports effective features in predicting the level of communication skill and shows that these features are also useful in characterizing the difference between the participants who have high level communication skills and those who do not.
Argument-based reasoning offers promising interaction and computation mechanisms for multi-agent ... more Argument-based reasoning offers promising interaction and computation mechanisms for multi-agent negotiation and deliberation. Arguments in this context are typically statements of beliefs or actions related to agents' subjective values, preferences, and so on. Consequences of such arguments can and should be evaluated using various criteria, and therefore, it is desirable that semantics supports these criteria as principles for accepting arguments. This paper gives an instance of Dung's abstract argumentation framework to deal with Pareto optimality, i.e., a fundamental criterion for social welfare. We show that the instance allows Dung's acceptability semantics to interpret Pareto optimal arguments, without loss of generality. We discuss the prospects of justified Pareto optimal arguments and Pareto optimal extensions.
Uploads
Papers by Katsumi Nitta