Download hylmoc – a hybrid logic model checker

Alessandro Mosca
Department of Computer Science, Systems and
Communication
Mathematics, Physics, and Natural Sciences Faculty
Viale Sarca 336/14, 20126 Milano, Italy
(Italian) Mobile Phone: +39396800244
(Spanish) Mobile Phone: +34644352880
(office) Phone: +390264487910
eMail: ale.m[AT]disco.unimib.it
In short
I am a postdoc in knowledge representation and reasoning (KR&R) at the University of MilanoBicocca. I studied philosophy in Milano and did my master’s thesis on modal representations of
first order quantification under the supervision of Silvio Bozzi, Edoardo Ballo, and Silvio Ghilardi.
After this, I did a Master’s Degree at the University of Milano-Bicocca, and this led to a PhD project
at the department of computer science, systems, and communication (DISCo) under the
supervision of Stefania Bandini. I finished my dissertation on a formal model for the design of
knowledge-based systems for the chemical compound formulation problem. Since January 2005 I
am a postdoc at the Department of Computer Science, Systems, and Communication in MilanoBicocca, where I am doing research on KR formalisms based on non-classical logics, and I am
continuing the research on the integration of logic-base KR techniques and evolutionary
computation I started on as PhD student.
Currently I am a visiting researcher at the University of Barcelona (UB), Department of Logic,
History and Philosophy of Science.
Research Interests
•
•
•
•
Knowledge Representation and Reasoning
Modal Logics for Spatial Reasoning
Formal Ontology and Ontologies
Nonmonotonic extensions of Logic Programming
•
•
Evolutionary Computation
Cultural Evolution and Evolutionary Studies
Active Research Lines
HYLMOC – A HYBRID LOGIC MODEL CHECKER
In essence, modal logic is a simple formalism for working with
relational structures (or multi-graphs) […]. In their simplest form,
hybrid logics are upgraded modal logics in which reference to
individual nodes is possible.
Patrick Blackburn
“Representation, Reasoning, and Relational Structures
a Hybrid Logic Manifesto”
L.J. of IGPL, Vol. 8 No. 3, pp. 339–365, 2000
Past works have shown that hybrid modal logics are a powerful and rich formalism to model
qualitative spatial reasoning and reasoning on information spread into graph-like
structures. The research project aims at dealing with the design and the implementation of a
Model Checker for Hybrid Modal Logic, called HyLMoC. The main functionalities of the
model checker are based on back-end modules that accept as inputs a list of hybrid modal
formulas and the specification of a labeled graph structure representing a Kripke model. The
implementation of the backend allows HyLMoC to perform different reasoning tasks with
respect to those inputs: validity and satisfiability of a formula in a model, and
satisfiability in all worlds.
ANSWER SET PROGRAMMING FOR MATERIAL CULTURE ANALYSIS
If we want to design an entity (a machine or a program) capable of
behaving intelligently in some environment, then we need to supply
this entity with sufficient knowledge about this environment.
M. Gelfond, N. Leone
“Logic Programming and Knowledge Representation
The A-Prolog perspective”
Artificial Intelligence 138 (2002) 3–38
The present research addresses the representational issues related to the design and the
implementation of the automated classification system for material culture. The main logical
components of the classification system are: (i) an artefact model, whose definition involves
an inquiry of the epistemic dimensions related to its understanding; (ii) a mereological
theory, devoted to the representation of the artefact structure; (iii) a set of classification
heuristics. The resulting ASP-based logic program performs its inferential tasks and
produces a set of typological classification sentences on the input data. A devoted set of
rules is devoted to produce warnings about the logical consistency of the input dataset.
SPATIALLY NETWORKED KNOWLEDGE BASES DYNAMICS
The main aim of the research project is to start developing specific formal models for
representing and analysing the evolutionary dynamics of knowledge bases organized into
network structures. The project requires multidisciplinary research crossing the fields of
artificial intelligence, knowledge representation and reasoning, geographic information
systems, archaeology, anthropology, and evolutionary studies. Knowledge bases are
theoretical artefacts carried by subjects that are spatially distributed around a geographic
area according to networks of social organizations, the evolution of such knowledge bases
cannot be analysed without taking into account the shapes and dynamics of these networks.
A number in interesting examples in the history of human populations (see, for example,
evolutionary studies on industrial and technology districts) show how, in a given
geographical area, a distinctive spatial distribution of different interacting knowledge bases
gave rise to complex self-replicating social systems. It will be therefore the central topic of
the project to provide formal models for representing the role the spatial distribution of
‘carried’ knowledge bases has with the respect to the origination, the selective adoption and
adaptation, and the retention of knowledge bases.
Anyone interested in collaborating to one of this project, please contact me by e-Mail.
Teaching Experience
(2008)
(2002-2007)
(2005-2007)
(2006-2008)
(2003-2008)
(2002)
(2002)
Computational models in artificial intelligence
Programming languages
Knowledge representation and reasoning
Artificial intelligence
Computational models for communication
Master in computer science for humanities
Master in computer science technologies for the new economy
If some the link to http://www.lintar.disco.unimib.it seems to not work, please refresh the page!
Publications
Journal and Series Papers
[CM-I]
[LP-I LP-II LP-III]
[KR-I KR -II KR -III]
[AI-I AI-II]
[M4C-I M4C-II M4C-III]
•
Mosca, A., Palmonari, M., Sartori, F., An upper-level functional ontology to support
Knowledge Management in SMEs-based E-Manufactoring. The Knowledge Engineering
Review (KER). (Forthcoming September 2009).
•
Bonomi, A., Mosca, A., Palmonari, M., Vizzari, G., Integrating a Wiki in an ontology driven
Web site: approach, architecture and application in the archaeological domain. In
Proceedings of the 3rd Semantic Wiki Workshop, co-located with the 5th European
Semantic Web Conference (ESWC). CEUR Workshop Proceedings, ISSN 1613-0073,
http://ceur-ws.org/.
•
Bonomi, A., Mantegari, G., Mosca, A., Palmonari, M., Vizzari, G., A system supporting users
of cultural resource management semantic portals. In AI*IA 2007: Artificial Intelligence and
Human-Oriented Computing, Lecture Notes in Computer Science, Springer-Verlag, Vol.
4733, pp. 757-764, 2007.
•
Mosca, A., Palmonari, M., Action based abox update: an example from the chemical
compound formulation. In Proc. of the 20th Description Logic Workshop (DL 2007). CEUR
Workshop Proceedings, ISSN 1613-0073, http://ceur-ws.org/, 2007.
•
Bonomi, A., Mosca, A., Palmonari, M., Vizzari, G., NavEditOW – A system for navigating,
editing and querying ontologies through the web. In Knowledge-Based Intelligent
Information and Engineering Systems, Lecture Notes in Artificial Intelligence, SpringerVerlag, Vol. 4694, pp. 686-694, 2007.
•
Colombo, G., Mosca, A., Sartori, F., Towards the design of intelligent CAD systems: an
ontological approach. Special issue on Ontology and Epistemology of Systems and
Software Engineering, ADVANCED ENGINEERING INFORMATICS Journal (AEI), Elsevier, Vol.
21-2, pp. 153-168, 2007.
•
Bandini, S., Mosca, A., Palmonari, M., Commonsense spatial reasoning for information
correlation in pervasive computing. Applied Artificial Intelligence, Taylor\&Francis, Vol.
21/4-5, April 2007.
•
Bandini, S., Mosca, A., Palmonari, M., Model-based chemical compound formulation. In L.
Magnani and Ping Li (Eds.), Model-Based Reasoning in Science, Technology, and Medicine.
Series: Studies in Computational Intelligence, Vol. 64, pp. 413-430, Springer, 2007, ISBN
978-3-540-71985-4.
•
Bandini, S., Mosca, A., Palmonari, M., Intelligent alarm correlation and abductive reasoning.
In L. Magnani (guest editor), Logic Journal of IGPL, Oxford University Press, Vol. 14, pp.
347-362, March 2006.
•
Bandini, S., Mosca, A., Palmonari, M., Vizzari, G., Integrating MMASS with a hybrid
commonsense spatial logic. In L. Magnani (ed.), Model-Based Reasoning in Science and
Engineering, pp. 311-331, King’s College, London. 2006.
•
Bandini, S., Mosca, A., Palmonari, M., A hybrid logic for commonsense spatial reasoning.
AI*IA 2005: Advances in Artificial Intelligence, 9th Congress of the Italian Association for
Artificial Intelligence, Milan, Italy, September 21-23, 2005, Proceedings. Lecture Notes in
Artificial Intelligence, Springer-Verlag, Vol. 3673, Pages 25-37, 2005.
•
Bandini, S., Bogni, D., Manzoni, S., Mosca, A., ST modal logic approach to alarm correlation
in monitoring and control of Italian highways traffic. In Moonis Ali, Floriana Esposito (Eds.):
Innovations in Applied Artificial Intelligence, 18th International Conference on Industrial
and Engineering Applications of Artificial Intelligence and Expert Systems, IEA/AIE 2005,
Bari, Italy, June 22-24, 2005, Proceedings. ISBN 3-540-26551-1, Lecture Notes in
Computer Science, Springer-Verlag, Vol. 3533, 2005.
•
Bandini, S., Mosca, A., Palmonari, M., Commonsense spatial reasoning for context-aware
pervasive systems. Location- and Context-Awareness, First International Workshop, LoCA
2005, Oberpfaffenhofen, Germany, May 12-13, 2005, Proceedings. Lecture Notes in
Computer Science, Springer-Verlag, Vol. 3479, Pages 180-188, 2005.
•
Bandini, S., Mosca, A., Palmonari, M., Sartori, F., A conceptual framework for monitoring
and control system development. In Luciano Baresi, Schahram Dustdar, Harald Gall,
Maristella Matera (Eds.): Ubiquitous Mobile Information and Collaboration Systems, Second
CAiSE Workshop, UMICS 2004, Riga, Latvia, June 7-8, 2004, Revised Selected Papers.
Lecture Notes in Computer Science, Springer-Verlag, Vol. 3272, Pages 111-124, 2005.
Refereed Conference and Workshop Papers
•
Mosca, A., Palmonari, M., Modeling spatial reasoning for context aware agents. In
Proceedings of the 1st International Workshop on Logics for Agents and Mobility, part of
the European Summer School on Logic, Language and Information (ESSLLI), Hamburg
(Germany), August 4-8, 2008.
•
Mantegari, G., Mosca, A.,. Rondelli, B., Vizzari, G., A semantic based approach to GIS: the
PO-BASyN project. In Proceedings of the 36th Annual Conference on Computer
Applications and Quantitative Methods in Archaeology: On the Road to Reconstructing the
Past (CAA 2008), 2-6 April 2008, Budapest, Hungary. To appear.
•
Bonomi, A., Colombo, G., Merico, D., Mosca, A., Palmonari, M., Vizzari, G., Sharing the
NEUROWEB ontology through the Web: the NavEditOW approach. In G. Armano, M. Schaerf,
and G. Semeraro, editors, Proceedings of the Workshop “MultiAgent Systems \&
Bioinformatics 2008”, 10th Symposium on Advances in Artificial Intelligence of the Italian
Association for Ar tificial Intelligence, Cagliari, Italy. Italian Association for Artificial
Intelligence.
•
Mosca, A., Rondelli, B., Mantegari, G., Integrating a knowledge-based system and a
geographical information system for the study of the archaeological material culture. In G.
Armano, M. Schaerf, and G. Semeraro, editors, Proceedings of the Workshop “Artificial
Intelligence in Cultural Heritage”, 10th Symposium on Advances in Artificial Intelligence of
the Italian Association for Ar tificial Intelligence, Cagliari, Italy , pages 84–91. Italian
Association for Artificial Intelligence.
•
Soares Correa da Silva, F., Vizzari, G., Mosca, A., Coupled MMASS: A formal model for nondeterministic multi-agent simulations. In Proceedings of the AISB 08 Symposium on Logic
and the Simulation of Interaction and Reasoning, Aberdeen, UK, 2008, ISBN 1-902956-680, Published by The Society for the Study of Artificial Intelligence and Simulation of
Behaviour, pp. 11-15.
•
Bandini, S., Mosca, A., Palmonari, M., Vizzari, G., A perception oriented MAS model with
hybrid commonsense spatial logic. In Proceedings of the AISB 08 Symposium on Logic and
the Simulation of Interaction and Reasoning, Aberdeen, UK, 2008, ISBN 1-902956-68-0,
Published by The Society for the Study of Artificial Intelligence and Simulation of Behaviour,
pp. 32-40.
•
Mantegari, G., Mosca, A., Cattani, M., Formal knowledge representation and automated
reasoning for the study of archaeological stratigraphy. In W. Borner, editor, Proceedings of
the 12th International Congress “Cultural Heritage and New Technologies”, Vienna, Austria.
Published on cd-rom. ISBN 978-3-85161-002-4.
•
Colombo, G., Mosca, A., Palmonari, M., Sartori, F., An upper-level functional ontology to
support distributed design. In Proceedings of 2nd International Workshop on Ontology,
Conceptualization and Epistemology for Software and System Engineering - ONTOSE,
2007.
•
Bandini, S., Mosca, A., Mereological knowledge representation for the chemical
formulation. In R. Cuel and R. Ferrario (Eds.), Proceedings FOMI-06 Workshop Proceedings,
Laboratory for Applied Ontology, ISTC-CNR, Trento, Italy (Electronic Proceedings).
•
Colombo, G., Mosca, A., Palmonari, M., When ontology meets epistemology: the case of
functional ontology in engineering design. In Proceedings of the First International
Conference on Computing and Philosophy - I-C&P 2006, Laval, France.
•
Colombo, G., Mosca, A., Palmonari, M., Artefacts need functional ontology: Lessons from
engineering design. Proceedings of the European Conference on Computing and
Philosophy - E-CaP 2006, June 22-24, 2006, Trondheim, Norway, 2006.
•
Bandini, S., Colombo, G., Mosca, A., Palmonari, M., Commonsense spatial reasoning: an
informational perspective from pervasive computing. European Computing And Philosophy
(E-CaP 2005), MDH University, Sweden, 2-4 June 2005, TripleC Journal, ISSN 1726-670X.
•
Bandini, S., Mosca, A., L. Vanneschi, Towards the use of genetic algorithms for the
chemical formulation problem. In Proceedings of the 9th Congress of the Italian
Association for Artificial Intelligence (AI*IA 2005), Workshop on Evolutionary Computation
(GSICE 2005). Edited by Sara Manzoni, Matteo Palmonari, Fabio Sartori., ISBN 88-9009100-2. Centro Copie Bicocca, Milano, September 2005.
•
Frisoni, G., Colombo, G., Mosca, A., Sartori, F., Exploiting experiential knowledge for
enhanced CAD design. In Proceedings of the International Conference on CAE and
computational Technologies for Industry (TCN CAE 2005), October 5-8, Lecce, Italy.
•
Bandini, S., Manzoni, S., Mosca, A., Sartori, F., Intelligent alarm correlation. In Proceedings
IEEE of International Conference on Systems, Man and Cybernetics (Invited Session on
Modelling and control of transportation and traffic systems), Washington, 2003.
Proceedings in the CD-ROM.
Other Publications
•
Mosca, A., Bernini, D., Ontology-driven Geographic Information System and dlvhex
Reasoning for Material Culture Analysis. In R.i.C.e.R.c.A. 2008: RCRA Incontri E Confronti,
online proceedings of the Italian Workshop RiCeRcA 2008, organized by the Working group
of Knowledge Representation and Automated Reasoning of the Italian Association for
Artificial Intelligence (AI*IA), co-located with the 24th International Conference on Logic
Programming (ICLP 2008)., Udine, December 12-13, 2008.
•
Mosca, A., Gentile, I., Codecasa, D., Manzoni, L., Hybrid Modal Model Checking. In
R.i.C.e.R.c.A. 2008: RCRA Incontri E Confronti, online proceedings of the Italian Workshop
RiCeRcA 2008, organized by the Working group of Knowledge Representation and
Automated Reasoning of the Italian Association for Artificial Intelligence (AI*IA), colocated with the 24th International Conference on Logic Programming (ICLP 2008)., Udine,
December 12-13, 2008.
•
Dopfer, K., Mosca, A., Rondelli, B., Stride, S., Bandini, S., The Samarqand’s cultural
landscape: a rule based approach. Presented at the Regional Conference of the Central
Eurasian Studies Society (CESS-2008), August 4-7, 2008, Issyk-Kul, Kyrgyzstan.
•
Ciborra, U., Hanseth, O., Da strumento a gestell. Programmi manageriali per la gestione
dell'infrastruttura dell'informazione. Traduzione in lingua italiana a cura di Mosca, A., Studi
Organizzativi, Aprile 2006, FrancoAngeli.
•
Colombo, G., Mosca, A., Conoscenze di valore. Come gestirle e come apprenderle. In
Sistemi&Impresa, Spazio Knowledge Management, Luglio-Agosto 2003.
•
Bandini, S., Colombo, G., Mosca, A., Comunità di pratica: verso una metodologia per il
knowledge management?. In Sistemi&Impresa, Spazio Knowledge Management, LuglioAgosto 2002.