A Formal Semantics for Concept Understanding Relying on Description Logics

In Proceedings of the 9th International Conference on Agents and Artificial Intelligence. pp. 42-52 (2017)
  Copy   BIBTEX

Abstract

In this research, Description Logics (DLs) will be employed for logical description, logical characterisation, logical modelling and ontological description of concept understanding in terminological systems. It’s strongly believed that using a formal descriptive logic could support us in revealing logical assumptions whose discovery may lead us to a better understanding of ‘concept understanding’. The Structure of Observed Learning Outcomes (SOLO) model as an appropriate model of increasing complexity of humans’ understanding has supported the formal analysis.

Categories

Keywords

Reprint years

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 101,130

External links

  • This entry has no external links. Add one.
Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

A Description Logic Based Knowledge Representation Model for Concept Understanding.Farshad Badie - 2017 - In Jasper van den Herik, A. Rocha & J. Filipe (eds.), Agents and Artificial Intelligence. Springer.
On Logical Characterisation of Human Concept Learning based on Terminological Systems.Farshad Badie - 2018 - Logic and Logical Philosophy 27:545-566.
Logical Characterisation of Possibilistic and Probabilistic Descriptions of Events in Description Logics.Farshad Badie - forthcoming - Bulletin of the Section of Logic.
An Occurrence Description Logic.Farshad Badie & Hans Götzsche - forthcoming - Logical Investigations:142-156.
Towards Contingent World Descriptions in Description Logics.Farshad Badie - 2020 - Logic and Logical Philosophy 29 (1):115-141.
Towards World Identification in Description Logics.Farshad Badie - forthcoming - Logical Investigations:115–134.
Understanding the complexity of axiom pinpointing in lightweight description logics.Rafael Peñaloza & Barış Sertkaya - 2017 - Artificial Intelligence 250 (C):80-104.
Deciding Unifiability and Computing Local Unifiers in the Description Logic $mathcal{E!L}$ without Top Constructor.Franz Baader, Nguyen Thanh Binh, Stefan Borgwardt & Barbara Morawska - 2016 - Notre Dame Journal of Formal Logic 57 (4):443-476.
Concept Combination in Weighted Logic.Guendalina Righetti, Claudio Masolo, Nicolas Toquard, Oliver Kutz & Daniele Porello - 2021 - In Guendalina Righetti, Claudio Masolo, Nicolas Toquard, Oliver Kutz & Daniele Porello (eds.), Proceedings of the Joint Ontology Workshops 2021 Episode {VII:} The Bolzano Summer of Knowledge co-located with the 12th International Conference on Formal Ontology in Information Systems {(FOIS} 2021), and the 12th Internati.
A Toothful of Concepts: Towards a Theory of Weighted Concept Combination.Daniele Porello, Oliver Kutz, Guendalina Righetti, Nicolas Troquard, Pietro Galliani & Claudio Masolo - 2019 - In Mantas Simkus & Grant E. Weddell (eds.), Proceedings of the 32nd International Workshop on Description Logics, Oslo, Norway, June 18-21, 2019.

Analytics

Added to PP
2020-01-20

Downloads
0

6 months
0

Historical graph of downloads

Sorry, there are not enough data points to plot this chart.
How can I increase my downloads?

Author Profiles

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references