1 resultado para Normative intuition
em Massachusetts Institute of Technology
Filtro por publicador
- Repository Napier (3)
- University of Cagliari UniCA Eprints (1)
- Aberdeen University (5)
- Abertay Research Collections - Abertay University’s repository (1)
- Aberystwyth University Repository - Reino Unido (7)
- Academic Research Repository at Institute of Developing Economies (2)
- Adam Mickiewicz University Repository (4)
- AMS Tesi di Dottorato - Alm@DL - Università di Bologna (2)
- AMS Tesi di Laurea - Alm@DL - Università di Bologna (8)
- Aquatic Commons (1)
- ArchiMeD - Elektronische Publikationen der Universität Mainz - Alemanha (1)
- Archive of European Integration (4)
- Archivo Digital para la Docencia y la Investigación - Repositorio Institucional de la Universidad del País Vasco (10)
- Aston University Research Archive (13)
- Biblioteca Digital da Câmara dos Deputados (8)
- Biblioteca Digital da Produção Intelectual da Universidade de São Paulo (3)
- Biblioteca Digital de la Universidad Católica Argentina (9)
- Biblioteca Digital de Teses e Dissertações Eletrônicas da UERJ (67)
- BORIS: Bern Open Repository and Information System - Berna - Suiça (36)
- Boston University Digital Common (5)
- Brock University, Canada (1)
- Cambridge University Engineering Department Publications Database (15)
- CentAUR: Central Archive University of Reading - UK (30)
- Chinese Academy of Sciences Institutional Repositories Grid Portal (6)
- CORA - Cork Open Research Archive - University College Cork - Ireland (10)
- Corvinus Research Archive - The institutional repository for the Corvinus University of Budapest (3)
- Deakin Research Online - Australia (31)
- Department of Computer Science E-Repository - King's College London, Strand, London (16)
- DI-fusion - The institutional repository of Université Libre de Bruxelles (1)
- Digital Commons at Florida International University (4)
- Digital Peer Publishing (1)
- DigitalCommons@The Texas Medical Center (1)
- DRUM (Digital Repository at the University of Maryland) (1)
- Duke University (11)
- Glasgow Theses Service (1)
- Greenwich Academic Literature Archive - UK (3)
- Helda - Digital Repository of University of Helsinki (60)
- Indian Institute of Science - Bangalore - Índia (10)
- Instituto Politécnico do Porto, Portugal (18)
- Massachusetts Institute of Technology (1)
- Ministerio de Cultura, Spain (3)
- Portal de Revistas Científicas Complutenses - Espanha (3)
- Publishing Network for Geoscientific & Environmental Data (19)
- QSpace: Queen's University - Canada (2)
- QUB Research Portal - Research Directory and Institutional Repository for Queen's University Belfast (108)
- Queensland University of Technology - ePrints Archive (293)
- Repositório Aberto da Universidade Aberta de Portugal (1)
- Repositório Científico do Instituto Politécnico de Lisboa - Portugal (4)
- Repositório digital da Fundação Getúlio Vargas - FGV (1)
- Repositório Institucional da Universidade de Aveiro - Portugal (4)
- Repositório Institucional UNESP - Universidade Estadual Paulista "Julio de Mesquita Filho" (1)
- Research Open Access Repository of the University of East London. (4)
- RUN (Repositório da Universidade Nova de Lisboa) - FCT (Faculdade de Cienecias e Technologia), Universidade Nova de Lisboa (UNL), Portugal (10)
- SAPIENTIA - Universidade do Algarve - Portugal (1)
- Savoirs UdeS : plateforme de diffusion de la production intellectuelle de l’Université de Sherbrooke - Canada (1)
- School of Medicine, Washington University, United States (1)
- Universidad del Rosario, Colombia (5)
- Universidad Politécnica de Madrid (3)
- Universidade Complutense de Madrid (1)
- Universidade de Lisboa - Repositório Aberto (17)
- Universidade dos Açores - Portugal (1)
- Universitat de Girona, Spain (1)
- Universitätsbibliothek Kassel, Universität Kassel, Germany (3)
- Université de Lausanne, Switzerland (1)
- Université de Montréal (2)
- Université de Montréal, Canada (16)
- Université Laval Mémoires et thèses électroniques (1)
- University of Connecticut - USA (1)
- University of Michigan (4)
- University of Queensland eSpace - Australia (24)
- University of Washington (1)
- WestminsterResearch - UK (12)
- Worcester Research and Publications - Worcester Research and Publications - UK (1)
Resumo:
Most knowledge representation languages are based on classes and taxonomic relationships between classes. Taxonomic hierarchies without defaults or exceptions are semantically equivalent to a collection of formulas in first order predicate calculus. Although designers of knowledge representation languages often express an intuitive feeling that there must be some advantage to representing facts as taxonomic relationships rather than first order formulas, there are few, if any, technical results supporting this intuition. We attempt to remedy this situation by presenting a taxonomic syntax for first order predicate calculus and a series of theorems that support the claim that taxonomic syntax is superior to classical syntax.