Querying a database to retrieve an answer, telling a robot to perform an action, or teaching a computer to play a game are tasks requiring communication with machines in a language interpretable by them. Semantic parsing is the task of converting human language to a machine interpretable language. While human languages are sequential in nature with latent structures, machine interpretable languages are formal with explicit structures. The computational linguistics community have created several treebanks to understand the formal syntactic structures of human languages. In this thesis, we use these to obtain formal meaning representations of languages, and learn computational models to convert these meaning representations to the target machine representation. Our goal is to evaluate if existing treebank syntactic representations are useful for semantic parsing. Existing semantic parsing methods mainly learn domain-specific grammars which can parse human languages to machine representation directly. We deviate from this trend and make use of general-purpose syntactic grammar to help in semantic parsing. We use two syntactic representations: Combinatory Categorial Grammar (CCG) and dependency syntax. CCG has a well established theory on deriving meaning representations from its syntactic derivations. But there are no CCG treebanks for many languages since these are difficult to annotate. In contrast, dependencies are easy to annotate and have many treebanks. However, dependencies do not have a well established theory for deriving meaning representations. In this thesis, we propose novel theories for deriving meaning representations from dependencies. Our evaluation task is question answering on a knowledge base. Given a question, our goal is to answer it on the knowledge base by converting the question to an executable query. We use Freebase, the knowledge source behind Google’s search engine, as our knowledge base. Freebase contains millions of real world facts represented in a graphical format. Inspired from the Freebase structure, we formulate semantic parsing as a graph matching problem, i.e., given a natural language sentence, we convert it into a graph structure from the meaning representation obtained from syntax, and find the subgraph of Freebase that best matches the natural language graph. Our experiments on Free917, WebQuestions and GraphQuestions semantic parsing datasets conclude that general-purpose syntax is more useful for semantic parsing than induced task-specific syntax and syntax-agnostic representations.

It has been recognised that the ability to communicate the meaning of concepts and their intent within and across system boundaries, for supporting key decisions in product design and manufacture, is impaired by the semantic interoperability issues that are presently encountered. This work contributes to the field of semantic interoperability in product design and manufacture. An attribution is made to the understanding and application of relevant concepts coming from the computer science world, notably ontology-based approaches, to help resolve semantic interoperability problems. A novel ontological approach, identified as the Semantic Manufacturing Interoperability Framework (SMIF), has been proposed following an exploration of the important requirements to be satisfied. The framework, built on top of a Common Logic-based ontological formalism, consists of a manufacturing foundation to capture the semantics of core feature-based design and manufacture concepts, over which the specialisation of domain models can take place. Furthermore, the framework supports the mechanisms for allowing the reconciliation of semantics, thereby improving the knowledge sharing capability between heterogeneous domains that need to interoperate and have been based on the same manufacturing foundation. This work also analyses a number of test case scenarios, where the framework has been deployed for fostering knowledge representation and reconciliation of models involving products with standard hole features and their related machining process sequences. The test cases have shown that the Semantic Manufacturing Interoperability Framework (SMIF) provides effective support towards achieving semantic interoperability in product design and manufacture. Proposed extensions to the framework are additionally identified so as to provide a view on imminent future work.

We discuss a new concept of agent programs that combines logic programming with reasoning about actions. These agent logic programs are characterized by a clear separation between the specification of the agent’s strategic behavior and the underlying theory about the agent’s actions and their effects. This makes it a generic, declarative agent programming language, which can be combined with an action representation formalism of one’s choice. We present a declarative semantics for agent logic programs along with (two versions of) a sound and complete operational semantics, which combines the standard inference mechanisms for (constraint) logic programs with reasoning about actions.

Mémoire numérisé par la Division de la gestion de documents et des archives de l'Université de Montréal.

Mémoire numérisé par la Division de la gestion de documents et des archives de l'Université de Montréal

