TAILIEUCHUNG - Báo cáo khoa học: "INCLUSION, DISJOINTNESS AND CHOICE: THE LOGIC OF LINGUISTIC CLASSIFICATION"

We investigate the logical structure of concepts generated by conjunction and disjunction over a monotonic multiple inheritance network where concept nodes represent linguistic categories and links indicate basic inclusion (ISA) and disjointhess (ISNOTA) relations. We model the distinction between primitive and defined concepts as well as between closed- and open-world reasoning. We apply our logical analysis to the sort inheritance and unification system of HPSG and also to classification in systemic choice systems. . | INCLUSION DISJOINTNESS AND CHOICE THE LOGIC OF LINGUISTIC CLASSIFICATION Bob Carpenter Computational Linguistics Program Philosophy Department Carnegie Mellon University Pittsburgh PA 15213 carp@ Carl Pollard Linguistics Department Ohio Sate University Columbus OH 43210 pollard@ Abstract We investigate the logical structure of concepts generated by conjunction and disjunction over a monotonic multiple inheritance network where concept nodes represent linguistic categories and links indicate basic inclusion isa and disjointness isnota relations. We model the distinction between primitive and defined concepts as well as between closed- and open-world reasoning. We apply our logical analysis to the sort inheritance and unification system of HPSG and also to classification in systemic choice systems. Introduction Our focus in this paper is a stripped-down monotonic inheritance-based knowledge representation system which can be applied directly to provide a clean declarative semantics for Halliday s systemic choice systems see Winograd 1983 Mel-lish 1988 Kress 1976 and the inheritance module of head-driven phrase-structure grammar HPSG Pollard and Sag 1987 Pollard in press . Our inheritance networks are constructed from only the most rudimentary primitives basic concepts and ISA and ISNOTA links. By applying general algebraic techniques we show how to generate a meet semilattice whose nodes correspond to consistent conjunctions of basic concepts and where meet corresponds to conjunction. We also show how to embed this result in a distributive lattice where the elements correspond to arbitrary conjunctions and disjunctions of basic concepts and where meet and join correspond to conjunction and disjunction respectively. While we do not consider either role- or attribute-based reasoning in this paper our constructions axe dữectly applicable as a front-end for the combined attribute-and concept-based formalisms of A it-Kaci 1986 .

• Báo cáo khoa học
• INCLUSION
• DISJOINTNESS AND CHOICE
• THE LOGIC OF LINGUISTIC CLASSIFICATION
• báo cáo khoa học
• mô hình ngôn ngữ
• xử lý ngôn ngữ tự nhiên
• Financial inclusion and growth of Indian banking system
• Financial inclusion of Indian banking system
• Growth of Indian banking system
• Challenges for financial inclusion
• Financial inclusion plays
• The impact of financial inclusion on income inequality
• Financial inclusion on income inequality in transition economies
• Two stage least squares
• The GINI coefficient
• Developing financial inclusion
• Two different financial inclusion index
• Luận án Tiến sĩ
• Mechanics of solid
• Summary of Mechanics doctoral thesis
• Compound inclusion composites
• Effective properties
• Equivalent inclusion approximation
• Coated inclusion
• Effective conductivity
• Equivalent inclusion approach
• Anisotropic coating
• Conductivity of coated inclusion composites
• Measuring financial inclusion
• Composite FI index
• Developing countries
• Financial inclusion
• FI index
• The Charity Commission
• Social Inclusion
• philanthropy
• Ways of promoting social inclusion
• Public Benefit
• social activities
• Income inequality
• Transition economies
• Financial inclusion index
• Central and Eastern European
• Poverty alleviation
• General equilibrium
• Financial friction
• Financial inclusion on poverty alleviation
• Financial literacy
• Financial innovation
• Financial inclusion in Uganda
• Evaluation of determinants
• Transcriptome profiling reveals
• High incidence of hnRNPA1 exon 8 inclusion
• HnRNPA1 exon 8 inclusion
• Chronic myeloid leukemia
• Splicing profiles
• Interest rate sensitivity
• Monetary policy transmission mechanism
• Different levels of financial inclusion
• Interest rate sensitivity of output
• Gendered nature of barriers faced
• Financial inclusion worldwide
• Poverty eradication and economic empowerment
• Women’s financial inclusion
• Block women empowermen
• Data driven approach
• Equivalent inclusion
• Effective elastic moduli
• Heterogeneous media
• Artificial neural network
• Non Lipschitz vector problem
• Inclusion constraint
• Optimality condition
• Non lipschitz vector problems with inclusion constraints
• Mathematics concern generalized equations
• Panel data analysis
• Principal component analysis
• Financial efficiency
• Impact on financial efficiency
• Rapid
• appraisal
• social
• policies
• n selected
• sub Saharan
• African countries
• Speech Recognition of Czech
• Inclusion of Rare Words Helps
• Pavel Machek
• The Distributional Inclusion Hypotheses
• Lexical Entailment
• Maayan Geffet
• Hierarchy Extraction
• Inclusion of Appearance
• Eiko Yamamoto Kyoko Kanzaki Hitoshi Isahara
• Fine root turnover
• Root inclusion net method
• Soil organic carbon
• In growth core method
• Forest ecosystem
• Vietnam Journal of Mechanics
• FFT simulations and multi coated inclusion model
• Macroscopic conductivity of 2D suspensions of compound inclusions
• The Fast Fourier transformation method
• The included phases
• Estimating the elastic moduli of matrix composites
• Non circular inclusions
• Modified elastic properties
• Equivalent inclusion approach for the conductivity
• Isotropic matrix composites with anisotropic inclusions
• Simple equivalent circular
• The isotropic composites
• Financial services
• Monetary policy
• FI index considered
• APEC economies