Cette recherche s’intéresse aux formes et à la capacité des associations patronales à façonner les règles du travail au niveau sectoriel, plus précisément dans le secteur de l’hôtellerie au Québec. Elle vise également à mieux comprendre comment ces règles contribuent à modifier les pratiques locales en relations industrielles de leurs entreprises membres. Notre première question de recherche vise donc à cerner l’impact des logiques de représentation et d’action des associations patronales sur les pratiques en relations industrielles. Pour certains auteurs, notamment Behrens et Traxler (2004 et 2007), Carley et al. (2010), Charest, Laroche et Hickey (à paraître), les logiques de représentation et d’action chez les acteurs patronaux se distinguent l’une de l’autre et influencent de manière différente les pratiques en relations industrielles. Ainsi, la présence, la forme et le rôle d’une association patronale auront un impact significatif sur les pratiques en relations industrielles, car les membres peuvent être influencés par les orientations de leurs associations. Notre seconde question de recherche aborde la manière dont les entreprises membres utilisent leurs ressources de pouvoir afin d’influencer les actions des associations patronales. La littérature existante à ce sujet mentionne que les acteurs patronaux détenant plusieurs ressources de pouvoir, qu’elles soient internes ou externes (Charest, Laroche et Hickey, à paraître; Laroche et Hickey, à paraître), sont en mesure d’exercer une influence dans les institutions politiques. Nous tenterons donc de vérifier si, plus une association patronale sera en mesure de mobiliser ses ressources de pouvoir, plus elle sera apte à influencer le contexte institutionnel dans lequel elle agit. Au plan théorique, cette recherche s’appuie sur les idées développées par les théories néo-institutionnalistes. D’une part, nous reconnaissons que les acteurs doivent réagir et s’adapter aux changements qui s’opèrent au sein de leur environnement. Ils développeront donc des stratégies diverses, autant en matière de coordination des actions patronales que de relations du travail au niveau local, en fonction de leur interprétation de ces transformations (Traxler et Huemer, 2007). D’autre part, nous reconnaissons que les acteurs sont aussi en mesure de mobiliser leurs ressources de pouvoir pour déployer des initiatives stratégiques qui seront susceptibles de provoquer en retour des changements au sein de leur environnement (Crouch, 2005). Ces entrepreneurs institutionnels sont ainsi à la recherche active d’opportunités et de leviers de pouvoir à utiliser pour maximiser leurs intérêts respectifs et, par le fait même, réduire les incertitudes issues de leur environnement (Campbell, 2004; Streeck et Thelen, 2005; Crouch, 2005). Notre recherche reconnaît également que les acteurs qui détiennent le plus grand pouvoir au sein d’un groupe, soient les porteurs de projets, vont être en mesure de façonner les institutions en fonction de leurs intérêts spécifiques (Thelen, 2003). C’est d’ailleurs sur ce plan que notre recherche veut se démarquer des travaux plus larges dans laquelle elle s’insère. Au plan empirique, cette recherche étudie l’acteur patronal dans l’industrie de l’hôtellerie au Québec et vise trois objectifs : 1) faire la cartographie des associations patronales dans le secteur de l’hôtellerie au Québec (formes, structures, activités, missions, etc.); 2) analyser l’impact des règles issues du processus de régulation au niveau sectoriel sur les pratiques de relations du travail locales; et 3) identifier les employeurs dominants au sein du secteur et analyser de quelle manière ils parviennent à modifier les institutions et l’environnement dans lequel ils agissent. Pour atteindre nos objectifs de recherche, nous avons utilisé une méthodologie qualitative de recherche, et plus particulièrement l’étude de cas. Cette dernière a été conduite en trois étapes : la préparation, la collecte des données et l’interprétation (Merriam, 1998). Les données de cette étude ont été recueillies à l’automne 2011, par le biais d’entrevues semi-dirigées auprès de gestionnaires d’hôtels et d’associations hôtelières dans les régions de Québec et de Montréal. Une analyse qualitative du contenu de ces entrevues a été effectuée en lien avec la revue de littérature et nos propositions de recherche. À cette fin, nous avons utilisé la technique de l’appariement logique de Yin (1994), ce qui nous a permis de comparer nos observations à nos propositions de recherche. Il est à noter que puisque cette recherche est une étude de cas, cette dernière présente des limites méthodologiques surtout liées à la généralisation des résultats. Ainsi, il est très difficile d’affirmer que les résultats de cette microanalyse soient généralisables. En contrepartie, les analyses ont servi à consolider le modèle pour utilisation dans des études futures. / This research project is interested by the forms and the capacity of employer organizations to elaborate work rules at a sector level, precisely, the Hotel sector in Quebec. It also aims to have a better understanding how these rules contribute to change the local industrial relation practices of their members. Our first research question is looking to target the impacts of the logic of representation and actions of the employer organization on the industrial relations practices. For some authors, especially Berhens and Traxler (2004 and 2007), Carley and al (2010) Charest, Laroche and Hickey (to be published), the logic of representation and action at the employer level are distinct from one to another and will influence in a different way the industrial relations practices. Thus, the presence, the form and the role of an employer organization will have a significant impact on the industrial relation practices. The members are able to be influenced by the orientation of their association. Our second research question will address the way the firms will use their power resources to influence the actions of employer organizations. The existing literature about this subject mentions that the management actors are holding multiple power resources being internal or external (Charest, Laroche and Hickey, to be published) are able to exercise an influence in the political institutions. We will attempt to verify if the more an association is able to mobilize its power resources, the more it will be able to influence the institutional context in which it’s acting On the theoretical plan this research is based on ideas developed by neo-institutionalism theories. First, we acknowledge that the actors must react and adapt to changes that occur in their environment. They will develop different strategies in management actions coordination as well as work relation at a local level, based on their interpretation of these transformations (Traxler and Huemer 2007). Also we admit that the actors are able to mobilize their power resources to deploy strategic initiatives that can provoque changes inside their environment (Crouch, 2005) These institutional entrepreneurs are actively researching opportunities and power leverage to use to maximize their respective interest and also reduce the uncertainty issued from the environment (Campbell, 2004: Streeck and Thelen, 2005; Crouch, 2005). Our research also concedes that the actors holding the greater power inside a group, the project holders, will be able to modify the institutions in functions of their specific interests. It is specifically on this plan that our research wants to distinguish itself from the wider research it gets into. On the empirical plan, this research will study the management actor in the hotel industry in the province of Quebec and targets three objectives: 1) produce the cartography of employer organizations in the hotel sector of the province of Quebec (form, structure, activities, missions etc.); 2) analyze the impact of the rules issued from the regulation process at the sector level on the local industrial relations practices; and 3) identify the dominant employers inside a sector and analyze the way that they arrive to modify the institution and the environment in which they act. In order to meet our research objectives, we used a qualitative research methodology; the case study was specifically used. This method was processed in three steps; the preparation, the data collection and the interpretation (Merriam, 1998). Data for this research was collected in fall of 2011 from interviews with hotel managers and hotel association managers in the region of Montreal and Quebec City. A quantitative analysis of the interview content was made and linked to the literature review and our research propositions. To this end, we used the patterns matching Yin (1994). This allowed us to compare our observations with our research propositions. It should be noted that since this research is a case study, some methodological limits specifically in the generalization of the results. It is hard to state that the results of this micro-analysis are extendable. On the other hand, the analysis helped to consolidate the model for future studies.

Cette recherche s’intéresse aux formes et à la capacité des associations patronales à façonner les règles du travail au niveau sectoriel, plus précisément dans le secteur de l’hôtellerie au Québec. Elle vise également à mieux comprendre comment ces règles contribuent à modifier les pratiques locales en relations industrielles de leurs entreprises membres. Notre première question de recherche vise donc à cerner l’impact des logiques de représentation et d’action des associations patronales sur les pratiques en relations industrielles. Pour certains auteurs, notamment Behrens et Traxler (2004 et 2007), Carley et al. (2010), Charest, Laroche et Hickey (à paraître), les logiques de représentation et d’action chez les acteurs patronaux se distinguent l’une de l’autre et influencent de manière différente les pratiques en relations industrielles. Ainsi, la présence, la forme et le rôle d’une association patronale auront un impact significatif sur les pratiques en relations industrielles, car les membres peuvent être influencés par les orientations de leurs associations. Notre seconde question de recherche aborde la manière dont les entreprises membres utilisent leurs ressources de pouvoir afin d’influencer les actions des associations patronales. La littérature existante à ce sujet mentionne que les acteurs patronaux détenant plusieurs ressources de pouvoir, qu’elles soient internes ou externes (Charest, Laroche et Hickey, à paraître; Laroche et Hickey, à paraître), sont en mesure d’exercer une influence dans les institutions politiques. Nous tenterons donc de vérifier si, plus une association patronale sera en mesure de mobiliser ses ressources de pouvoir, plus elle sera apte à influencer le contexte institutionnel dans lequel elle agit. Au plan théorique, cette recherche s’appuie sur les idées développées par les théories néo-institutionnalistes. D’une part, nous reconnaissons que les acteurs doivent réagir et s’adapter aux changements qui s’opèrent au sein de leur environnement. Ils développeront donc des stratégies diverses, autant en matière de coordination des actions patronales que de relations du travail au niveau local, en fonction de leur interprétation de ces transformations (Traxler et Huemer, 2007). D’autre part, nous reconnaissons que les acteurs sont aussi en mesure de mobiliser leurs ressources de pouvoir pour déployer des initiatives stratégiques qui seront susceptibles de provoquer en retour des changements au sein de leur environnement (Crouch, 2005). Ces entrepreneurs institutionnels sont ainsi à la recherche active d’opportunités et de leviers de pouvoir à utiliser pour maximiser leurs intérêts respectifs et, par le fait même, réduire les incertitudes issues de leur environnement (Campbell, 2004; Streeck et Thelen, 2005; Crouch, 2005). Notre recherche reconnaît également que les acteurs qui détiennent le plus grand pouvoir au sein d’un groupe, soient les porteurs de projets, vont être en mesure de façonner les institutions en fonction de leurs intérêts spécifiques (Thelen, 2003). C’est d’ailleurs sur ce plan que notre recherche veut se démarquer des travaux plus larges dans laquelle elle s’insère. Au plan empirique, cette recherche étudie l’acteur patronal dans l’industrie de l’hôtellerie au Québec et vise trois objectifs : 1) faire la cartographie des associations patronales dans le secteur de l’hôtellerie au Québec (formes, structures, activités, missions, etc.); 2) analyser l’impact des règles issues du processus de régulation au niveau sectoriel sur les pratiques de relations du travail locales; et 3) identifier les employeurs dominants au sein du secteur et analyser de quelle manière ils parviennent à modifier les institutions et l’environnement dans lequel ils agissent. Pour atteindre nos objectifs de recherche, nous avons utilisé une méthodologie qualitative de recherche, et plus particulièrement l’étude de cas. Cette dernière a été conduite en trois étapes : la préparation, la collecte des données et l’interprétation (Merriam, 1998). Les données de cette étude ont été recueillies à l’automne 2011, par le biais d’entrevues semi-dirigées auprès de gestionnaires d’hôtels et d’associations hôtelières dans les régions de Québec et de Montréal. Une analyse qualitative du contenu de ces entrevues a été effectuée en lien avec la revue de littérature et nos propositions de recherche. À cette fin, nous avons utilisé la technique de l’appariement logique de Yin (1994), ce qui nous a permis de comparer nos observations à nos propositions de recherche. Il est à noter que puisque cette recherche est une étude de cas, cette dernière présente des limites méthodologiques surtout liées à la généralisation des résultats. Ainsi, il est très difficile d’affirmer que les résultats de cette microanalyse soient généralisables. En contrepartie, les analyses ont servi à consolider le modèle pour utilisation dans des études futures. / This research project is interested by the forms and the capacity of employer organizations to elaborate work rules at a sector level, precisely, the Hotel sector in Quebec. It also aims to have a better understanding how these rules contribute to change the local industrial relation practices of their members. Our first research question is looking to target the impacts of the logic of representation and actions of the employer organization on the industrial relations practices. For some authors, especially Berhens and Traxler (2004 and 2007), Carley and al (2010) Charest, Laroche and Hickey (to be published), the logic of representation and action at the employer level are distinct from one to another and will influence in a different way the industrial relations practices. Thus, the presence, the form and the role of an employer organization will have a significant impact on the industrial relation practices. The members are able to be influenced by the orientation of their association. Our second research question will address the way the firms will use their power resources to influence the actions of employer organizations. The existing literature about this subject mentions that the management actors are holding multiple power resources being internal or external (Charest, Laroche and Hickey, to be published) are able to exercise an influence in the political institutions. We will attempt to verify if the more an association is able to mobilize its power resources, the more it will be able to influence the institutional context in which it’s acting On the theoretical plan this research is based on ideas developed by neo-institutionalism theories. First, we acknowledge that the actors must react and adapt to changes that occur in their environment. They will develop different strategies in management actions coordination as well as work relation at a local level, based on their interpretation of these transformations (Traxler and Huemer 2007). Also we admit that the actors are able to mobilize their power resources to deploy strategic initiatives that can provoque changes inside their environment (Crouch, 2005) These institutional entrepreneurs are actively researching opportunities and power leverage to use to maximize their respective interest and also reduce the uncertainty issued from the environment (Campbell, 2004: Streeck and Thelen, 2005; Crouch, 2005). Our research also concedes that the actors holding the greater power inside a group, the project holders, will be able to modify the institutions in functions of their specific interests. It is specifically on this plan that our research wants to distinguish itself from the wider research it gets into. On the empirical plan, this research will study the management actor in the hotel industry in the province of Quebec and targets three objectives: 1) produce the cartography of employer organizations in the hotel sector of the province of Quebec (form, structure, activities, missions etc.); 2) analyze the impact of the rules issued from the regulation process at the sector level on the local industrial relations practices; and 3) identify the dominant employers inside a sector and analyze the way that they arrive to modify the institution and the environment in which they act. In order to meet our research objectives, we used a qualitative research methodology; the case study was specifically used. This method was processed in three steps; the preparation, the data collection and the interpretation (Merriam, 1998). Data for this research was collected in fall of 2011 from interviews with hotel managers and hotel association managers in the region of Montreal and Quebec City. A quantitative analysis of the interview content was made and linked to the literature review and our research propositions. To this end, we used the patterns matching Yin (1994). This allowed us to compare our observations with our research propositions. It should be noted that since this research is a case study, some methodological limits specifically in the generalization of the results. It is hard to state that the results of this micro-analysis are extendable. On the other hand, the analysis helped to consolidate the model for future studies.

This master thesis contains the basic information about knowledge and expert systems. The thesis contains theoretic text about architecture of the expert systems and representation knowledge. The text regarding on representation knowledge contains examples of different ways of knowledge representation for expert systems. In the next part is described the design and all functions of the expert systems. This expert system uses frames representation.

Facing the growing amount of information in today's society, the task of specifying human knowledge in a way that can be unambiguously processed by computers becomes more and more important. Two acknowledged fields in this evolving scientific area of Knowledge Representation are Description Logics (DL) and Formal Concept Analysis (FCA). While DL concentrates on characterizing domains via logical statements and inferring knowledge from these characterizations, FCA builds conceptual hierarchies on the basis of present data. This work introduces Relational Exploration, a method for acquiring complete relational knowledge about a domain of interest by successively consulting a domain expert without ever asking redundant questions. This is achieved by combining DL and FCA: DL formalisms are used for defining FCA attributes while FCA exploration techniques are deployed to obtain or refine DL knowledge specifications.

No description available.